Skip to content

The zoker is a tool you can use to apply zero knowledge proofs to smart contracts.

License

Notifications You must be signed in to change notification settings

HyeockJinKim/zoker

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

84 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Zoker

The zoker is a tool you can use to apply zero knowledge proofs to smart contracts.

CI

Zoker is a tool for parsing grammars using the lalrpop parser tool to generate zero knowledge proof circuits.

When you write a DSL of the proposed solidity subset, the Zoker preprocesses the DSL to produce a proof of zero knowledge proof and a verification smart contract to verify the proof.

See zoker.lalrpop for the detailed syntax of the DSL.

Documentation

How to use

Example Uses

License

This project is licensed under the MIT license. Please see the LICENSE file for more details.

About

The zoker is a tool you can use to apply zero knowledge proofs to smart contracts.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published