Cited in
(only showing first 100 items - show all)- Verifiable multi-party computation with perfectly private audit trail
- On succinct arguments and witness encryption from groups
- MiMC
- Shorter arithmetization of nondeterministic computations
- Snarks for C: verifying program executions succinctly and in zero knowledge
- Mining for privacy: how to bootstrap a snarky blockchain
- Security of the Poseidon hash function against non-binary differential and linear attacks
- A more efficient leveled strongly-unforgeable fully homomorphic signature scheme
- New publicly verifiable computation for batch matrix multiplication
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- The hunting of the SNARK
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- A symmetric cryptographic scheme for data integrity verification in cloud databases
- Zero-knowledge proofs for set membership: efficient, succinct, modular
- Interactive oracle proofs
- On subversion-resistant SNARKs
- Trusted computing with addition machines. II
- Scalable zero knowledge via cycles of elliptic curves
- Public verifiable private decision tree prediction
- Scalable zero knowledge via cycles of elliptic curves
- LegoSNARK
- How to build time-lock encryption
- Succinct non-interactive zero knowledge arguments from span programs and linear error-correcting codes
- Square span programs with applications to succinct NIZK arguments
- An algebraic attack on ciphers with low-degree round functions: application to full MiMC
- Verifiable set operations over outsourced databases
- Privacy-preserving verifiable delegation of polynomial and matrix functions
- Libra
- MIRACL
- Barreto-Naehrig
- PandA
- MiniLEGO
- PBC Library
- RELIC
- Charm
- SWIFFT
- eBATS
- SNARKs for C
- Multi-server verifiable delegation of computations: unconditional security and practical efficiency
- ADSNARK
- Plutus
- SiRiUS
- fhe
- zk-SNARK
- HAL
- gmpy2
- CryptDB
- Arya
- Ligero
- EMP-toolkit
- vSQL
- vRAM
- ZKBoo
- Geppetto
- libiop
- libsnark
- Picnic
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Aurora: transparent succinct arguments for R1CS
- U-Prove
- On QA-NIZK in the BPK model
- Proof-of-work certificates that can be efficiently computed in the cloud (invited talk)
- Quadratic span programs and succinct NIZKs without PCPs
- Non-interactive zero-knowledge arguments for QMA, with preprocessing
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- CPSNARKs-Set
- Halo2
- jsnark
- Marlin
- dalek
- xJsnark
- SWIFFTX
- Authenticated hash tables based on cryptographic accumulators
- Time-optimal interactive proofs for circuit evaluation
- Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
- A unified framework for non-universal SNARKs
- MiMC: efficient encryption and cryptographic hashing with minimal multiplicative complexity
- Computational integrity with a public random string from quasi-linear PCPs
- libff
- constantine
- SwiftEC
- wasmcurves
- zkCNN
- Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions
- Composition with knowledge assumptions
- QMA-hardness of consistency of local density matrices with applications to quantum zero-knowledge
- An introduction to the use of zk-SNARKs in blockchains
- CIRCL
- EDRAX
- Multikey fully homomorphic encryption and applications
- Algorithms for elliptic curves
- Sublinear zero-knowledge arguments for RAM programs
- PandA: pairings and arithmetic
- On the (in)security of SNARKs in the presence of oracles
- Privacy-preserving anomaly detection in cloud with lightweight homomorphic encryption
- DIZK
- On the classification of knowledge-of-exponent assumptions in cyclic groups
- Batch verifiable computation with public verifiability for outsourcing polynomials and matrix computations
- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
This page was built for software: Pinocchio
