Login / Signup
Reckle Trees: Updatable Merkle Batch Proofs with Applications.
Charalampos Papamanthou
Shravan Srinivasan
Nicolas Gailly
Ismael Hishon-Rezaizadeh
Andrus Salumets
Stjepan Golemac
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
decision trees
theorem proving
real time
tree structure
theorem prover
tree structures
data sets
machine learning
association rules
batch size
binary trees
binary tree
batch mode
formal proofs
interactive theorem proving