Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction.

Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam

Browse the full CCS paper archive.