https://github.com/factomproject/ptnet-zkp

Zero Knowledge Proof for Petri-Nets using the circom language
https://github.com/factomproject/ptnet-zkp

circom petri-net zkp

Last synced: about 2 months ago
JSON representation

Zero Knowledge Proof for Petri-Nets using the circom language

• Host: GitHub
• URL: https://github.com/factomproject/ptnet-zkp
• Owner: FactomProject
• License: mit
• Created: 2019-07-21T18:37:22.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2022-12-04T04:03:55.000Z (over 2 years ago)
• Last Synced: 2025-03-22T06:26:27.126Z (2 months ago)
• Topics: circom, petri-net, zkp
• Language: Shell
• Size: 541 KB
• Stars: 4
• Watchers: 1
• Forks: 1
• Open Issues: 11
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# ptnet-ZKP

Zero Knowledge Proof for Petri-Nets using the circom language

Reference

* https://iden3.io/blog/circom-and-snarkjs-tutorial2.html

* https://iden3.io/post/iden3-introducing-new-set-tools-mastering-zksnarks

## Status

Pre-Alpha/Experimental see [./TODO.md](./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

```