libiop
From MaRDI portal
Software:43504
No author found.
Source code repository: https://github.com/scipr-lab/libiop
Related Items (23)
Threshold Schnorr with stateless deterministic signing from standard assumptions ⋮ \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments ⋮ Subquadratic SNARGs in the random oracle model ⋮ Sumcheck arguments and their applications ⋮ An algebraic framework for universal and updatable SNARKs ⋮ Subtractive sets over cyclotomic rings. Limits of Schnorr-like arguments over lattices ⋮ A compressed \(\varSigma \)-protocol theory for lattices ⋮ Tight state-restoration soundness in the algebraic group model ⋮ Does Fiat-Shamir require a cryptographic hash function? ⋮ BooLigero: improved sublinear zero knowledge proofs for Boolean circuits ⋮ More efficient amortization of exact zero-knowledge proofs for LWE ⋮ Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs ⋮ Asymptotically quasi-optimal cryptography ⋮ A PCP theorem for interactive proofs and applications ⋮ Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier ⋮ Gemini: elastic SNARKs for diverse environments ⋮ Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions ⋮ Polynomial IOPs for Linear Algebra Relations ⋮ Linear-size constant-query IOPs for delegating computation ⋮ Aurora: transparent succinct arguments for R1CS ⋮ Libra: succinct zero-knowledge proofs with optimal prover computation ⋮ Spartan: efficient and general-purpose zkSNARKs without trusted setup ⋮ TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
This page was built for software: libiop
