lurk-lab / circom-scotia

Other
18 stars 9 forks source link

Merge `CircomCompat` into `Nova-Scotia` #2

Closed winston-h-zhang closed 1 year ago

winston-h-zhang commented 1 year ago

This PR creates the infrastructure needed to support coprocessors in Lurk here: https://github.com/lurk-lab/lurk-rs/pull/555.

Looking at Nova-Scotia and Circom-Compat, we saw that there were already tools that managed (a) loading and interfacing Circom with Nova/Bellperson, and (b) running the wasm code generator with wasmer. So naturally, we took the two and glued them together.

This is a preliminary PR and lacks good documentation. We will address updating the README.md and adding helpful examples in the next few PRs.

winston-h-zhang commented 1 year ago

I just realized all of the configurations in Cargo still attribute to the original author. I left them untouched, as that seemed like the correct way to do it. However there's also a large piece of arkworks code in here as well.

Maybe if the repo stays private, this won't matter too much; however I can't reference the repo in lurk-rs if it's private, which is why I ran into this train of thought.