Skip Table Of Content Section
research-article
Ceno: Non-uniform, Segment and Parallel Zero-Knowledge Virtual Machine
Abstract
In this paper, we explore a novel Zero-knowledge Virtual Machine (zkVM) framework leveraging succinct, non-interactive zero-knowledge proofs for verifiable computation over any code. Our approach divides the proof of program execution into two ...