libiop

swMATH31793MaRDI QIDQ43504FDOQ43504

Author name not available (Why is that?)

Official website: https://github.com/scipr-lab/libiop

Source code repository: https://github.com/scipr-lab/libiop

Cited In (60)

• Prio+
• WAGE
• zkCNN
• CSI-FiSh
• MARVELlous
• MiMC
• EDRAX
• TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
• \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
• An algebraic framework for universal and updatable SNARKs
• Threshold Schnorr with stateless deterministic signing from standard assumptions
• Subquadratic SNARGs in the random oracle model
• SeaSign
• A compressed \(\varSigma \)-protocol theory for lattices
• Subtractive sets over cyclotomic rings. Limits of Schnorr-like arguments over lattices
• Tight state-restoration soundness in the algebraic group model
• DIZK
• Aurora: transparent succinct arguments for R1CS
• LegoSNARK
• Does Fiat-Shamir require a cryptographic hash function?
• Polynomial IOPs for linear algebra relations
• Sumcheck arguments and their applications
• BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
• More efficient amortization of exact zero-knowledge proofs for LWE
• Libra
• Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
• Pinocchio
• NFLlib
• SNARKs for C
• ring-LWE
• zk-SNARK
• SPHINCS
• Arya
• Ligero
• vSQL
• vRAM
• ZKBoo
• ANONIZE
• Ed25519
• Geppetto
• libsnark
• Picnic
• Asymptotically quasi-optimal cryptography
• Gemini: elastic SNARKs for diverse environments
• Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
• Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
• Helios
• nGraph-HE
• Spartan: efficient and general-purpose zkSNARKs without trusted setup
• OpenFHE
• Linear-size constant-query IOPs for delegating computation
• A PCP theorem for interactive proofs and applications
• CPSNARKs-Set
• jsnark
• Marlin
• MP-SPDZ
• dalek
• xJsnark
• Spartan
• Libra: succinct zero-knowledge proofs with optimal prover computation

This page was built for software: libiop