Origami

This repo demonstrates an integration of the l-adic circuit DSL with the nova folding scheme. The integration is made possible by the existing cirom integration nova-scotia.

The example circuit is a simple adding circuit which is taken from the nova-scotia toy example. You can compare the two versions:

• circom

• l-adic

Build Instructions

> cabal build all
> cargo build

Test Instructions

> cabal test all

Run Instructions

Native witness gen

> cabal run adder -- compile
> cargo run native

WASM witness gen

> cabal run adder -- compile
> cd wasm-solver
> ./build-wash.sh
> cd ..
> cargo run wasm