ethresear.ch と Delving Bitcoin の研究議論。
説明コスト上限付きトランザクションフィルタリング言語
要約著者はトランザクションフィルタリングのポリシー用DSLを設計し、Rustで実装されたビットコインフルノードsatdに組み込みました。ノード運用者は、コンセンサスの正しさに影響を与えずに、中継やブロックテンプレートへの取り込みを行うトランザクションの形を決められます。ルールは非チューリング完全で、該当トランザクションを拒否ではなく隔離（quarantine）し、ポリシーを可視化・調整しやすくしています。
説明機密UTXOステートマシン上での決定的BFTファイナリティの評価
要約著者は、C++でゼロから実装されたオープンソースのレイヤー1プロトコル「FinalisCore」の設計を紹介し、その状態遷移モデルについて議論を求めています。このプロトコルは32ブロックのエポックごとに、委員会の定足数が署名した時点でブロックが確定し、secp256k1-zkpによるPedersenコミットメントで取引の秘匿性を実現します。文中では、委員会の急速な交代時のメモリプール無効化と、範囲証明のバッチ検証の処理負荷という2つの課題が挙げられており、現在はすべて非商業のテストネットで運用されています。
