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