Expand description
Zero-Knowledge Semantic Proofs Implementation
This module provides zero-knowledge semantic proofs using zk-SNARKs via Halo2. Designed for privacy-preserving mathematical computations and cryptographic libraries.
Modules§
Structs§
- Arithmetic
Circuit - Arithmetic circuit representation
- Circuit
Builder - Circuit builder for creating arithmetic circuits
- Circuit
Constraint - Circuit constraint
- Circuit
Metrics - Circuit performance metrics
- Circuit
Parameters - Circuit parameters
- Circuit
Variable - Circuit variable
- Engine
Parameters - Engine parameters
- Field
Element - Field element for arithmetic operations
- Mathematical
Statement - Mathematical statement
- Proof
Context - Proof context
- Proof
Generator - Proof generator for creating zk-SNARKs
- Proof
Metadata - Proof metadata
- Proof
Metrics - Proof performance metrics
- Proof
Verifier - Proof verifier for validating zk-SNARKs
- Proving
Engine - Proving engine for generating proofs
- Proving
Key - Proving key for generating proofs
- Semantic
Proof - Semantic proof for mathematical statements
- Verification
Engine - Verification engine for validating proofs
- Verification
Parameters - Verification parameters
- Verification
Result - Verification result
- Verifying
Key - Verifying key for verifying proofs
- Witness
Generator - Witness generator for circuit assignments
- ZkGlobal
Metrics - Global performance metrics
- ZkPerformance
Monitor - Performance monitor for zk operations
- ZkProof
- Zero-knowledge proof
- ZkProof
System - Zero-Knowledge Proof System
Enums§
- Circuit
Expression - Circuit expression
- Elliptic
Curve - Elliptic curves for zk-SNARKs
- Proving
Engine Type - Proving engine types
- Statement
Type - Statement types
- Variable
Type - Variable types
- Verification
Engine Type - Verification engine types
- ZkError
- Zero-knowledge error types