Ligero
From MaRDI portal
Software:40216
No author found.
Related Items (29)
An algebraic framework for universal and updatable SNARKs ⋮ Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography ⋮ Updateable Inner Product Argument with Logarithmic Verifier and Applications ⋮ On the round complexity of black-box secure MPC ⋮ A compressed \(\varSigma \)-protocol theory for lattices ⋮ 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 ⋮ BooLigero: improved sublinear zero knowledge proofs for Boolean circuits ⋮ MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK) ⋮ More efficient amortization of exact zero-knowledge proofs for LWE ⋮ A simple post-quantum non-interactive zero-knowledge proof from garbled circuits ⋮ Asymptotically quasi-optimal cryptography ⋮ Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions ⋮ Polynomial IOPs for Linear Algebra Relations ⋮ Practical exact proofs from lattices: new techniques to exploit fully-splitting rings ⋮ Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes ⋮ Acyclicity programming for sigma-protocols ⋮ Dory: efficient, transparent arguments for generalised inner products and polynomial commitments ⋮ Traceable ring signatures: general framework and post-quantum security ⋮ Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup ⋮ On the power of secure two-party computation ⋮ Libra: succinct zero-knowledge proofs with optimal prover computation ⋮ Unnamed Item ⋮ A non-PCP approach to succinct quantum-safe zero-knowledge ⋮ Spartan: efficient and general-purpose zkSNARKs without trusted setup ⋮ TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures ⋮ Zero-knowledge proofs for committed symmetric Boolean functions ⋮ The price of active security in cryptographic protocols ⋮ Recursive proof composition from accumulation schemes
This page was built for software: Ligero
