Mayckon Giovani

VSEL: Verifiable Semantic Execution Layer

2026 · Zenodo (CERN European Organization for Nuclear Research)

Contemporary cryptographic execution systems-particularly those employing zero-knowledge proofs-provide strong guarantees that a computation satisfies a given arithmetic circuit. However, satisfying a circuit is not equivalent to executing correctly with respect to the intended semantics of …