Login / Signup
Succinct Attribute-Based Signatures for Bounded-Size Circuits by Combining Algebraic and Arithmetic Proofs.
Yusuke Sakai
Published in:
SCN (2022)
Keyphrases
</>
higher order
real time
neural network
low cost
website
case study
data structure
query language
theorem proving
bounded treewidth