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
