>unless there's a way to incrementally build them

I got the impression that these guys seem to think there is a way?

ZeroSync & Blockstream Satellite: ZKPs to Scale Bitcoin Node Running - Blockstream Talk #22:

https://youtu.be/Ia-mH6XuFcA



This is just a demo that verifies block header chains, but I think the goal is to do what would normally require [IBD](https://river.com/learn/terms/i/initial-block-download-ibd/) in a STARK proof.

If you're talking about serving these STARK proofs, I'd imagine it would require recreating them with each new block unless there's a way to incrementally build them.

k00b

if it's chain state, does that mean it has to be redone with each new block ?



02ad8239c2

BitcoinIsTheFuture

This is awesome.  Cant wait to run core on an old android phone due to this achievement 😀