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//!
15
16mod backend;
17pub use backend::*;
18
19mod prover;
20pub use prover::*;
21
22mod types;
23pub use types::*;
24
25mod circuit_prover;
26pub use circuit_prover::*;