rsnark_provers_core/
lib.rs

1//! # rsnark-provers-core
2//!
3//! Core abstractions and traits for zero-knowledge proof systems in the rsnark ecosystem.
4//!
5//! This crate provides the fundamental building blocks for implementing various ZK-SNARK backends
6//! and proof systems. It defines generic interfaces that can be implemented by different
7//! cryptographic backends (such as Groth16, PLONK, etc.) while maintaining a consistent API.
8//!
9//! ## Key Components
10//!
11//! - [`Backend`]: The core trait that defines the interface for ZK-SNARK backends
12//! - [`Prover`]: High-level prover that orchestrates the proof generation process
13//! - [`CircuitProver`]: Circuit-specific prover for generating and verifying proofs
14//! - [`Proof`]: Representation of a generated zero-knowledge proof
15//!
16
17mod backend;
18pub use backend::*;
19
20mod prover;
21pub use prover::*;
22
23mod types;
24pub use types::*;
25
26mod circuit_prover;
27pub use circuit_prover::*;