{"date":"2026-09-06","takenAt":"2026-09-07T00:00:51.067Z","clusters":[{"id":"a1189c2cf2","slug":"formal-verification-scope-expands-from-contracts-to-erc-a1189c2cf2","headline":"Formal verification scope expands from contracts to ERC standard implementations","explainer":"Ethereum researchers explore whether formal verification can validate entire ERC standards as executable specifications, not just individual deployed contracts.","section":"protocol","links":[{"url":"https://ethresear.ch/t/can-we-verify-an-erc-not-just-its-code/25926","title":"Can We Verify an ERC, Not Just Its Code?","sourceId":"ethresearch","sourceName":"ethresear.ch","tier":1,"weight":2.5,"publishedAt":"2026-09-06T07:01:04.367Z","addedAt":"2026-09-06T07:05:49.300Z"}],"importance":2,"centrality":4,"keywords":["formal-verification","erc","standards","abi","implementation","contracts","specification"],"createdAt":"2026-09-06T07:05:49.300Z","updatedAt":"2026-09-06T07:05:49.300Z","posted":{"farcaster":"2026-09-06T11:10:53.472Z","farcasterHash":"0x1ab0fcc2d9c31199fc8b36dad3a3f963eea29fa1"}},{"id":"79f59850e6","slug":"rpc-standards-34-agenda-posted-for-september-7-79f59850e6","headline":"RPC Standards #34 agenda posted for September 7, Amsterdam test chain and eth_simulateV1 updates","explainer":"Execution layer RPC specification work continues with test infrastructure updates and simulation API refinement ahead of the Glamsterdam fork.","section":"protocol","links":[{"url":"https://ethereum-magicians.org/t/rpc-standards-34-september-7th-2026/29605","title":"RPC Standards # 34, September 7th, 2026","sourceId":"ethmagicians","sourceName":"Ethereum Magicians","tier":1,"weight":2,"publishedAt":"2026-09-06T19:58:31.964Z","addedAt":"2026-09-06T20:00:50.589Z"}],"importance":1,"centrality":3,"keywords":["rpc","standards","amsterdam","eth_simulateV1","execution-api","testing","specification"],"createdAt":"2026-09-06T20:00:50.589Z","updatedAt":"2026-09-06T20:00:50.589Z","posted":{"farcaster":"2026-09-06T20:00:53.149Z","farcasterHash":"0x62c37e1cf3e906ac71c369f6a42541f6764ecdfa"}}],"summary":"[protocol] Researchers pushed formal verification beyond single contracts toward validating whole ERC token standards as specs.\n[protocol] RPC Standards work kept prepping test tools and simulation APIs ahead of the Glamsterdam upgrade.","startBlock":25914575,"endBlock":25921753,"episodes":[{"id":"8f3b0b80e9b7","kind":"video","url":"https://www.youtube.com/watch?v=utrfjTtbY_M","title":"Inside BNY Mellon's 400-Person Agentic Commerce Demo Day","tier":2,"section":"world","sourceId":"yt-unchained","sourceName":"Unchained","publishedAt":"2026-09-06T20:00:13.000Z","ingestedAt":"2026-09-06T20:20:52.586Z","thumbnail":"https://i2.ytimg.com/vi/utrfjTtbY_M/hqdefault.jpg","durationSec":66,"links":["https://unchainedcrypto.com/","https://unchainedcrypto.beehiiv.com/subscribe/","https://feeds.megaphone.fm/LSHML4761942757"],"excerpt":"Almost 400 BNY Mellon employees just watched an internal demo day on AI agents making payments. 🏦 According to Rodrigo Coelho of Edge & Node, enterprise interest in agentic commerce is moving fast. _______________________________________________________ #bitcoin #ethereum #crypto #cryptocurrencies…","views":233,"likes":0,"statsAt":"2026-09-07T00:00:51.058Z","notesLinkedAt":"2026-09-06T20:20:53.206Z","linksRoutedAt":"2026-09-06T20:25:41.623Z"}]}