zksecurity / noname

Noname: a programming language to write zkapps

https://zksecurity.github.io/noname/

161 stars 35 forks source link

r1cs is default backend, default example works #115

Closed mimoo closed 1 month ago

mimoo commented 1 month ago

the default example didn't work with R1CS. Also I made R1CS the default so that we don't have to pass --backend by default.

eightfilms commented 1 month ago

run still fails with a unwrap on a None if --backend isn't passed btw so that should probably be fixed. Encountered it while going through the book: https://zksecurity.github.io/noname/basics.html.

112 semi-fixes it by making the argument not an `Option`, but the example itself should probably be a `test` or something because `run` expects a dir.

zksecurity / noname

r1cs is default backend, default example works #115

112 semi-fixes it by making the argument not an Option, but the example itself should probably be a test or something because run expects a dir.

112 semi-fixes it by making the argument not an `Option`, but the example itself should probably be a `test` or something because `run` expects a dir.