Efficient proof of RAM programs from any public-coin zero-knowledge system

DOI10.1007/978-3-031-14791-3_27MaRDI QIDQ6134849zbMATH OpenOpenAlexFDO

Authors Cyprien Delpech De Saint Guilhem, Emmanuela Orsini, Titouan Tanguy, Michiel Verbauwhede

Publication date 25 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-14791-3_27

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Theory of compilers and interpreters (68N20) Authentication, digital signatures and secret sharing (94A62)

Cites work

• scientific article; zbMATH DE number 5485433 (Why is no real title available?)
• scientific article; zbMATH DE number 7706037 (Why is no real title available?)
• Arya: nearly linear-time zero-knowledge proofs for correct program execution
• Aurora: transparent succinct arguments for R1CS
• Efficient zero-knowledge proofs of non-algebraic statements with sublinear amortized cost
• Linear Algebra with Sub-linear Zero-Knowledge Arguments
• On the size of pairing-based non-interactive arguments
• PrORAM
• Quadratic span programs and succinct NIZKs without PCPs
• 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
• Sublinear zero-knowledge arguments for RAM programs
• The knowledge complexity of interactive proof-systems
• \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions

Cited in

(3)

• Zero-knowledge systems from MPC-in-the-head and oblivious transfer
• ZK-for-Z2K: MPC-in-the-head zero-knowledge proofs for \(\mathbb{Z}_{2^k}\)
• SNARKs for virtual machines are non-malleable

This page was built for publication: Efficient proof of RAM programs from any public-coin zero-knowledge system

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