{"date":"2026-10-10","takenAt":"2026-10-11T00:00:57.064Z","clusters":[{"id":"c825122fec","slug":"sp1-v690-tunes-gpu-prover-performance-fixes-bls12-c825122fec","headline":"SP1 v6.9.0 tunes GPU prover performance, fixes BLS12 and RIPEMD160 precompile conformance","explainer":"SP1's updated prover improves performance on GPU for constraint evaluation and brings its BLS12 and RIPEMD160 implementations into spec alignment, supporting Ethereum-based applications requiring these precompiles.","section":"protocol","links":[{"url":"https://github.com/succinctlabs/sp1/releases/tag/v6.9.0","title":"SP1 v6.9.0 tunes GPU prover performance and fixes spec conformance","sourceId":"sp1","sourceName":"SP1 releases","tier":1,"weight":2,"publishedAt":"2026-10-10T01:20:25.000Z","addedAt":"2026-10-10T01:30:51.619Z"}],"importance":2,"centrality":3,"keywords":["sp1","gpu-prover","bls12","ripemd160","precompile","performance","conformance"],"finance":false,"createdAt":"2026-10-10T01:30:51.619Z","updatedAt":"2026-10-10T01:30:51.619Z","model":"anthropic"},{"id":"618c1708f3","slug":"diamond-pau-combines-certora-halmos-and-foundry-for-618c1708f3","headline":"Diamond PAU combines Certora, Halmos, and Foundry for formal verification of complex contracts","explainer":"A formal assurance framework for smart contracts uses multiple proof and testing tools together to catch mutations and regressions in deployed bytecode.","section":"apps","links":[{"url":"https://forum.sky.money/t/diamond-pau-independent-formal-assurance-and-adversarial-verification-using-certora-prover-halmos-foundry/28300","title":"Diamond PAU: Independent Formal Assurance and Adversarial Verification using Certora Prover, Halmos, & Foundry","sourceId":"sky-forum","sourceName":"Sky Forum","tier":1,"weight":1.8,"publishedAt":"2026-10-10T05:05:15.281Z","addedAt":"2026-10-10T05:10:48.508Z"}],"importance":1,"centrality":3,"keywords":["formal-verification","certora","halmos","foundry","smart-contracts","security","testing"],"finance":false,"createdAt":"2026-10-10T05:10:48.508Z","updatedAt":"2026-10-10T05:10:48.508Z","model":"anthropic"},{"id":"7a657dc779","slug":"eip-8437-proof-object-transport-over-devp2p-proposed-7a657dc779","headline":"EIP-8437 Proof Object Transport over devp2p proposed","explainer":"This proposal defines how proof objects move between peers over the devp2p protocol.","section":"protocol","links":[{"url":"https://ethereum-magicians.org/t/eip-8437-proof-object-transport-over-devp2p/29934","title":"EIP-8437: Proof Object Transport over devp2p","sourceId":"ethmagicians","sourceName":"Ethereum Magicians","tier":2,"weight":1.2,"publishedAt":"2026-10-10T00:18:39.918Z","addedAt":"2026-10-10T00:40:47.410Z"}],"importance":1,"centrality":5,"keywords":["eip-8437","proof-object-transport","devp2p","post-quantum","light-client","protocol"],"finance":false,"createdAt":"2026-10-10T00:40:47.410Z","updatedAt":"2026-10-11T00:00:57.063Z","model":"anthropic","editHistory":[{"at":"2026-10-11T00:00:57.063Z","kind":"verify","before":"EIP-8437 Proof Object Transport over devp2p proposed for post-quantum light clients","after":"EIP-8437 Proof Object Transport over devp2p proposed","model":"anthropic"}]},{"id":"ae7530087d","slug":"acde-248-agenda-posted-for-october-22-glamsterdam-ae7530087d","headline":"ACDE #248 agenda posted for October 22, Glamsterdam and Hegotá updates","explainer":"Core developers will meet to coordinate on Glamsterdam and Hegotá updates.","section":"protocol","links":[{"url":"https://ethereum-magicians.org/t/all-core-devs-execution-acde-248-october-22-2026/29937","title":"All Core Devs - Execution (ACDE) #248, October 22, 2026","sourceId":"ethmagicians","sourceName":"Ethereum Magicians","tier":2,"weight":1.2,"publishedAt":"2026-10-10T09:18:40.895Z","addedAt":"2026-10-10T09:35:49.550Z"}],"importance":1,"centrality":5,"keywords":["acde","acde-248","glamsterdam","hegota","core-devs","october-22"],"finance":false,"createdAt":"2026-10-10T09:35:49.550Z","updatedAt":"2026-10-11T00:00:57.063Z","model":"anthropic","editHistory":[{"at":"2026-10-11T00:00:57.063Z","kind":"verify","before":"ACDE #248 agenda posted for October 22, Glamsterdam and Hegotá updates","after":"ACDE #248 agenda posted for October 22, Glamsterdam and Hegotá updates","model":"anthropic"}]}],"summary":"[protocol] Core developers set an October 22 agenda to coordinate updates to Glamsterdam and Hegotá.\n[protocol] New protocol work targeted proof data transport between peers and tuned SP1's GPU prover performance and precompile accuracy.\n[apps] A new Diamond PAU framework combined Certora, Halmos, and Foundry to formally verify complex smart contracts.","startBlock":26158301,"endBlock":26165481,"episodes":[{"id":"2cd6b9093a6b","kind":"podcast","url":"https://pscrb.fm/rss/p/episode.flightcast.com/01M4F5C2ZMR7V1J2DXVA9XTPAX.mp3","title":"Weekly Rollup, Oct 9: AI Threatens Crypto Security | Tom Lee Stops Buying ETH | Ethereum L2s Shut Down | Zcash ETFs","tier":2,"roundup":true,"sourceId":"pod-bankless-rollup","sourceName":"Bankless","publishedAt":"2026-10-09T10:30:00.000Z","ingestedAt":"2026-10-09T11:25:54.845Z","thumbnail":"https://files.flightcast.com/workspaces/vzyepv1wunc8uo4au6e1tld4/01M4F93YEE2R912PA4HHYNAJNJ/sq_-_bb_wru_10.9.jpg","thumbStyle":"frame3","durationSec":3402,"audioUrl":"https://pscrb.fm/rss/p/episode.flightcast.com/01M4F5C2ZMR7V1J2DXVA9XTPAX.mp3","links":["https://bankless.cc/spotify-premium","https://bankless.cc/near2026","https://thedefireport.io/bankless","https://www.bankless.com/premium","https://www.tradingview.com/symbols/TVC-US10Y","https://farside.co.uk/btc/","https://www.theblock.co/news/business/2026-10-07-robinhood-adds-25-million-bitcoin-balance-sheet-417890","https://www.nytimes.com/2026/10/06/science/openai-math-problems.html","https://www.analyticsinsight.net/news/grayscales-zcash-etf-reaches-usd-1b-as-zec-price-gains-lift-assets","https://www.theblock.co/news/markets/2026-10-06-winklevoss-files-spot-zcash-etf-wink-417826","https://www.fincen.gov/news/news-releases/fincen-announces-withdrawals-proposed-digital-asset-related-rules","https://www.bankless.com/disclosures"],"chapters":[{"at":0,"label":"Intro"},{"at":111,"label":"Yields, Oil & Bitcoin","links":["https://www.tradingview.com/symbols/TVC-US10Y","https://farside.co.uk/btc/","https://www.theblock.co/news/business/2026-10-07-robinhood-adds-25-million-bitcoin-balance-sheet-417890"]},{"at":572,"label":"Tom Lee Stops Buying ETH"},{"at":1146,"label":"AI Threatens Crypto Security","links":["https://www.nytimes.com/2026/10/06/science/openai-math-problems.html"]},{"at":1884,"label":"Cryptographers Push Back"},{"at":2220,"label":"Ethereum L2 Shutdowns"},{"at":2485,"label":"Zcash ETF Momentum","links":["https://www.analyticsinsight.net/news/grayscales-zcash-etf-reaches-usd-1b-as-zec-price-gains-lift-assets","https://www.theblock.co/news/markets/2026-10-06-winklevoss-files-spot-zcash-etf-wink-417826"]},{"at":2697,"label":"FinCEN Withdraws Wallet Rules","links":["https://www.fincen.gov/news/news-releases/fincen-announces-withdrawals-proposed-digital-asset-related-rules"]},{"at":3022,"label":"Token2049 Takeaways","links":["https://www.bankless.com/disclosures"]}],"excerpt":"Could AI break crypto before quantum does? Ryan and David unpack Justin Drake’s “bunker mode” warning, whether holders should move funds, Tom Lee’s decision to stop buying ETH, and the shutdown of two Ethereum L2s. --- 📣SPOTIFY PREMIUM RSS FEED | USE CODE: SPOTIFY24 https://bankless.cc/spotify-pre…","videoUrl":"https://www.youtube.com/watch?v=phN7QDeCM1k","views":9651,"likes":174,"statsAt":"2026-10-10T20:25:47.326Z","notesLinkedAt":"2026-10-09T11:25:55.390Z","linksRoutedAt":"2026-10-09T11:30:42.058Z"}]}