https://github.com/distributed-lab/plonky2-verifier

Plonky2 Verifier.
https://github.com/distributed-lab/plonky2-verifier

no-std plonky2 verifier

Last synced: 3 months ago
JSON representation

Plonky2 Verifier.

• Host: GitHub
• URL: https://github.com/distributed-lab/plonky2-verifier
• Owner: distributed-lab
• License: gpl-3.0
• Created: 2024-11-07T17:28:56.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2025-02-28T17:38:37.000Z (7 months ago)
• Last Synced: 2025-06-24T15:06:12.952Z (4 months ago)
• Topics: no-std, plonky2, verifier
• Language: Rust
• Homepage: https://distributed-lab.github.io/plonky2-verifier/
• Size: 409 KB
• Stars: 0
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Plonky2 Verifier

[![License: GPL v3](https://img.shields.io/badge/License-GPLv3-blue.svg)](https://www.gnu.org/licenses/gpl-3.0)

[![Rust CI🌌](https://github.com/distributed-lab/plonky2-verifier/actions/workflows/rust.yml/badge.svg)](https://github.com/distributed-lab/plonky2-verifier/actions/workflows/rust.yml)

[![Docs 🌌](https://github.com/distributed-lab/plonky2-verifier/actions/workflows/docs.yml/badge.svg)](https://github.com/distributed-lab/plonky2-verifier/actions/workflows/docs.yml)

> A verifier for [plonky2](https://github.com/0xPolygonZero/plonky2/) proofs.

This rust crate provides functionality to deserialize and verify proof, public inputs and verification key. 

## plonky2-converter

`Plonky2` has a certain number of generics for its constraint system, such as used field, hasher etc.

Since we are limited by the nature of passing them in `zkVerify`, we use a custom format of [Vk](./src/vk.rs).

For that reason, this crate also provides a binary to convert verification keys into acceptable by `zkVerify` format.

Furthermore, to bring support for compressed proofs from `plonky2`, we use a custom format of [Proof](./src/proof.rs).

### Install:

```bash

cargo install --features converter --path .

```

### Usage:

```bash

plonky2-converter --help

```

```

Converts plonky2 formats

Usage: 

Commands:

  vk     Serialize VerifierCircuitData into zkVerify format

  proof  Serialize Proof or CompressedProof into zkVerify format

  help   Print this message or the help of the given subcommand(s)

Options:

  -h, --help     Print help

  -V, --version  Print version

```

## License

This code is released under the GPL 3.0 license.