Module zkproof 

Zero-Knowledge Proof Composition Framework

This module provides a framework for composing multiple zero-knowledge proofs into complex protocols with AND/OR logic and proof aggregation.

Perfect for building complex privacy-preserving protocols where you need to prove multiple statements together (e.g., “I know a secret AND it’s in a certain range”).

Structs

AndProof

Composite proof combining multiple proofs with AND logic

OrProof

Composite proof combining multiple proofs with OR logic

ZkProof

A zero-knowledge proof with metadata

ZkProofBuilder

Builder for creating composite proofs

Enums

ZkProofError

Errors that can occur in ZK proof operations

Traits

ZkProvable

Trait for types that can be proven in zero-knowledge

Functions

create_binding

Helper to create a binding value for AND compositions

Type Aliases

ZkProofResult