7 min read · 12 sources

Turkish authorities have caught up with Richard Schueler, better known as Hex founder Richard Heart. Turkish Justice Minister Akın Gürlek confirmed Heart was detained in Istanbul alongside his wife, with three bodyguards arrested shortly after. Raids across 15 separate addresses yielded $7.15 million in physical cash, six cold storage wallets, seven firearms, 1,400 rounds of ammunition, 28 luxury watches, and 97 pieces of jewelry.

Heart had been operating under an Interpol Red Notice issued at the request of Finland in December 2024 for alleged gross tax evasion and assault. Gürlek’s office also tied the enforcement action to an alleged $1 billion crypto fraud scheme. While a US federal judge dismissed the SEC’s civil suit against Heart on jurisdictional grounds in February 2025—a case the agency never refiled—the Finnish criminal warrant gave Turkish police actionable clearance to execute a coordinated dragnet.

For engineers watching the tail end of the 2021 alt-token era, this represents the standard endgame for opaque treasuries: when sovereign enforcement moves from civil securities litigation to criminal warrants, physical asset seizures usually render onchain governance and multi-sig key custody secondary concerns.

Circle kept just 7 cents of net profit per dollar of revenue in the first half of 2026, paying out $819 million to distribution partners and network expenses.

Circle's Margins: $819M Distributed to Move $36T

Source: links.tldrnewsletter.com ↗

Issuing fiat-backed stablecoins is widely assumed to be pure yield farming on risk-free collateral, but Circle’s H1 2026 revenue breakdown tells a different operational story. Circle booked roughly $1.4 billion in top-line revenue for the first half of the year, yet paid out $819 million directly to distribution partners and routing transaction costs.

Another $473 million went straight into infrastructure, compliance overhead, and core product engineering. The net margin left on the table was approximately 7 cents per dollar of top-line revenue. The disclosure, highlighted by COO Kash Razzaghi, is an explicit reality check aimed at new stablecoin entrants attempting to undercut USDC’s model by promising higher reserve payouts.

The infrastructure spend, however, defends clear market dominance. USDC processed over $36 trillion in onchain volume over the period, capturing 77% of total global stablecoin transaction volume in June 2026—a steep climb from 60% twelve months prior. While yield capture is razor-thin after paying out banking rails, distributor kickbacks, and verification systems, Circle is building a moat purely on onchain settlement ubiquity ahead of its Q3 financial release on November 4.

Lighter Bridges Axiom and OpenVM for Atomic EVM Rollup Settlement

Source: threadreaderapp.com ↗

DeFi exchange architectures usually face an ugly architectural trade-off: choose the expressive programmability of the EVM and tolerate its latency, or build a bespoke, off-chain order matching engine that breaks composability. Lighter launched its devnet to collapse this division by pairing an EVM-equivalent rollup with Lighter Core, its dedicated high-throughput order book engine.

Built using Axiom and proved via OpenVM, both execution layers settle down to Ethereum through a single, shared zero-knowledge proof. This shared proving architecture is the critical technical detail: instead of running parallel proof pipelines that require complex cross-contract bridges and asynchronous settlement delays, the EVM smart contracts and the underlying order book execute under joint finality within a single proof cycle.

Smart contracts running on the rollup can invoke liquidity, manage margin, or settle derivatives against the matching engine with native, atomic guarantees. By isolating order matching logic inside optimized execution circuits while settling jointly with EVM state, Lighter avoids the fragmented state issues that have plagued earlier hybrid DEX models.

AI Formally Verifies Ethereum's Fast Confirmation Rule in Five Days

Source: threadreaderapp.com ↗

Ethereum protocol engineering has traditionally moved slowly due to the existential cost of a consensus bug. That operational tempo is shifting. Researchers used AI-driven formal verification tools in Lean to prove the deterministic safety of Ethereum’s Fast Confirmation Rule (FCR) in four to five days with minimal human guidance. FCR slashes block finality assumptions from approximately 13 minutes down to roughly 24 seconds.

The machine-checked proof confirmed that an FCR-validated block will strictly remain canonical under protocol bounds. More importantly, when engineers fed the Lean system modifications intended for the upcoming Gloas hard fork, the automated prover surfaced a subtle, spec-level fork-choice bug prior to implementation, identifying the precise logic failure in the spec’s state machine.

Current Epoch:  Slot Finality ~13 Minutes (Standard Casper FFG)
FCR Pipeline:   Slot Finality ~24 Seconds (AI-Verified In Lean)
                      └──> Gloas Spec Modification (Bug Surfaced Prior to Hard Fork)

