- Notifications
You must be signed in to change notification settings - Fork3
The zoker is a tool you can use to apply zero knowledge proofs to smart contracts.
License
NotificationsYou must be signed in to change notification settings
HyeockJinKim/zoker
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
The zoker is a tool you can use to apply
zero knowledge proofsto smart contracts.
Zoker is a tool for parsing grammars using thelalrpop parsertool to generate zero knowledge proof circuits.
When you write a DSL of the proposed solidity subset, theZoker preprocessesthe DSL to produce a proof of zero knowledge proof and a verification smart contractto verify the proof.
Seezoker.lalrpop for the detailed syntax of the DSL.
This project is licensed under the MIT license. Please see theLICENSE file for more details.