Signatures of knowledge for Boolean circuits under standard assumptions
Work
Year: 2022
Type: article
Abstract: This paper constructs unbounded simulation sound proofs for boolean circuit satisfiability under standard assumptions with proof size O(n+d) bilinear group elements, where d is the depth and n is the ... more
Source: Theoretical Computer Science
Institutions IMEC, KU Leuven, École Normale Supérieure de Lyon, Institut national de recherche en informatique et en automatique, Université Claude Bernard Lyon 1 +3 more
Cites: 6
Cited by: 2
Related to: 10
FWCI: 0.289
Citation percentile (by year/subfield): 58.44
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,690