SNARKs for C

swMATH14604MaRDI QIDQ26503FDOQ26503

Author name not available (Why is that?)

Described by source

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

Cited In (28)

• ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines
• Authenticated hash tables based on cryptographic accumulators
• Confidential and efficient asset proof for bitcoin exchanges
• Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation
• TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
• Fast Reed-Solomon Interactive Oracle Proofs of Proximity
• Trusted computing with addition machines. II
• Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup
• Computational Integrity with a Public Random String from Quasi-Linear PCPs
• An Introduction to the Use of zk-SNARKs in Blockchains
• How to build time-lock encryption
• Aurora: transparent succinct arguments for R1CS
• \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
• BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
• On subversion-resistant SNARKs
• MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity
• Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
• No-signaling linear PCPs
• Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
• Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation
• Making the Best of a Leaky Situation: Zero-Knowledge PCPs from Leakage-Resilient Circuits
• On the (In)Security of SNARKs in the Presence of Oracles
• Shorter arithmetization of nondeterministic computations
• Scalable zero knowledge via cycles of elliptic curves
• The hunting of the SNARK
• Sublinear Zero-Knowledge Arguments for RAM Programs
• Arya: nearly linear-time zero-knowledge proofs for correct program execution
• Libra: succinct zero-knowledge proofs with optimal prover computation

This page was built for software: SNARKs for C