Bitcoin Optech ニュースレター #430
ルーター配下のホームノードを到達可能にするTCP hole punchingについて、議論が続いている。covenantsのエミュレーションで共同署名者が強制する支出ポリシーを標準化するBIP草案も取り上げた。
Bitcoin Optech
ビットコインとライトニングの開発を扱う、エンジニア向けの週刊技術ニュースレター。
17件の記事
ルーター配下のホームノードを到達可能にするTCP hole punchingについて、議論が続いている。covenantsのエミュレーションで共同署名者が強制する支出ポリシーを標準化するBIP草案も取り上げた。
Bitcoin Optech
Optechの#429振り返り回にGreg Sanders、Antoine Poinsot、Elias Rohrer、Oleksandr Kurbatov、Nishant Bansalの各氏が出演した。番組はBitcoin Coreの#36665、#36667、#36669から始まり、改定されたセキュリティポリシーへと進む。後半ではマルチパーティのサイレントペイメント、Core LightningのDoS脆弱性の開示、Eclair 0.14.6を取り上げる。文字起こしはまだ公開されていない。
Bitcoin Optech
両端に同じノードを指定したチャネルアナウンスを送りつけると、Core Lightning 25.02〜26.04は再起動のたびにクラッシュする恐れがあった。攻撃者の負担はオンチェーン手数料だけで、修正は26.04.1に入った。ニュースレター#429はこの開示のほか、Oleksandr Kurbatov氏によるサイレントペイメントのマルチパーティ入力プロトコルと、見つけやすいバグに対するBitcoin Coreのポイントリリース迅速化を取り上げている。
Bitcoin Optech
シングルイシュアー型レイヤー2「Lichen」を、開発者のAdam Gibson氏が#428の振り返り回で解説した。BitVMで検証する一方的な退出を備える。João Dias氏とVincenzo Palazzo氏も出演し、進行役はGustavo Flores Echaiz氏とBrandon Black氏。ハッシュのプリイメージ向けディスクリプタ構文、rbitcoin 0.8.0、LND v0.21.5-beta.rc1の話題も出た。
Bitcoin Optech
Adam Gibson氏の設計「Lichen」では、ハブが拒否したりオフラインになったりしても、シングルイシュアー型レイヤー2の利用者はビットコインをオンチェーンで引き出せる。紛争の解決にはGroth16証明と事前署名済みのBitVMXトランザクションを使う。ニュースレター#428のもう1本はJoão Dias氏によるminiscriptハッシュフラグメントのプライベートなプリイメージ形式の提案で、ソフトウェア更新ではIbis Wallet v5.0-betaとrbitcoin 0.8.0が載っている。
Bitcoin Optech
Eclairのチャネル開設ハンドシェイクで見つかったメモリバグ2件を、#427の振り返り回でErick Cestari氏が説明した。1件はMatt Morehouse氏のファザーが、もう1件はLLMが捉えたものだ。続いてAdam Gibson氏が、Lightningチャネル内でチェスを指す例を挙げてLN-GAPを紹介する。番組後半ではBitcoin Core 32.0rc4とEclairの一連の修正に触れる。
Bitcoin Optech
Eclair v0.14.0以前はチャネル開設中にメモリを使い果たす恐れがあった。一方のバグは毎秒約1 MBをリークし、もう一方はオンチェーン費用なしで、接続1本から約48分で4 GBを消費する。どちらもv0.14.1で修正済み。ニュースレター#427はこれと並べて、Adam Gibson氏によるLN-GAPを紹介している。Lightningチャネル内で複数ラウンドのコントラクトを実行する仕組みで、正直な多数派からなるコミッティーを前提とする。
Bitcoin Optech
送信者、受信者、金額を公開せずにビットコインを動かす提案「Shielded Bitcoin」で、#426の振り返り回は幕を開ける。共著者のClara Shikhelman氏によれば、コンセンサス変更もオペレーターも要らない。続いてSpiralのElias Rohrer氏がLDK v0.3-rc3とv0.2.7のリリース、LDKのコード変更を取り上げた。司会はGustavo Flores Echaiz氏。
Bitcoin Optech
Misha Komarov氏がClara Shikhelman氏、Aleksei Moskvin氏と提案したShielded Bitcoinは、オンチェーン送金を秘匿するメタプロトコルだ。コンセンサス変更は不要だが、1回限りのセットアップセレモニーが必要で、出入りの際には痕跡が残る。Anthony Towns氏はBIP324トランスポート上でピア同士が1バイトのメッセージIDを自由に決められるBIPを起草し、Fabian Jahr氏はタグ付きハッシュのタグにBIP番号を含めるべきかを問うている。
Bitcoin Optech
最大長のメッセージ1通の処理で、Eclairの機能ビットパーサーは300 MB超を確保していた。#425の振り返り回でMatt Morehouse氏が語ったもので、修正後は約200 KBに収まる。Gustavo Flores Echaiz氏とBrandon Black氏の話題はさらに、ウォレットラベルの同期、PQC出力タイプ、BIP54のタイムワープ上限、ボールト向けコベナンツ提案へと広がった。
Bitcoin Optech
Eclair v0.13.1以前では64 kBのゴシップクエリが64 MBに膨らみ、最大長のinitメッセージでも約300 MBが消費された。Matt Morehouse氏が開示したこの2件のDoSバグはv0.14.0で修正された。Jakub氏は信頼できないストアを介してBIP329ウォレットラベルを同期する案への関心を探っており、ニュースレター#425のコンセンサス欄はポスト量子の出力タイプを再び取り上げている。
Bitcoin Optech
Lightningのオフチェーン部分に耐量子セキュリティをもたらすPQLNを、Optechの番組冒頭の事前収録パートでAhmet Kurt氏が解説した。ライブパートには、PRレビューやkernelコードに取り組むBitcoin Core貢献者のJan B氏がGustavo Flores Echaiz氏、Mike Schmidt氏とともに登場し、Bitcoin Core 32.0rc2とそのテストガイドを取り上げる。
Bitcoin Optech
Ahmet Kurt氏らのPQLNは、Lightningのゴシップ、トランスポート、インボイス、offers、オニオンを耐量子化する。オンチェーン操作はコンセンサス変更が必要なため対象外。代償は帯域で、ノードのダウンロード量は10倍、保存量は9倍に増えるが、ML-DSA署名は0.33 msで済む。rust-lightningによる動作実装をすでにテストできる。
Bitcoin Optech
ノードが通常約11 GBのUTXOセットを保持するところ、Utreexoのアキュムレータは1 kB未満で済む。#423の振り返り回でDavidson Souza氏が説明した。代わりに帯域は増える。MARAのEric Price氏とPortlandHODL氏も出演し、速度の落ちたマイナーを置き去りにするvardiffコントローラーや、使用不能な内部鍵のBIP草案が話題に上る。
Bitcoin Optech
速度の落ちたマイナーが、以前の速度に合わせたシェア難易度のまま取り残されることがある。Eric Price氏がDelving Bitcoinでそう指摘し、一定時間シェアがなければ難易度を下げるタイマーを提案した。Davidson Souza氏はSwiftSyncのヒントファイルで初期ブロックダウンロード中のUtreexo削除証明をなくす構想を示し、NTL氏は使用不能なTaproot内部鍵のBIPを起草した。
Bitcoin Optech
秘密の賭けに偽装したコインジョインプロトコル「Babilonia」について、Adam Gibson氏がOptech進行役のMark Erhardt氏、Mike Schmidt氏に説明した。確率的支払いの古いルーツとして、宝くじ方式のマイクロペイメントを論じた1997年のRon Rivest氏の論文も挙げている。続いてRob Segers氏がサイレントペイメント軽量クライアントの計測結果を語る。
Bitcoin Optech
コインジョインを、外からは普通の支払いに見えるオンチェーンのコイントスに偽装する。Adam Gibson氏の提案Babiloniaはそんなプロトコルだが、有効性を測る明確な尺度はまだないと本人の論文も認めている。Rob Segers氏のベンチマークによると、BlindBit Oracle v2のダウンロード量はTaproot専用フィルターとtweakデータの約2.1xで、その代わり誤検出がない。LDK v0.2.6ではDoS脆弱性を修正した。
Bitcoin Optech