Support for Zero Knowledge Proof generation from external source, like Javascript/WASM

[shekohex]

Component

Forge

Describe the feature you would like

The title say it all, currently, what stops us at @webb-tools from switching to use foundry for our contract tests (which by the way, from GitHub Actions, it takes up to 56m to complete) is that our protocol is based on Zero Knowledge proof generation/verification, our code for generating these proofs are currently written in Javascript, which wraps some other WASM code from Circom.

So back to the original question, how we can do such thing like Generating ZKP inside solidity? Do we have to write it in say Rust, and expose that as FFI? what the workflow would look like?

Additional context

• Example Test: https://github.com/webb-tools/protocol-solidity/blob/56ad8f5e24e8aff09fd25498490824e22f9ef05d/packages/contracts/test/vanchor/vanchor.test.ts#L272
• Our Circom Proving Manager: https://github.com/webb-tools/webb.js/blob/0b864f7f6c46f6f9e246d234c19496a055306fd6/packages/sdk-core/src/proving/circom/proving-manager.ts
• Our Circuits: https://github.com/webb-tools/protocol-solidity/tree/main/circuits

[joshieDo]

56m to complete

ouch

for generating these proofs are currently written in Javascript, which wraps some other WASM code from Circom.

You can indeed use ffi to call the proof generation script, and then either "consume" it as hex or json, up to you. I don't see why it wouldn't work. Feel free to tag me on the tg channel and I'd be more than happy to help.

[rkrasiuk]

@shekohex did you have any luck using ffi for proof generation?

[shekohex]

@shekohex did you have any luck using ffi for proof generation?

Not yet, we are like in the research phase in that area! also, right now we are trying to use ark-circom more, so that we can write our FFI in rust too.

[wagmiwiz]

Does anyone have some examples of using Foundry toolbelt for managing/testing ZK based projects (using Circom)? Specifically interested in how to generate proofs for use in tests etc.

[krisgrm]

Any updates on this ?

[DaniPopes]

This feels very out of scope. You should just use vm.ffi and CLI wrappers for these kinds of things.