Tight ZK CPU^* Batched ZK Branching with Cost Proportional to Evaluated Instruction

Keyphrases

• Tight 100%
• Control Flow Graph 60%
• Oblivious Linear Evaluation 60%
• Hardware Configuration 20%
• High-level Language 20%
• Basic Building Block 20%
• Program Control 20%
• Instruction Sets 20%
• Traversal 20%
• Byte 20%
• Non-interactive 20%
• Zero-knowledge Proof 20%
• Read Only Memory 20%
• Straight-line Programs 20%
• Commit-and-prove 20%
• Repeated Evaluation 20%

Computer Science

• Control-Flow Graph 100%
• High-Level Language 33%
• Local Area Network 33%
• Hardware Configuration 33%
• Wide Area Network 33%
• Basic Building Block 33%
• Knowledge Proof 33%
• Read Only Memory 33%
• Fragment Program 33%