webNova
I impelemented IVC Folding of zkSNARK in Browser, which is based on WASM, WebRTC, DHT, Nova, and Circom
Demo
About
goal: Load circom output to wasm, can transpile to relaxR1CS Setup (PP, PK, VK) in browser Distribute to browser based p2p network No Server, Pure Browser Related work: nalinbhardwaj / Nova-Scotia 1. cannot running in browser 2. it simply call node modules in command line lurk-lab/circom-scotia 1. wasmer is wrong config 2. may cause mem leak in browser
How it's made
Deps: Rings P2P (WebRTC, WASM, DHT, Rust) (My pervious work) Nova (Folding Scheme, IVC, Bellman(bellpepper) Rings SNARK – load r1cs and wasm to WASM (My pervious work) Web3JS (for generate random Ethereum account in browser) The demo details: 1. Establish connection between browsers (with NO server) 2. Load WASM and R1CS which precompiled via circom 3. Gen Nova’s RelexR1CS, and do SNARK setup 4. distribute tasks to nodes. 5. fold, proof and verify