groth16-solana

A Groth16 verifier implementation for Solana using BN254 precompiles. This crate verifies Groth16 proofs generated with SP1, leveraging Solana's BN254 precompiles for efficient cryptographic operations.

Features

• Groth16 Proof Verification: Implements the Groth16 protocol for zero-knowledge proof verification.
• Solana BN254 Precompiles: Leverages Solana's native BN254 precompiles for optimized performance.
• Easy Integration: Seamlessly integrates with existing Solana programs and infrastructure.
• Extensible: Built with modularity in mind, allowing for future enhancements and integrations.

Installation

Add groth16-solana to your Cargo.toml:

[dependencies]
groth16-solana = { git = "https://github.com/succinctlabs/groth16-solana" }

Acknowledgements

This crate uses the groth16-solana crate from Light Protocol Labs for the actual Groth16 proof verification, and the ark-bn254 crate for the elliptic curve operations.