Top crypto stories of week 28, 2026
Mon 6 to Sun 12 July 2026
The 20 top stories on Kiwi News from Mon 6 to Sun 12 July 2026, ranked by upvotes, comments and clicks, with 8 comments in total. Most-shared sources: x.com, firefly.social.
Text under a title is an AI summary of the linked article.
- The triage is the product: running AI agents against Ethereum's protocol code (blog.ethereum.org)
The Ethereum Foundation's Protocol Security team argues that the main product of running coordinated AI agents against protocol code is the triage that separates real bugs from plausible-looking ones, not the candidate generation itself. The team reports that its agents found a remotely-triggerable panic in libp2p's gossipsub, fixed and disclosed as CVE-2026-34219. The article's central rule is that a candidate counts as a finding only when a self-contained reproducer runs against the real code for someone who did not write it. It also says the team will not publish its own acceptance numbers, since those would reflect the target more than the method.
- @donnoh_eth: releasing zkpassport.gwei subdomains gated by @ZKPassport (x.com)
- Website that’s live for 60 minutes unless you claim it. Cloudflare Drop (x.com)
- @NXT4EU: Chat Control is back, EPP Group pushing mass-surveillance system (x.com)
- Sunsetting Zapper (x.com)
Zapper, a DeFi portfolio and transaction app, is winding down, with its services shutting down completely on August 3rd. Co-founder and CEO Seb Audet announced the decision after close to 7 years of building the product, which began as a portfolio tracker he built for himself. At its peak, Zapper served more than 2 million monthly active users and processed more than $13B in transaction volume. The shutdown covers zapper(.)xyz, the mobile apps and the API services, and existing API users will receive an email to help with the transition. Audet also said the team is looking for its next challenge and invited hiring inquiries.
- @austingriffith: AI smart contract security review for 1 USDC on ERC-8004 (x.com)
- @visegrad24: European Parliament passes Chat Control 1.0 (x.com)
According to @visegrad24, the European Parliament has passed Chat Control 1.0, a law that would allow big tech companies to voluntarily scan all private messages. A proposal to stop the law needed an absolute majority of 361 votes but received only 314. The vote was held on the last day before summer recess, when many MEPs had returned to their home countries and did not take part. Chat Control 2.0, which would make scanning of private messages mandatory, is still being prepared.
- A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report (arxiv.org)
A pipeline combining Rust-to-Lean extraction, formal cryptographic specifications, and AI provers produces machine-checked Lean 4 proofs of production Rust cryptographic code, according to a May 2026 report by Juan Conejero and Palina Tolmach. Within the Ethereum Foundation's zkEVM Verification Project, it was applied to eight targets in Plonky3 and RISC Zero, including FRI folding and Merkle inclusion verification. Aleph from Logical Intelligence closed two bounds theorems in Plonky3's compute_log_arity_for_round that had previously been left as sorry. The Lean kernel checks every proof, and the report lists Lean 4 toolchain drift and Aeneas and Hax extraction limits as remaining gaps.
- Exit Chat Control · Become Ungovernable (exitchatcontrol.org)
The EU's "Chat Control" proposals would amount to mass surveillance of private messages, and encrypted tools are presented as the main defence. The interim scanning rules were reinstated on 23 July 2026 until 3 April 2028 and exclude end-to-end encrypted messengers such as Signal. The permanent proposal, first put forward by Ylva Johansson in May 2022, has no final text after a trilogue ended without agreement on 29 September 2026. Citing Irish police figures, the piece says only about 20% of automated reports were actual material, and over 11% were false positives.
- @binji_x: crypto conference circuit is theater for fundraising and networking (firefly.social)
@binji_x argues that crypto conferences work largely as theater for fundraising and networking rather than real discussion. Panels with titles like "Reimagining Coordination at Scale" tend to produce agreement on vague points such as improving UX, and conversations usually end with promises to collaborate that rarely lead anywhere. Side events billed as "intimate" drew eight hundred RSVPs, and an evening event offered two miniature tacos as free food alongside a sponsored bar requiring three wristbands.
- Kiwi News Weekly Digest — Jul 12, 2026 (buttondown.com)
- @z0r0zzz: Wei Name Service is now a DAO owned by WNS NFT holders (firefly.social)
- @dgt10011: If you're in AI, pivot to crypto (x.com)
- EU passes Chat Control via coup; DWebCamp shows p2p encryption survives (alpaca.gold)
- @TrustlessState: Bro… this is not the future of finance (x.com)
- The Founder of Signal Said Ethereum Was Failing. Was He Right? (chaskin.xyz)
Moxie Marlinspike, founder of Signal, concluded around four and a half years ago that Ethereum was not on a trajectory to deliver users from centralized platforms, after building an NFT app that relied on Infura or Alchemy, Etherscan, OpenSea and a traditional web server. Vitalik responded that a trust-minimized experience was on the roadmap once upgrades such as Proof of Stake and light clients arrived, and predicted that world was closer than many people thought. The author says that prediction proved too optimistic, since users still depend on centralized intermediaries, but argues that Moxie's conclusion was not right either. The post adds that the Ethereum Foundation recently reorganized, creating an Access Layer focused on the trusted intermediary problem.
- Monetization Gateway will allow you to charge for any web page, dataset, API etc (x.com)
- dying is not enough (dyingisnotenough.com)
- Did gambling bled into the heart of crypto-art (memergenceofdoom.substack.com)
The author argues that the most celebrated crypto-art of the past five years, including Jack Butcher's Economy of Words and Opepen, has moved from critique of gambling toward packaging the gambling itself as art. The main charge is that the collector base, made up largely of crypto-native traders and speculators, has pushed the market toward art that works as a better bet rather than better art. The essay also weighs counterarguments, such as the long history of artificial scarcity in printmaking and the large participatory audience that reveal mechanics attract, before pointing to earlier counter-examples like Autoglyphs and Sarah Friend's Lifeforms.
- The Extremely Lean Chain (ethresear.ch)
The article proposes a redesign of the Ethereum consensus chain, within the "Lean" upgrades, that minimizes state by pushing responsibility for state onto stakers, who manage their own state and occasionally ZK-prove it. Each validator would store only an effective balance (1 byte) and a pubkey index (5 bytes), with the pubkey kept in the deposit tree and proven via Merkle proofs. Each validator would submit a daily balance update STARK, and the author estimates about 5400 Merkle branches per day with 16-second epochs, provable within an hour on weak hardware. At one million validators, daily proofs would need aggregation to keep onchain load manageable. A later phase adds privacy by giving each validator a fresh pubkey every day.