HNGlance

Top Best New Show

Compile any ES6 JavaScript to a ZK-SNARK circuit

https://www.youtube.com/watch?v=--9rqaXvCtM

by CarterFeldman • 3 years ago

1 1 3 years ago

YO

Related Stories

Loading related stories...

Comments

1

CarterFeldman• 3 years ago

Video 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.

Source preview

youtube.com

HNGlance

© 2024-2026 HN Glance. Story content belongs to its original sources.

Privacy
Terms