Ethereum Research

These two discussed attack scenarios are reasonable and also intuitive for LMD-GHOST, but the mainnet proposers simply won't do so. Current mainnet block proposers are already enforcing the first strategy, which is to delay the block broadcast time. But t

@Vbuterin, Hyperloop Finance is a non-liquidative lending protocol with option attribution, currently in development for BTC-collateralized credit on EVM. We arrived at the identical algebraic identity independently, through a different application-layer

Re: Lenientic Pro / Lenientic Res - AI dispute settlement Thank you for this, Kadir. As a practitioner building an agent-arbitration layer on-chain, I find your diagnosis sharp, and I'd like to build on it rather than contest it. You identified the right

Justin Drake has a time machine? I started this work in March and Binius has been in the public Parano1d repo since May 1, long before that tweet. Strong chronology game, bro

TLDR: We present BTCP (Behavioral Transaction Continuity Protocol), a cross-chain mechanism where assets never leave their native chains. Instead of locking assets in bridge contracts and minting wrapped tokens, BTCP verifies that the same entity controls

Thanks for the detailed write-up! I'm trying to sanity-check my understanding of how EIP-8363 (which seems to implement essentially the penalty regime you proposed here) impacts opportunities for minority discouragement attacks, which you do touch on here

Nice write-up. One thing worth pulling apart in the revocation section: implicit revocation by leaf exhaustion cleanly handles a key reaching end of life, but it doesn't cover compromise. An XMSS key that is compromised while it still has unused leaves ke

by Fei Wu - This work was conducted during my internship at the EF. I thank my mentor @misilva73 for valuable discussions, feedback, and comments. Overview EIP-7928 specifies Block-Level Access Lists (BALs) for Glamsterdam, where BALs remain oustide fee a

Formally Verified Security for PQ-DAS Thanks to Alex Hicks for feedback and discussion. The post and a detailed security proof outline was written by the human author, the translation to Lean was done with massive help of AI. Disclaimer. The lean code her

Hi, thank you for sharing this interesting proposal. I'm currently studying Protocol 2, the Explicit AKE with X-Wing, and I have two questions regarding the bandwidth calculation in Fig. 6. First, for the auth message, the figure includes the initiator lo