Stacked Garbling for Disjunctive Zero-Knowledge Proofs
David Heath, Vladimir Kolesnikov
Topics & Concepts
Computer scienceMathematical proofBoolean circuitDiscrete mathematicsTheoretical computer scienceScheme (mathematics)Zero-knowledge proofAlgorithmBoolean functionMathematicsCryptographyMathematical analysisGeometryCryptography and Data SecuritySecurity and Verification in ComputingComplexity and Algorithms in Graphs