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:
> cabal build all
> cargo build
> cabal test all
> cabal run adder -- compile
> cargo run native
> cabal run adder -- compile
> cd wasm-solver
> ./build-wash.sh
> cd ..
> cargo run wasm