scientific article; zbMATH DE number 1302863
From MaRDI portal
Publication:4249348
arithmetic circuits over finite prime fieldsBoolean circuit satisfiabilitycommitment schemescommunication complexityefficient zero-knowledge proofsexistence of \(q\)-one way group homomorphismsfinite prime fieldhardness of discrete loginteractive proof systempolynomial security of Diffie-Hellman encryptionRSA assumption
Recommendations
Cited in
(42)- Linear-time zero-knowledge proofs for arithmetic circuit satisfiability
- Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Zero-knowledge proofs for committed symmetric Boolean functions
- Compressing proofs of \(k\)-out-of-\(n\) partial knowledge
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- Non-interactive provably secure attestations for arbitrary RSA prime generation algorithms
- Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
- Cryptographic reverse firewalls for interactive proof systems
- Succinct Diophantine-satisfiability arguments
- Improved OR-composition of sigma-protocols
- Zero-knowledge proofs via polynomial representations
- Zero-knowledge for multivariate polynomials
- Efficient generic zero-knowledge proofs from commitments (extended abstract)
- Efficient zero-knowledge arguments from two-tiered homomorphic commitments
- Linear Algebra with Sub-linear Zero-Knowledge Arguments
- scientific article; zbMATH DE number 4191124 (Why is no real title available?)
- How to deal with malicious users in privacy‐preserving distributed data mining
- Zero-knowledge proofs from secure multiparty computation
- Practical zero-knowledge proofs for circuit evaluation
- scientific article; zbMATH DE number 1088224 (Why is no real title available?)
- Subquadratic zero-knowledge
- scientific article; zbMATH DE number 1559559 (Why is no real title available?)
- Algebraic (trapdoor) one-way functions: constructions and applications
- QA-NIZK arguments of same opening for bilateral commitments
- On the amortized complexity of zero knowledge protocols for multiplicative relations
- Compressed $$\varSigma $$-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
- An accurate, scalable and verifiable protocol for federated differentially private averaging
- Efficient NIZK arguments with straight-line simulation and extraction
- Moz\(\mathbb{Z}_{2^k}\)arella: efficient vector-OLE and zero-knowledge proofs over \(\mathbb{Z}_{2^k}\)
- Vector commitments over rings and compressed -protocols
- Rogue-instance security for batch knowledge proofs
- Malleable commitments from group actions and zero-knowledge proofs for circuits based on isogenies
- More efficient zero-knowledge protocols over \(\mathbb{Z}_{2^k}\) via Galois rings
- HyperNova: recursive arguments for customizable constraint systems
- Hybrid zero-knowledge from garbled circuits and circuit-based composition of -protocols
- From one-time to two-round reusable multi-signatures without nested forking
- Interactive line-point zero-knowledge with sublinear communication and linear computation
- The Fiat-Shamir transformation of (_1,,_ )-special-sound interactive proofs
- Non-interactive and non-malleable commitment scheme based on q-one way group homomorphisms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249348)
