https://github.com/shuklaayush/halo2-plonky2-verifier
Halo2 gadgets for verifying plonky2/starky proofs (WIP)
https://github.com/shuklaayush/halo2-plonky2-verifier
fri plonk snark stark zk
Last synced: 4 months ago
JSON representation
Halo2 gadgets for verifying plonky2/starky proofs (WIP)
- Host: GitHub
- URL: https://github.com/shuklaayush/halo2-plonky2-verifier
- Owner: shuklaayush
- License: mit
- Created: 2023-11-03T15:34:47.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-01-12T21:30:33.000Z (over 1 year ago)
- Last Synced: 2024-11-07T01:12:12.566Z (6 months ago)
- Topics: fri, plonk, snark, stark, zk
- Language: Rust
- Homepage:
- Size: 2.84 MB
- Stars: 5
- Watchers: 3
- Forks: 0
- Open Issues: 7
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Halo2 plonky2 verifier
This repository contains halo2 gadgets to verify [plonky2/starky](https://github.com/0xpolygonzero/plonky2) proofs. It uses Axiom's [halo2-lib](https://github.com/axiom-crypto/halo2-lib) under the hood.
Currently, the code can verify FRI proofs from plonky2, and full proof verification is still WIP.
TODOs:
- [x] FRI verification
- [ ] STARK vanishing polynomial evaluation
- [ ] PLONK verification
- [ ] Benchmarking
## Test
To run the mock prover for verification of a Fibonacci STARK:
```bash
cargo t -r -- --nocapture test_fibonacci_stark
```
## Acknowledgements
This code is adapted from the original [recursive verifier](https://github.com/0xPolygonZero/plonky2/blob/fdd7ee46fe735186b00a7090ead9ff1ae660f14d/starky/src/recursive_verifier.rs) implementation in plonky2.
Succinct's [gnark-plonky2-verifier](https://github.com/succinctlabs/gnark-plonky2-verifier) was also used as a reference, and the PoseidonBN254 implementation is adapted from there.
Other references:
- [halo2-fri-gadget](https://github.com/maxgillett/halo2-fri-gadget): Contains gadgets for Winterfell FRI proof verification for proofs generated in a circuit's native field.
- [plonky2-circom](https://github.com/polymerdao/plonky2-circom)
## Disclaimer
These gadgets have **NOT** been formally audited. Therefore, they should not be deployed in production.