A zk-SNARK toolkit
- Groth16
- PLONK (TODO)
- R1CS/Arithmetic(TODO)
- TRUSTED SETUP (TODO)
python -m pip install -e .python -m pip install -e ".[dev]"python -m pip install -e ".[pyecc]"or install both dev dependencies and BLS12-381 support:
python -m pip install -e ".[dev,pyecc]"Groth16(QAP-eval-only):
python examples/groth16_qap_mock.py"a^2 + b^2 = c^2" demo(QAP-eval-only):
python examples/groth16_pythagorean.py
Groth16(QAP-eval-only)pairing (BLS12-381 via py_ecc):
```bash
python -m pip install -e ".[pyecc]"
python examples/groth16_pairing_identity.pyMIT