ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
https://ZeroSync.org
A STARK proof of Bitcoin's header chain