1/ [New Post] zkREPL: An Online Development Environment for zkSNARKs
presents zkREPL and a new set of tools for interacting with the Circom toolstack in-browser.
Conversation
Replying to
2/ Try out zkREPL at the link below! Build, compile, and test your circuit in-browser in seconds—no installation or dependency management needed. Multiple 0xPARC teams have been using zkREPL to prototype and test complex circuits in the past few months.
zkrepl.dev
1
1
8
5/ As ZK and other “programmable cryptography” primitives mature, we’ll need to build similarly new tools to make this tech accessible to more developers. zkREPL builds off of work by contributors like and , taking the ZK dev stack one step further.
1
4
8/ To do this, and others had to tackle a number of obstacles—replacing external libraries like WABT, interfacing with the WASI runtime for WASM, and finding and upstreaming various bugfixes to Circom and its dependencies—that you can read about in the linked post.
1
1
9/ The end result was a WASM port of Circom2, which has also been packaged into a NodeJS module that anyone can install and use. also added a programmatic API that enables integration with build tools like hardhat-circom.
1
2
13/ If you’re interested in inspecting the code or making any contributions, check out the Github repo below.
1
3
14/ Thanks to 0xPARC Learning Group #1 and many community members for inspiration and feedback, and to and the circom/snarkjs ecosystem (especially and ) for contributions and support. We hope to see further work on tools like zkREPL!
1
2
6