Btc-verified October Update: Connecting Map to Territory
説明btc-verified 10月の進捗：形式モデルと実際のBitcoin Coreの挙動の照合
要約btc-verifiedプロジェクトはLeanでビットコインの合意モデルを形式化しています。本稿では、libbitcoinkernelインターフェースを利用し、bitcoinfuzz方式の差分ファジングによって、トランザクションの解析、シリアライズ、一部のトランザクション単体の検証について、モデルとBitcoin Coreの挙動が一致するかを比較する手法を説明しています。現在、9つのカーネル関数がLean実装で支えられています。