The Ethereum Foundation’s quiet, years-long investment into Lean definitions for BLS, KZG, SSZ, and consensus components is now hitting an inflection point. With automated theorem provers stress-testing core state changes against machine-readable specifications, protocol teams can aggressively compress hard-fork cycles without relying solely on testnets and post-mortem client patches. The upcoming Hegotá upgrade will serve as the first production deployment shipped under this automated verification regime.

Scoped Tokenization Challenges Virtual Cards in AI Agent Commerce

Source: links.tldrnewsletter.com ↗

Autonomous AI agents handling purchasing workflows are colliding with legacy payment architecture. As laid out in a breakdown of the emerging agent economy, models executing transactions require delegated payment authority without exposing raw cardholder credentials or handing complete liability to an automated script.

Early market entrants like Stripe (via Link) and Shopify (via Shop Pay) have leaned heavily on issuing virtual cards. This works in the wild today, but it introduces friction: a virtual card sits in the middle of the settlement path, acting as an intermediary issuer. This setup strips out the cardholder’s native credit card rewards, severs issuer loyalty schemes, and obscures the direct merchant relationship.

Visa, Mastercard, and American Express are countering by developing open-standard scoped agentic tokens. Instead of generating a disposable proxy card, these credentials map an agent’s delegated spending limits and operational parameters directly back to the user’s primary payment rails. For engineers integrating AI checkouts, the direction of travel mirrors the early web’s transition away from walled gardens toward open primitives: standardized cryptographic delegations that preserve the user’s primary identity are primed to displace proprietary virtual-card wrappers.

Hyperbolic Scales to $80M Run-Rate Arbitraging GPU Financing Durations

Source: links.tldrnewsletter.com ↗

Data center operators and neoclouds face a structural balance-sheet problem: debt providers demand multi-year off-take agreements (typically 36 months) before funding bare-metal hardware clusters. AI developers, however, frequently run specialized fine-tuning or inference tasks that burn for only three to six weeks.

Hyperbolic’s infrastructure layer bridges this duration gap. By acquiring long-dated, bare-metal compute capacity at bulk contract rates and slicing it into verified, on-demand short-term allocations, the platform scaled from near-zero revenue in mid-2025 to an $80 million annualized run-rate by September 2026.

To manage the balance-sheet downside of holding depreciating compute into the third year of an off-take agreement, the team utilizes put options on market compute rates. This setup points toward a familiar market evolution: high-performance compute is transitioning from opaque, bilateral colocation contracts into standardized, exchange-traded commodity benchmarks backed by physical settlement layers.

The Wire: Rates, Protocols, and Platform Upgrades

Source: threadreaderapp.com ↗

The Bank for International Settlements dropped an econometric study proving that stablecoins behave as direct economic substitutes for conventional bank deposits rather than purely speculative ecosystem chips. Utilizing US empirical data, the researchers found that a mere 1-basis-point increase in retail bank deposit rates leads to a 3% decline in 10-week stablecoin market cap growth—a drag that stretches to 9% when applying instrumental variable models. The capital outflow hits domestic, highly regulated reserves like USDC (-4.8%) significantly harder than offshore pools like USDT (-1.9%), illustrating that liquidity flows respond directly to traditional interest-rate cycles.

Decentralized social stack Farcaster is seeing another change of hands. Following the protocol’s previous transition from its founding engineering team to developer platform Neynar, the Network State initiative announced a buyout of the network and its dominant client ecosystem, Warpcast.

On the retail rails, EtherFi’s crypto-backed card crossed $1 billion in total processed volume. Velocity is clearly accelerating: clearing the first $500 million required 18 months of distribution, while the second $500 million was matched in just 139 days.

Public equity tokenization took a hit as nine major US corporations filed formal objections against having their shares listed on OKXICE. Notices from Cerebras, AppLovin, Applied Digital, Rocket Lab, CoreWeave, Verizon, Applied Optoelectronics, Broadcom, and UnitedHealth have officially blocked those instruments from launching on the exchange’s tokenized roster.

Closing the loop on payments, Visa Direct expanded payout capabilities by enabling business treasuries to fund direct card and bank deposits straight out of USDC balances.

Finally, Coinbase completed a core architectural overhaul of the Coinbase Advanced matching engine. The revised deployment drops median order round-trip response times by 60x, while compressing the critical p99 tail-latency metrics by 480x across all spot and derivative books.