Skip to content

Latest commit

 

History

History
63 lines (43 loc) · 1.67 KB

README.md

File metadata and controls

63 lines (43 loc) · 1.67 KB
Raw

snarkpy

A zk-SNARK implemented in Python & Rust compatible with snarkjs

⚠️ It's not fully tested, so don't use it for production.

Install

# Install maturin if not installed
pipx install maturin

# Install rustup if not installed
$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

git clone https://github.com/y011d4/snarkpy.git
cd snarkpy
pytyhon3 -m venv venv
source venv/bin/activate
make install

If you don't want to install locally, you can also use docker image:

docker run --rm -v $PWD:/work -it ghcr.io/y011d4/snarkpy:latest bash

Usage

First, prepare circuit_final.zkey, witness.wtns and verification_key.json by referring to the README in snarkjs. If you only need test data, you can make them by just typing make test-data.

# plonk prove
snarkpy plonk prove zkey wtns proof.json public.json

# plonk verify
snarkpy plonk verify vkey public.json proof.json

TODO

  • Implement other algorithms than PLONK.
  • Implement EC by myself and replace py_ecc.
  • Replace mathematical implementation like Polynomial or GF with implementation Rust using PyO3.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.