Skip to main content

verify

confium_crypto_vss::pedersen_range

Function verify 

Source 
pub fn verify(
    gens: &PedersenGens,
    c: &AffinePoint,
    proof: &PedersenRangeProof,
) -> bool
Expand description

Verify a range proof against the value commitment c.

Binds the full statement: checks the aggregation Σ 2^i·C_i == c and every per-bit OR-proof (announcements, responses, and the Fiat-Shamir challenge sum).