\textit{Ceno}: non-uniform, segment and parallel zero-knowledge virtual machine

DOI10.1007/S00145-024-09533-2MaRDI QIDQ7021183zbMATH OpenFDO

Authors Tianyi Liu, Zhenfei Zhang, Yuncong Zhang, Wenqing Hu, Ye Zhang

Publication date 28 February 2025

Published in Journal of Cryptology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00145-024-09533-2

zbMATH Keywords

GKR protocolSNARKstack-base virtual machinezero-knowledge virtual machine

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Artificial neural networks and deep learning (68T07) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Cites work

• How To Prove Yourself: Practical Solutions to Identification and Signature Problems
• scientific article; zbMATH DE number 5485522 (Why is no real title available?)
• HyperPlonk: Plonk with linear-time prover and high-degree custom gates
• Libra: succinct zero-knowledge proofs with optimal prover computation
• Marlin: preprocessing zkSNARKs with universal and updatable SRS
• Nova: recursive zero-knowledge arguments from folding schemes
• Practical verified computation with streaming interactive proofs
• Protostar: generic efficient accumulation/folding for special-sound protocols
• Scalable zero knowledge via cycles of elliptic curves
• Snarks for C: verifying program executions succinctly and in zero knowledge
• Spartan: efficient and general-purpose zkSNARKs without trusted setup
• The knowledge complexity of interactive proof-systems
• Time-optimal interactive proofs for circuit evaluation

Cited in

(1)

• HAPPIER: hash-based, aggregatable, practical post-quantum signatures implemented efficiently with Risc0

This page was built for publication: \textit{Ceno}: non-uniform, segment and parallel zero-knowledge virtual machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7021183)