Login / Signup
Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments.
Shravan Srinivasan
Alexander Chepurnoy
Charalampos Papamanthou
Alin Tomescu
Yupeng Zhang
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
vector space
formal proof
multiscale
theorem proving
database
information retrieval
artificial intelligence
similarity measure
multiresolution
probability distribution
multiagent systems
sparse matrix
formal proofs