Login / Signup
Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments.
Shravan Srinivasan
Alexander Chepurnoy
Charalampos Papamanthou
Alin Tomescu
Yupeng Zhang
Published in:
USENIX Security Symposium (2022)
Keyphrases
</>
feature vectors
multiagent systems
vector space
theorem prover
formal proof
information retrieval
theorem proving
formal proofs
real time
databases
website
image sequences
decision procedures
sparse matrix