Stacked garbling for disjunctive zero-knowledge proofs
type: Item
instance of: scholarly article
title: Stacked garbling for disjunctive zero-knowledge proofs
DOI: 10.1007/978-3-030-45727-3_19
author: Vladimir Kolesnikov
author: David G. Heath
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 7436957
zbMATH Keywords: garbled circuits
zbMATH Keywords: inactive branch elimination
zbMATH Keywords: ZK
zbMATH Keywords: proof of C bugs
MaRDI profile type: Publication
full work available at URL: 978-3-030-45727-3 19
OpenAlex ID: W3012999251
cites work: More Efficient Oblivious Transfer Extensions with Security for Malicious Adversaries
cites work: Scalable zero knowledge with no trusted setup
cites work: SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
cites work: Aurora: transparent succinct arguments for R1CS
cites work: Q4318711
cites work: Q4940695
cites work: Q4231909
cites work: Improved OR-Composition of Sigma-Protocols
cites work: Q4230367
cites work: Privacy-Free Garbled Circuits with Applications to Efficient Zero-Knowledge
cites work: Quadratic Span Programs and Succinct NIZKs without PCPs
cites work: One-Out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin
cites work: The knowledge complexity of interactive proof-systems
cites work: Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
cites work: On the Size of Pairing-Based Non-interactive Arguments
cites work: Q3549593
cites work: Free IF: how to omit inactive branches and implement \(\mathcal{S}\)-universal garbled circuit (almost) for free
cites work: Improved Garbled Circuit: Free XOR Gates and Applications
cites work: How to Garble RAM Programs?
cites work: Efficient Generic Zero-Knowledge Proofs from Commitments (Extended Abstract)
cites work: Q3210171
cites work: Libra: succinct zero-knowledge proofs with optimal prover computation
cites work: Two Halves Make a Whole
description: scientific article; zbMATH DE number 7436957