3 ms·
Compile any ES6 JavaScript to a ZK-SNARK circuit
- CarterFeldman 3y agoVideo shows a demo of OAS's Dapen IDE which allows any JavaScript developer to write, compile, test, debug and deploy Zero Knowledge Smart Contracts in the browser. Dapen compiles every contract function to a Zero Knowledge Circuit, and generates a merkle tree where the hash of verifier data of each contract function's circuit is a leaf. When we are generating a block in the QED protocol, we recursively prove/verify a bunch of transaction proofs. In particular, our block generation circuit allows state transitions in our global state tree can occur if and only if transaction proof's verifier data is a member of the contract circuit merkle tree which owns the part of the global state tree being modified.