ZKBoo - MaRDI portal

swMATH28503MaRDI QIDQ40217FDOQ40217

Author name not available (Why is that?)

Official website: https://github.com/Sobuno/ZKBoo

Source code repository: https://github.com/Sobuno/ZKBoo

Cited In (31)

Sublinear zero-knowledge arguments for RAM programs
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
Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup
Zero-knowledge arguments for lattice-based PRFs and applications to E-cash
Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
On the round complexity of black-box secure MPC
\textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
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)
Post-quantum ID-based ring signatures from symmetric-key primitives
A simple post-quantum non-interactive zero-knowledge proof from garbled circuits
Libra
Pinocchio
Traceable ring signatures: general framework and post-quantum security
Efficient secure multiparty computation with identifiable abort
ANONIZE
Geppetto
libiop
libsnark
Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
Efficient generic zero-knowledge proofs from commitments (extended abstract)
On garbling schemes with and without privacy
Updateable Inner Product Argument with Logarithmic Verifier and Applications
jsnark
Marlin
On the power of secure two-party computation
Arya: nearly linear-time zero-knowledge proofs for correct program execution
Keyed-fully homomorphic encryption without indistinguishability obfuscation
Libra: succinct zero-knowledge proofs with optimal prover computation

This page was built for software: ZKBoo