SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

From MaRDI portal
Publication:2849388

DOI10.1007/978-3-642-40084-1_6zbMath1317.68050OpenAlexW2171337840MaRDI QIDQ2849388

Daniel Genkin, Alessandro Chiesa, Eran Tromer, Madars Virza, Eli Ben-Sasson

Publication date: 17 September 2013

Published in: Advances in Cryptology – CRYPTO 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40084-1_6




Related Items (60)

Confidential and efficient asset proof for bitcoin exchangesQuantum Locally Testable Codes\textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctionsOn the (In)Security of SNARKs in the Presence of OraclesBooLigero: improved sublinear zero knowledge proofs for Boolean circuitsPreprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofsEfficient proof composition for verifiable computationStacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctionsECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK EnginesPrORAMZero knowledge proofs towards verifiable decentralized AI pipelinesAn efficient identity tracing scheme for blockchain-based systemsA survey of elliptic curves for proof systemsSok: vector OLE-based zero-knowledge protocolsScalable zero knowledge via cycles of elliptic curvesRinocchio: SNARKs for ring arithmeticTransparent batchable time-lock puzzles and applications to Byzantine consensusLattice-based SNARKs: publicly verifiable, preprocessing, and recursively composable (extended abstract)Practical sublinear proofs for R1CS from latticesResumable zero-knowledge for circuits from symmetric key primitivesFunction-Dependent Commitments for Verifiable Multi-party ComputationWitness encryption from smooth projective hashing systemObtaining simulation extractable NIZKs in the updatable CRS model genericallyMiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative ComplexityEfficient zero-knowledge arguments in discrete logarithm setting: sublogarithmic proof or sublinear verifierEfficient proof of RAM programs from any public-coin zero-knowledge systemWhat makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?A universally composable non-interactive aggregate cash systemShort-lived zero-knowledge proofs and signaturesSuccinct arguments for RAM programs via projection codesProofs for inner pairing products and applicationsUpdatable NIZKs from non-interactive zapsOrion: zero knowledge proof with linear prover timeZero-knowledge succinct non-interactive arguments of knowledge based on sets of polynomialsScalable and transparent proofs over all large fields, via elliptic curves. ECFFT. IIThe hunting of the SNARKImpossibilities in succinct arguments: black-box extraction and moreUnnamed ItemAn Introduction to the Use of zk-SNARKs in BlockchainsFast Reed-Solomon Interactive Oracle Proofs of ProximityShorter arithmetization of nondeterministic computationsTrusted computing with addition machines. IISublinear Zero-Knowledge Arguments for RAM ProgramsNo-signaling linear PCPsHow to build time-lock encryptionNo-signaling linear PCPsMaking the Best of a Leaky Situation: Zero-Knowledge PCPs from Leakage-Resilient CircuitsOn subversion-resistant SNARKsTransparent SNARKs from DARK compilersSPARKs: succinct parallelizable arguments of knowledgeStacked garbling for disjunctive zero-knowledge proofsBoosting verifiable computation on encrypted dataPinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function EvaluationTrinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable ComputationSNARKs for COn succinct arguments and witness encryption from groupsSpartan: efficient and general-purpose zkSNARKs without trusted setupComputational Integrity with a Public Random String from Quasi-Linear PCPsTurboIKOS: improved non-interactive zero knowledge and post-quantum signaturesAuthenticated hash tables based on cryptographic accumulators


Uses Software



This page was built for publication: SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge