Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Charalampos (Babis) Papamanthou Profile picture
Charalampos (Babis) Papamanthou
@chbpap
faculty at @Yale | co-director of @YaleACL | chief scientist at @lagrangedev | researching and teaching cryptography and security
Aug 22, 2023 • 7 tweets • 2 min read
(1/7) Recproofs () is a Merkle tree with updatable batch proofs. Let me try to unpack this: One attractive feature of Merkle trees is their fast updatability—when a Merkle leaf changes, leaf proofs can be updated with log n hash computations.lagrange.dev/recproofs (2/7) This is however not true for Merkle batch proofs (A Merkle batch proof is a succinct proof for a set of Merkle leaves.) For one thing, we only know how to compute Merkle batch proofs with SNARKs. Updating such SNARK-based Merkle batch proofs requires re-computing the SNARK.