Skip to content

Zero Knowledge Proof for Petri-Nets using the circom language

License

Notifications You must be signed in to change notification settings

FactomProject/ptnet-ZKP

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ptnet-ZKP

Zero Knowledge Proof for Petri-Nets using the circom language

Reference

Status

Pre-Alpha/Experimental see ./TODO.md for working notes.

Main outstanding question is to work out if the size of these proofs is managable on top of Factom.

32K	./vass/circuit.json # can perhaps be off-chain?
4.0K	./vass/proof.json
4.0K	./vass/public.json
4.0K	./vass/verification_key.json

Usage

Build the examples

./test.sh
build VASS()
info
# Wires: 41
# Constraints: 10
# Private Inputs: 20
# Public Inputs: 0
# Outputs: 5
setup
witness
proof
verify
OK

About

Zero Knowledge Proof for Petri-Nets using the circom language

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages