ethresear.ch と Delving Bitcoin の研究議論。
説明bitcoin-dev メーリングリストを読みやすくしたミラー：15年、24,699通
要約bitcoin-dev メーリングリストのアーカイブを毎日更新される読みやすいミラーとして公開しました。public-inbox と比べ、スレッドごとのページ、引用の折りたたみ、Message-ID による固定パーマリンク、話題・BIP・投稿者別の3種類の索引を提供します。メッセージ本文は原文のままで、各メッセージは元のアーカイブへのリンクがあります。作者名の統合方法とスレッドの紐付けについて意見を求めています。
説明Proof of One：暗号化投票用紙による「一人一身分」投票の設計と参考コード、厳格なレビューを求める
要約オープンソースの非営利プロジェクト Proof of One の維持者が、イーサリアム研究フォーラムに投稿した投票設計です。参加者は全員が実在の一人であり、運営者を含め誰も回答を個人と結び付けられず、各投票者は自分の投票記録を検証でき、公開データから誰でも再集計できることを目指しています。登録ではパスポートのICチップと零知識証明を使い、投票にはしきい値ElGamal暗号を用います。作者は、現在の設計と コードの大部分がAIエージェントの支援で作成され、独立した人間によるレビューはまだ受けていないと明記し、批判的な意見を求めています。
説明コンセンサス層P2Pのポスト量子移行に関する棚卸し
要約この Ethereum Research フォーラムの投稿は、コンセンサス層のP2Pネットワーク（Discovery v5、ENR、libp2p、QUIC/TLS 1.3）がポスト量子移行で直面する課題を整理しています。バリデーターのBLS署名を置き換えるだけでは、ネットワーク上のIDやハンドシェイクは更新されないと指摘しています。ENRは300バイト、Discoveryパケットは1,280バイトという構造上の制約もあります。アルゴリズム、エンコーディング、導入時期は選定されていません。
説明EIP-7002のLean形式検証：システムコールの成功と先入れ先出しのリクエスト
要約このイーサリアム研究フォーラムの投稿は、EIP-7002の展開済みバイトコードについて二つの性質をLean 4で証明したと述べています。システムコールはストレージの状態によらず成功し、消費ガスは210,000以下です。また、バリデータ退出と部分引き出しのリクエストは提出された順序どおりに出力されます。証明はJauneの実行意味論に基づき、Prague、Osaka、BPO1、BPO2の各フォークを対象としています。
説明自己発行型識別子向けのコストに基づくシビル攻撃耐性の提案
要約この議論は、自己発行型識別子の大量生成に実際の資源コストを課す構成を提案しています。生成者は256 MiBのメモリ領域で、連続するビットコインブロックヘッダーに結び付けられたメモリ依存の処理を実行し、その証拠を対象に記録します。独立した検証者は仕様に照らして測定し、6つの処理区間を無作為に再計算します。敵対的条件下で意味のある限界コストが生じるかは未解決であり、批判的なレビューが求められています。
