Pages that link to "Item:Q2292641"

The following pages link to Aurora: transparent succinct arguments for R1CS (Q2292641):

Displaying 46 items.

• Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures (Q826296) (← links)
• Marlin: preprocessing zkSNARKs with universal and updatable SRS (Q2055641) (← links)
• \textsc{Fractal}: post-quantum and transparent recursive proofs from holography (Q2055643) (← links)
• Sigma protocols for MQ, PKP and SIS, and fishy signature schemes (Q2055652) (← links)
• Stacked garbling for disjunctive zero-knowledge proofs (Q2055668) (← links)
• Boosting verifiable computation on encrypted data (Q2055689) (← links)
• Banquet: short and fast signatures from AES (Q2061922) (← links)
• Flexible and efficient verifiable computation on encrypted data (Q2061972) (← links)
• A non-PCP approach to succinct quantum-safe zero-knowledge (Q2096535) (← links)
• Practical product proofs for lattice commitments (Q2096537) (← links)
• Post-quantum ID-based ring signatures from symmetric-key primitives (Q2096649) (← links)
• Spartan: efficient and general-purpose zkSNARKs without trusted setup (Q2104239) (← links)
• TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures (Q2117059) (← links)
• Threshold Schnorr with stateless deterministic signing from standard assumptions (Q2120070) (← links)
• \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments (Q2120097) (← links)
• Subquadratic SNARGs in the random oracle model (Q2120100) (← links)
• Sumcheck arguments and their applications (Q2120101) (← links)
• An algebraic framework for universal and updatable SNARKs (Q2120103) (← links)
• Subtractive sets over cyclotomic rings. Limits of Schnorr-like arguments over lattices (Q2128574) (← links)
• A compressed \(\varSigma \)-protocol theory for lattices (Q2128575) (← links)
• Tight state-restoration soundness in the algebraic group model (Q2128989) (← links)
• Does Fiat-Shamir require a cryptographic hash function? (Q2139639) (← links)
• BooLigero: improved sublinear zero knowledge proofs for Boolean circuits (Q2145410) (← links)
• More efficient amortization of exact zero-knowledge proofs for LWE (Q2148770) (← links)
• Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs (Q2163394) (← links)
• Asymptotically quasi-optimal cryptography (Q2170004) (← links)
• A PCP theorem for interactive proofs and applications (Q2170038) (← links)
• Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier (Q2170049) (← links)
• Gemini: elastic SNARKs for diverse environments (Q2170056) (← links)
• Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions (Q2170057) (← links)
• Succinct arguments in the quantum random oracle model (Q2175929) (← links)
• Linear-size constant-query IOPs for delegating computation (Q2175951) (← links)
• On the (In)security of Kilian-based SNARGs (Q2175953) (← links)
• Practical exact proofs from lattices: new techniques to exploit fully-splitting rings (Q2692384) (← links)
• Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes (Q2692970) (← links)
• Tight security bounds for Micali's SNARGs (Q2695642) (← links)
• Acyclicity programming for sigma-protocols (Q2695643) (← links)
• Dory: efficient, transparent arguments for generalised inner products and polynomial commitments (Q2697847) (← links)
• Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography (Q5041168) (← links)
• Updateable Inner Product Argument with Logarithmic Verifier and Applications (Q5041169) (← links)
• Efficient Post-quantum SNARKs for RSIS and RLWE and Their Applications to Privacy (Q5041224) (← links)
• Polynomial IOPs for Linear Algebra Relations (Q5087271) (← links)
• QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge (Q5868888) (← links)
• Ligero: lightweight sublinear arguments without a trusted setup (Q6063128) (← links)
• Proving knowledge of isogenies: a survey (Q6063129) (← links)
• Fiat-Shamir transformation of multi-round interactive proofs (Extended version) (Q6134420) (← links)