Circuit Design
Circuit Design - ZK Circuit Architecture
This document describes the zero-knowledge circuit design for Roru Protocol transactions.
Circuit Architecture
Circuit Components
Input Circuit: Validates input notes.
Output Circuit: Validates output notes.
Balance Circuit: Verifies value conservation.
Authorization Circuit: Validates spending authorization.
Constraint System
Constraints
Arithmetic Constraints: Mathematical relationships.
Boolean Constraints: True/false conditions.
Range Constraints: Value range checks.
Implementation
Circuit Building
Process:
Define variables
Add constraints
Generate constraint system
Create proving/verifying keys
Conclusion
Circuit design is critical for proof correctness and efficiency.
Last updated