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:

1. Define variables

2. Add constraints

3. Generate constraint system

4. Create proving/verifying keys

Conclusion

Circuit design is critical for proof correctness and efficiency.