BTC Warp is a proof-of-concept on how to solve the light node syncing problem for Bitcoin. It suggests verifying zkSNARKs attesting to the longest valid PoW chain instead of syncing a light node with Bitcoin history.
"Our zkSNARK circuits leverage Plonky2’s recursive proving capabilities. To parallelize proving, we create a “proof tree” with dummy proofs as placeholders for future block headers. Our construction can apply for future Bitcoin blocks without re-syncing!"
"Concretely, each layer in the tree proves a state transition of block headers. As more blocks are produced, we can update our proof to validate the newest headers."
"The infra is also simple: we use the Nakamoto BTC light client to get headers and AWS to generate + serve proofs."
"Future work includes further optimizing our SHA256 gadgets, supporting circuit serialization to reduce repeated computation, and implementing gadgets to verify Bitcoin transactions. We can also improve our infrastructure to further parallelize proof generation."
"We’re looking for a small group of early partners and would love to chat" - please reach out here. "You can follow us on Twitter and email us at firstname.lastname@example.org."