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

DOI10.1007/978-3-031-14791-3_27OpenAlexW4294698909MaRDI QIDQ6134849FDOQ6134849

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

• SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
• Arya: nearly linear-time zero-knowledge proofs for correct program execution
• The knowledge complexity of interactive proof-systems
• Linear Algebra with Sub-linear Zero-Knowledge Arguments
• Quadratic Span Programs and Succinct NIZKs without PCPs
• Title not available (Why is that?)
• Aurora: transparent succinct arguments for R1CS
• On the Size of Pairing-Based Non-interactive Arguments
• Scalable Zero Knowledge via Cycles of Elliptic Curves
• Efficient Zero-Knowledge Proofs of Non-algebraic Statements with Sublinear Amortized Cost
• Spartan: efficient and general-purpose zkSNARKs without trusted setup
• \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
• Sublinear Zero-Knowledge Arguments for RAM Programs
• PrORAM
• Title not available (Why is that?)

Cited In (2)

• 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}\)

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)