Ethereum client verification and ERC work

Ethereum research forums focused on formal verification for clients plus refinements to several ERCs and EIPs. Parallel threads examined proprietary AMM designs and responsible disclosure norms.

Formal verification for Ethereum clients

Ethereum researchers on ethresear.ch discussed requiring formal verification of execution and consensus client changes for future hard forks. Participants reviewed ongoing projects that formalize protocol specifications. Verified clients would matter for reducing consensus risk as the network continues to change.

ERC-721 burn record extension

A proposal on ethereum-magicians.org adds a burnedBy getter to ERC-721 so contracts can query a token burner without log access. Four participants debated the change across twelve messages. NFT contract authors gain a direct on-chain way to account for burned assets.

Map of agent-mandate ERCs

A thread on ethereum-magicians.org maps distinctions among ERCs that address agent mandates and delegation. Six participants clarified enforcement mechanics and wallet user experience. Builders receive a clearer guide for selecting standards that govern delegated agent actions.

EIP-7979 subroutine opcode refinements

Discussion of EIP-7979 on ethereum-magicians.org refined call and return opcodes for the EVM and their interaction with EIP-8337 validation. Four participants examined effects on static analysis and Solidity output. Stronger subroutine support would improve tooling and contract safety on the EVM.

Proprietary AMMs on Ethereum

A research post on ethresear.ch examined Solana PropAMM oracle-update design and the challenges of adapting it to Ethereum longer slots and base-fee model. Eight participants contributed thirteen messages. The analysis shows whether proprietary automated market maker techniques can move across chains with different timing assumptions.

ERC-8274 AI inference encoding

A small group on ethereum-magicians.org refined instanceId and chainId encoding details for ERC-8274 AI inference proof verification. Five participants exchanged forty-one messages. Precise encoding supports interoperable on-chain checks of off-chain AI results.

Responsible disclosure after Liquid exploit

A single post on delvingbitcoin.org questioned the ethics of self-granted bounties after an exploit of a Liquid vulnerability and called for clearer responsible-disclosure norms. The author framed the issue as a matter of care in white-hat practice. Security researchers following Bitcoin sidechains gain a prompt to examine disclosure expectations.