RSS Feed · COMMUNITY
RFC proposes WARCoin, a stablecoin design using 7-day color ring buffers and burn-on-egress invariants to prevent mint bugs and contagion.
Research comparing one-dimensional vs. multi-dimensional fee mechanisms on Ethereum, analyzing equilibrium and dynamic simulation of EIP-7999 multidimensional fee market design.
Open-source framework for analyzing blockchain decentralization across multiple independent dimensions beyond the Nakamoto coefficient, covering node, validator, and stake concentration.
Seam contract on Base verifies Zcash block headers using EIP-152 BLAKE2b precompile, enabling trustless cross-chain verification of Zcash consensus rules at ~626k gas per header.
Opinion piece proposing elastic capacity design for Ethereum that dynamically adapts block intervals, gas limits, and size limits based on measured resource pressure instead of fixed configuration.
Conceptual hardware framework (LATTICE-NOTATION) proposing hybrid lattice-based HSM design for post-quantum signature migration in blockchain networks, addressing bandwidth constraints.
Negative results paper: folding-based verification of post-quantum signatures in leanVM did not outperform full recursion; hash-based accumulation needs 450x more constraints than direct leanVM verification.
Machine-checked GKR soundness proof in Isabelle/HOL with sparse Merkle prover; first formalized soundness bound for GKR on layered circuits with partial Rust code refinement.
Nethermind benchmarks EIP-8141 mempool DoS risk: MAX_VERIFY_GAS cap of 100k is too low for Groth16 privacy or PQC signatures; raising cap risks CPU exhaustion attacks on block processing.
Nethermind tested BN254 Groth16 shielded pool on frame transactions: 679k gas per withdrawal, but proof verification exceeds EIP-8141 validation gas cap and pools cannot pay for user-initiated calls.
Walraswap: equilibrium-based DEX design integrating external AMM liquidity via batch settlement fairness criterion to mitigate MEV, advancing on CoW Swap and UniswapX approaches.
A growing class of protocols needs to persist one tiny fact per event, forever: this nullifier is spent, this nonce is used, this session share is settled. Privacy pools write a nullifier per withdrawal. Unordered nonce schemes (Permit2’s nonceBitmap, EIP-4337-style…
tl;dr Open-bidding with random deadline (candle auctions) and few auction participants can lead to higher bidder profits than sealed-bid auctions. This is already true in a one-shot auction without explicit coordination or collusion. For the Ethereum builder-market…
Summary Rollups scaled by moving execution off the L1, but the authentication part of every transaction still goes to the L1. That makes data the likely bottleneck for L2 scaling in the PQ era, even with more blobs. PQ signatures are far larger than ECDSA, so if every L2 user…
Most key-compromise defenses today (smart wallets, ERC-7579 modules, social recovery, EIP-7702 delegation) enforce policy in the account’s code. ERC-8403 continues this: spend limits and unlock times are authorities committed under the account’s root. I’d like to probe a…
Abstract PropAMMs are on-chain venues whose prices are set by a single maker. The maker Three of the registry venues accept maker state only if it is stamped with Takers pay about 0.45 bp at the fill, on every one of the 30 days. Over the Of fills after a CEX move of more than…
Description: A canonical, content-addressed structure that any independent party (wallet, hardware device, second machine, third-party verifier) can produce and re-verify from the exact same VerificationPayload + state snapshot. It turns simulation from a trusted frontend…
Digital signatures control who can spend funds, issue commands and authorize requests. Widely used schemes rely on factoring or discrete logarithms, assumptions threatened by Shor’s quantum algorithm. The post-quantum transition therefore reaches the mechanism used to establish…
description: Short-lived, purpose-limited, revocable authorization tokens (EIP-712 typed data or ERC-1271-compatible) that grant only specific actions (e.g. upgrade implementation to 0x…transfer X of token Y to Z install module with permissions P). They eliminate ambient…
A standard interface and workflow for verifiable, human-readable transaction simulation, scoped authorization, and independent verification of signing payloads for EOAs, smart accounts, and multisigs. author: @MATOBOYCRYPTO65 discussions-to: (ERC Draft), Secure Transaction…
Ephemeral Rollup: The New “L1.5” of Ethereum TLDR; Ethereum’s core job has always been verifying state transitions. While rollups made that verification succinct, they at the same time hold their users’ state, which is why every rollup needs an exit. Native account abstraction…
Hi all, I am Nemo Unus, the pseudonymous maintainer of Proof of One. It is an open-source, non-commercial design for polls with four properties: Every participant is a unique human. Nobody, including operators, can link answers to people. Every voter can verify their own…
Author: @adust09 from Nyx Foundation Abstract In this post, we will take stock of the challenges facing PQ P2P in the consensus layer. Ethereum consensus-layer networking has no adopted post-quantum migration profile. Replacing validator BLS signatures with leanXMSS does not…
Since Prague, execution-layer requests for validator exits and partial withdrawals go through a 504-byte contract at 0x00000961Ef480Eb55e80D19ad83579A64c007002, hand-written for the geas assembler. At the end of every block the protocol makes a system call to it, and that call…
(topic deleted by author) 1 post - 1 participant Read full topic
Disclosure: I’m the founder of bb84, the payments app that runs on this chain. Feedback, especially critical feedback, is very welcome. TL;DR We run an OP Stack rollup on Ethereum mainnet (chain ID 42069000, live since 2026-09-30) where L2 transactions carry no signatures at…
EIP-8288 proposes recursive aggregation under a fixed protocol-level verification key. One backend choice worth exploring is whether recursive steps should support several approved proof sizes, so that small aggregates can use a smaller proving relation. I implemented this kind…
Hi all, Thanks to @aelowsson @julian @b-wagn @GottfriedHerold, since this builds directly on LUCID, the criticism thread and the ticket-first threshold IBE design. Also a kind request for review on this work. I’ve been wondering how much the “free option” in encrypted mempools…
This post follows Informed Diffusion: making home builders publish fast (2026). Author: @cskiraly Update, 29 October 2026: this post stays as published. Its text is kept current, with the latest results, on notes.ethereum.org, and each version, with its data and scripts, at…
In collaboration with @winderica TLDR: we port Tornado Cash to Flock, a post-quantum binary-field SNARK, proving a depth-32 withdrawal over SHA-256 in under 30 ms, and describe a simple recovery protocol, requiring only that wallets derive note secrets from a seed, that lets…