ZKBoo
From MaRDI portal
Cited in
(42)- jsnark
- Libra
- Marlin
- Arya: nearly linear-time zero-knowledge proofs for correct program execution
- Zero-knowledge arguments for lattice-based PRFs and applications to E-cash
- Traceable ring signatures: general framework and post-quantum security
- Keyed-fully homomorphic encryption without indistinguishability obfuscation
- Post-quantum ID-based ring signatures from symmetric-key primitives
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Differential power analysis of the Picnic signature scheme
- Zero-knowledge proofs for committed symmetric Boolean functions
- On the round complexity of black-box secure MPC
- 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)
- A simple post-quantum non-interactive zero-knowledge proof from garbled circuits
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Pinocchio
- 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
- SNARKs for C
- On garbling schemes with and without privacy
- Efficient generic zero-knowledge proofs from commitments (extended abstract)
- Efficient secure multiparty computation with identifiable abort
- SPHINCS
- Ligero
- vSQL
- ANONIZE
- Geppetto
- libsnark
- libiop
- CSIDH
- Picnic
- Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
- Sublinear zero-knowledge arguments for RAM programs
- Prio+
- LegoSNARK
- DIZK
- zkCNN
- Spartan
This page was built for software: ZKBoo
