Crate rsnark_provers_core 

rsnark-provers-core

Core abstractions and traits for zero-knowledge proof systems in the rsnark ecosystem.

This crate provides the fundamental building blocks for implementing various ZK-SNARK backends and proof systems. It defines generic interfaces that can be implemented by different cryptographic backends (such as Groth16, PLONK, etc.) while maintaining a consistent API.

Key Components

• Backend: The core trait that defines the interface for ZK-SNARK backends
• Prover: High-level prover that orchestrates the proof generation process
• CircuitProver: Circuit-specific prover for generating and verifying proofs
• Proof: Representation of a generated zero-knowledge proof

Modules

curve

Predefined elliptic curve types for common ZK-SNARK applications.

Structs

CircuitProver

Circuit-specific prover for generating and verifying zero-knowledge proofs.

Proof

Represents a zero-knowledge proof generated by a backend.

Prover

High-level prover that orchestrates the zero-knowledge proof generation process.

Traits

Backend

Core trait defining the interface for zero-knowledge proof backends.

CurveId

Trait for identifying elliptic curves used in zero-knowledge proof systems.