Utreexo
Cryptology ePrint Archive: Report 2019/611 - Utreexo: A dynamic hash-based accumulator optimized for the Bitcoin UTXO set
utreexod
PoC repo
mit-dci/utreexo: accumulator for bitcoin utxo set
Beta released
bitcoindev Utreexod beta release - Calvin Kim
ELI5: Utreexo — A scaling solution | by Calvin Kim | Medium
Progress Towards Utreexo Goals | BitMEX Blog
Oleg AndreevさんはTwitterを使っています 「@SomsenRuben @adam3us @kcalvinalvinn Even if you use snarks just to go from root to root, you also need most of the data to track updates to your own utxos. If you don’t have any you don’t really need to run a node.」 / Twitter
kcalvinalvin/2024-05-01-bobspaces
しくみ
Full node は従来、すべての Block に対する UTXO を保持する
Fullnode validation の目的は、最新の UTXO を知ること = それが Bitcoin の現在の状態だから
そのためには、各 Block における UTXO の状態を Tx で更新していくしかない(同時に Tx が正しいか validate する)
UTXO の変化は Tx によってしか起きない
Utreexo は UTXO の hash tree を生成する
送金者は自分が消費する UTXO が最新の UTXO set に含まれていることを証明する必要がある
従来のフルノードは UTXO set を持っているので、それを自ら確認できた
送金者の UTXO と hash tree の path(markle proof) を示すことで、validator は markle root を生成し検証できる
Utreexo の markle root をもっているだけで、Full node と同じレベレの検証ができる
正しい markle root はどうやって手に入れる?
それに加えて、自分が関心がある=自分のUTXO を保持していれば ok
従来は、validator がすべての UTXO をもっているので、送金側が proove する必要はない
しかし UTXO は数GB のサイズがあるので full node の負担は大きい
このような full node を Compact State Node(CSN) と呼ぶ
誰が? Tadge Dryja?
leaf の順番大事だよね?
実際の IBD のプロセスがイメージできていない...
Progress Towards Utreexo Goals | BitMEX Blog で説明されている
Utreexo のある世界では、CSN は root だけをもち、クライアント(送金者) が tx と合わせて proof を CSN に渡す
CSN は UTXO の存在を、UTXO set を保持する事なく行えることになる
full node の一種として Compact State Node ができる?
full node はすべての tx を自分のデータだけで検証できる?
(16) MIT Bitcoin Expo 2019 - Utreexo: Reducing Bitcoin Nodes to 1 Kilobyte - YouTube by Tadge Dryja
【動画で学ぶブロックチェーン】ハッシュベースのアキュムレーター Utreexoの仕組み - 安土 茂亨氏 - GBEC - Blockchain を推進するエンジニアリングコミュニティ - #GBEC
Tadge Dryja on Scaling Bitcoin With Utreexo — What Bitcoin Did
Grey Mirror #1—Tadge Dryja, Digital Currency Initiative: uTreeXO and Bootstrapping Bitcoin Upgrades | by Rhys Lindmark | MIT Media Lab Digital Currency Initiative | Medium
Video: What Could Utreexo Mean For Bitcoin? – Bitcoin Magazine
Utreexo で IBD が早くなる理由
Light client のセキュリティが向上する?理由
いままでは、neutrino などで受け取った utxo を信用するしかなかった?
検証できる?
Compact State Node
markle proof を使って tx を検証するノード
従来の full node は少なくともすべての UTXOs を持つ必要があった
UTXOs を持っていないとリレーされてきた tx が正しいか検証できない
しかし、utreexo ではルートをもっていれば、proof と utxo が送られてくれば、自身の root に対して検証ができる
すべての proof をもっているわけではない
bridge node がすべての utxo に対する proof を保持する
Wallet はなにを管理する?
いままで通り自分の utxos
proof
proof はブロックごとに変わる可能性がある?絶対かわる?
いまはすべてのフルノードが utxos セット全体を保持
exchange がもつ大量の utxos もコストをかけてマネージしている
自分のだけ管理がいいよね
ZkVM はすでに似た概念を実装している?
ZkVM: a new design for fast, confidential smart contracts | by Oleg Andreev | Stellar Developers | Medium
ZeroSync も関係がある?
UTXO commitment との違いは?
Davidson-Souza/Floresta: A fully-validating Bitcoin node powered by Utreexo, with an integrated Electrum Server