ZeroSync
ZKP は、ある主張を成り立たせる情報自体を明かさずに、その主張を証明するプログラムである 主張を方程式で表現し、、、
「ある UTXO set が Bitcoin のコンセンサスルールに則って検証されたものである」という主張を、tx のデータなしに証明する
「ある Block header が Bitcoin のコンセンサスルールに則って検証されたものである」という主張を、tx のデータなしに証明する
We are validating the entire blockchain in a proof system.
Representing Bitcoin’s entire UTXO set in a chain state proof is intractable. Therefore we are using a UTXO set commitment instead.
A proof also cannot verify the longest chain rule as we cannot provably connect it to a peer-to-peer network.
The public inputs for every chain proof contain...
While the chain state proof allows us to skip the initial block download, with Utreexo blocks, we do not even have to download the UTXO set.
Light client 対応はまだ先
Servers do not require trust when they prove their responses with state proofs. However, it requires a different UTXO set commitment
Light client は、client が関心がある UTXOs の変化を知りたい
ある UTXO を unlock する tx が confirm されたか?
あるアドレスの UTXO が増えたか?
ZeroSync は、ある UTXOs が正しいものであることの proof を提供してくれる
neutrino であっても、関連するブロックデータはダウンロードする必要があった
いや、tx と makle proof で十分か?
block headers と filter は必要
例えば proof と tx さえあれば、残高の増加を確認できる。
filter と proof はどれくらいサイズが違う?
STARKs がどのように動作するか、基本的な理解が必要で、そのためには少し動かしてみるしかなさそう