sigma-protocols 0.5.0

SIGMA zero-knowledge proof protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

//! # SIGMA Proofs
//!
//! A Rust implementation of SIGMA (Σ) zero-knowledge proof protocols and the Fiat-Shamir transform.
//!
//! This library implements the specifications from:
//! - [draft-irtf-cfrg-sigma-protocols](https://datatracker.ietf.org/doc/draft-irtf-cfrg-sigma-protocols/)
//! - [draft-irtf-cfrg-fiat-shamir](https://datatracker.ietf.org/doc/draft-irtf-cfrg-fiat-shamir/)
//!
//! ## Features
//!
//! - **Schnorr Proofs**: Prove knowledge of discrete logarithms
//! - **DLEQ Proofs**: Prove equality of discrete logarithms
//! - **Pedersen Commitment Proofs**: Prove knowledge of commitment openings
//! - **Fiat-Shamir Transform**: Convert interactive proofs to non-interactive
//!
//! ## Example
//!
//! ```ignore
//! use sigma_protocols::protocols::schnorr::{SchnorrProof, SchnorrStatement, SchnorrWitness};
//! use sigma_protocols::sigma::SigmaProtocol;
//!
//! // Create a proof of knowledge of discrete logarithm
//! let statement = SchnorrStatement { public_key };
//! let witness = SchnorrWitness { secret_key };
//! let (commitment, state) = SchnorrProof::prover_commit(&statement, &witness);
//! ```

pub mod error;
pub mod fiat_shamir;
pub mod protocols;
pub mod sigma;
pub mod transcript;

pub use error::{Error, Result};
pub use fiat_shamir::FiatShamirTransform;
pub use sigma::{Challenge, Commitment, Response, SigmaProtocol};
pub use transcript::Transcript;