In briefA readable mirror of the bitcoin-dev mailing list covering 15 years of posts
SummaryThe author built a daily-refreshed, readable mirror of the bitcoin-dev mailing list archive. Compared with public-inbox, it offers one page per thread with folded quotes, stable Message-ID permalinks, and indexes by topic, BIP, and author, with messages kept verbatim and linked to their originals. The author asks for feedback on how author names are merged and how threads are matched.
In briefProof of One: an open polling design using encrypted ballots and passport-based identity, seeking critical review
SummaryThe author, maintainer of the open-source non-commercial project Proof of One, posts on the Ethereum Research forum a polling design aiming for one unique human per participant, unlinkable answers, voter-verifiable ballots and public recounting. Enrolment uses a passport chip with zero-knowledge proofs, and ballots use threshold ElGamal encryption. The author discloses that most of the design and code was drafted with AI agents and has not been independently reviewed, so critical feedback is requested.
In briefInventory of Post-Quantum P2P Migration Challenges in Ethereum's Consensus Layer
SummaryThis Ethereum Research forum post takes stock of the challenges facing post-quantum migration for consensus-layer peer-to-peer networking, including Discovery v5, ENR, libp2p, and QUIC/TLS 1.3. It argues that replacing validator BLS signatures alone does not update networking identities or handshakes. The post notes structural limits such as the 300-byte ENR and 1,280-byte Discovery packet size. It maps the required changes without selecting an algorithm, encoding, or activation schedule.
In briefLean verification of EIP-7002: guaranteed system-call success and FIFO withdrawal requests
SummaryThis ethresear.ch post reports Lean 4 proofs about the deployed bytecode of EIP-7002, the execution-layer contract for validator exits and partial withdrawals. The proofs show the end-of-block system call always succeeds regardless of storage, using at most 210,000 gas. They also show requests are emitted exactly in arrival order. The results are stated against the Jaune EVM semantics and cover the Prague, Osaka, BPO1 and BPO2 forks.
In briefProposal for cost-backed Sybil resistance in self-issued identifiers
SummaryThis Delving Bitcoin discussion proposes a construction that makes bulk production of self-issued identifiers costly by requiring a memory-intensive process over a 256 MiB terrain, bound to consecutive Bitcoin headers. The produced object records this evidence, and an independent verifier can measure it against the specification and recompute a random sample of six legs. The author notes that whether the construction imposes a meaningful marginal physical cost under adversarial conditions remains an open question and invites critical review.
