Non-interactive zero-knowledge proofs for composite statements

DOI10.1007/978-3-319-96878-0_22zbMATH Open1457.94088OpenAlexW2882986534MaRDI QIDQ776004FDOQ776004

Authors: Shashank Agrawal, Chaya Ganesh, Payman Mohassel 

Publication date: 30 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-96878-0_22

Recommendations

• Non-interactive zero-knowledge proofs to multiple verifiers
• Composition of zero-knowledge proofs with efficient provers
• scientific article; zbMATH DE number 1304087
• Non-interactive zero-knowledge proofs with fine-grained security
• Multiple NonInteractive Zero Knowledge Proofs Under General Assumptions
• scientific article; zbMATH DE number 4053065
• scientific article; zbMATH DE number 177820
• On the Composition of Zero-Knowledge Proof Systems
• Publicly Verifiable Non-Interactive Zero-Knowledge Proofs
• Non-Interactive Zero-Knowledge Proofs of Non-Membership

zbMATH Keywords

QAP-based SNARKsSigma protocols

Mathematics Subject Classification ID

Macroeconomic theory (monetary models, models of taxation) (91B64) Cryptography (94A60)

Cited In (22)

• Balancing privacy and accountability in blockchain identity management
• Succinct attribute-based signatures for bounded-size circuits by combining algebraic and arithmetic proofs
• Sigma protocols from verifiable secret sharing and their applications
• Non-Interactive Zero-Knowledge Proofs of Non-Membership
• Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup
• Hierarchical integrated signature and encryption. (or: key separation vs. key reuse: enjoy the best of both worlds)
• Zero-knowledge proofs for set membership: efficient, succinct, modular
• Verifiable decentralized multi-client functional encryption for inner product
• Rinocchio: SNARKs for ring arithmetic
• \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
• Towards zero knowledge argument for double discrete logarithm with constant cost
• \textsf{ZKAttest}: ring and group signatures for existing ECDSA keys
• On black-box extension of a non-interactive zero-knowledge proof system for secret equality
• Pribank: confidential blockchain scaling using short commit-and-proof NIZK argument
• Short-lived zero-knowledge proofs and signatures
• Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
• Non-interactive composition of sigma-protocols via Share-then-Hash
• Fully homomorphic NIZK and NIWI proofs
• Hybrid zero-knowledge from garbled circuits and circuit-based composition of \(\Sigma \)-protocols
• An introduction to the use of zk-SNARKs in blockchains
• Zero-knowledge proofs for set membership: efficient, succinct, modular
• Efficient zero-knowledge proof of algebraic and non-algebraic statements with applications to privacy preserving credentials

This page was built for publication: Non-interactive zero-knowledge proofs for composite statements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q776004)