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