search

zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
161 stars 35 forks source link

investigate integrating with sonobe #117

Open mimoo opened 1 month ago

mimoo commented 1 month ago

we should investigate integrating with sonobe to allow folding (see https://github.com/privacy-scaling-explorations/sonobe/issues/111)

katat commented 1 month ago

It might be compatible with our r1cs output already: https://github.com/privacy-scaling-explorations/sonobe/blob/main/examples/circom_full_flow.rs#L60

mimoo commented 1 month ago

problem is the wasm part a few lines below ^