The Protocol: Ethereum Foundation's high-profile departures spark fresh debate

JUMP CRYPTO’S FIREDANCER CLIENT: Jump Crypto’s long-awaited Firedancer validator client is now producing blocks on Solana mainnet, marking a turning point in the project’s yearslong push to overhaul the blockchain’s performance infrastructure. “Firedancer is live and running in production,” Firedancer founding engineer Ritchie Patel told CoinDesk in an interview. “We have packed tens of millions of transactions over the last few months.” The rollout, however, is intentionally restrained. Patel said the team preferred to roll out progressively across the network rather than through a broad public launch, as the team remains cautious about rapidly increasing adoption. “We don’t want everybody to run it yet,” Patel said. “If half the network upgrades before we’ve done full security audits, that would be a bit much.” Firedancer, developed by Jump Crypto, is a validator client for Solana, or another version of the software that runs the blockchain. The effort emerged partly in response to concerns around Solana’s earlier outages and its reliance on a single dominant client maintained by Solana infrastructure firm Anza. Rather than framing Firedancer as a competitor to Anza, Patel described the relationship as collaborative. — Margaux Nijkerk Read more.

BUTERIN ON AI FORMAL VERIFICATION AND CRYPTO: Vitalik Buterin says artificial intelligence could make cryptocurrency systems and critical internet infrastructure more secure if developers combine AI-generated code with mathematically verified software. The Ethereum co-founder argued that AI-assisted “formal verification” could become one of the most important tools for cybersecurity as increasingly advanced AI systems make it easier to discover software vulnerabilities, in a lengthy blog post shared. Formal verification refers to the use of machine-checkable mathematical proofs to confirm that software behaves exactly as intended. While the technique has existed for decades, Buterin said recent advances in AI are making it more practical by helping developers write both code and the proofs needed to verify it. Buterin framed the technology as a response to growing fears that AI could overwhelm defenders by accelerating bug discovery and cyberattacks. Smart contract exploits remain a persistent issue across crypto, with attackers frequently draining millions of dollars from vulnerable decentralized finance protocols. Mathematically verified software could help reverse that trend, especially in areas where security failures would be catastrophic, Buterin argued. He specifically pointed to Ethereum infrastructure, zero-knowledge proof systems, consensus mechanisms and post-quantum cryptography as technologies that could benefit from formal verification. — Margaux Nijkerk Read More.

In Other News

• Qivalis, a group of European banks building a regulated euro stablecoin, said Wednesday that 25 more lenders joined the initiative, more than tripling its membership as banks across the region deepen their push into blockchain finance. The expansion brings the consortium to 37 financial institutions spanning 15 European countries. New members include ABN AMRO, Rabobank, Intesa Sanpaolo, Nordea, Erste Group and National Bank of Greece. The expansion comes as tokenization gains traction among large financial institutions and asset managers, with stablecoins — crypto tokens whose value is pegged to a traditional asset such as a fiat currency — playing a key role in settlement and asset trades on blockchain rails. The effort also reflects a broader push by European banks to expand the use of euro-denominated stablecoins and reduce dominance of U.S. dollar-backed tokens, which currently account for about 99% of the global stablecoin market. The total stablecoin market capitalization is about $318 billion, dominated by Tether's USDT and Circle Internet's (CRCL) USDC. Together they account for more than 80% of the total. By building a regulated euro-based alternative, Qivalis aims to strengthen the single currency's role in digital payments and tokenized finance as blockchain settlement gains traction among institutions. "This infrastructure is essential if Europe is to compete in the global digital economy whilst preserving its strategic autonomy," said Howard Davies, chairman of Qivalis' supervisory board. — Kristzian Sandor Read more.
• Galaxy Digital said New York regulators granted the company a BitLicense and money transmitter license, allowing the crypto financial services firm to expand institutional digital asset operations in one of the industry’s most tightly regulated markets. The approval from the New York State Department of Financial Services authorizes GalaxyOne Prime NY, the company’s New York entity, to offer regulated crypto trading and custody services across the state. Galaxy said in a press release that the move gives New York-based institutions — including hedge funds, registered investment advisers and family offices — access to its digital asset platform, which the company said manages roughly $9 billion in client assets. “New York is home to the deepest pool of institutional capital in the country, and digital assets are no longer sitting at the edge of those allocations,” said Mike Novogratz, Galaxy's founder and CEO, in a statement. — Helene Braun Read more.

Regulatory and Policy

• U.S. President Donald Trump ordered the federal government to update its regulatory frameworks to integrate "digital assets and innovative technology into traditional financial services and payment systems" in an executive order. According to the document, the U.S. should foster financial technology services into its existing payment and financial services rails. "It is therefore the policy of the United States to streamline regulatory processes, reduce unnecessary barriers to entry, and encourage collaboration between fintech firms, federally regulated financial institutions, and Federal financial regulators," the order said. The order directed the heads of financial regulators to review their existing rules over the next three months and identify any rules or documents "that unduly impede fintech firms from entering into partnerships with federally regulated institutions." Within six months, Trump directed regulators to "take steps to encourage innovation as a result of the review." These steps include asking the Federal Reserve Board of Governors to review how it allows uninsured depository institutions and non-bank financial firms access to payment accounts and services. — Nikhilesh De Read more.
• U.S. Senator Elizabeth Warren is demanding the agency that regulates national banks explain its chartering of nine crypto-focused institutions, which, she argued, didn't meet federal regulations and posed a risk to the financial system. The U.S. Office of the Comptroller of the Currency has granted trust charters to a series of banks as the agency embraced President Donald Trump's agenda to elevate the crypto sector and establish a friendly regulatory environment. Now Warren, the ranking Democrat on the Senate Banking Committee, sent a letter to OCC chief Jonathan Gould, calling for an explanation of approvals for trusts belonging to companies including Coinbase, Paxos, Ripple, BitGo and Fidelity Digital Asset Services. "These companies are effectively crypto banks that want to evade the fundamental safeguards and obligations that come with being a bank," Warren, who has criticized Gould's decision previously in hearings, wrote in the letter. "Your decision to facilitate this regulatory arbitrage not only conflicts with federal law, it also poses serious risks to consumers, the safety and soundness of the banking system, and the separation of banking and commerce." — Jesse Hamilton Read more.

Calendar

• June 2-3, 2026: Proof of Talk, Paris
• June 4, 2026: Stable Summit, New York
• June 8-10, 2026: ETHConf, New York
• Sept. 16-17, 2026: Avalanche Summit, New York
• Sept. 29-Oct.1, 2026: Korea Blockchain Week, Seoul
• Oct. 7-8, 2026: Token2049, Singapore
• Nov. 3-6, 2026: Devcon, Mumbai
• Nov. 15-17, 2026: Solana Breakpoint, London