Daily Edition · Page 5

THE DAILY INDEX

Technology, AI, software, security, crypto and business

MARKETS & BUSINESS

TLDR Crypto

PREDICTION MARKET NOVIG SUES WISCONSIN AG OVER SPORTS CONTRACTS

Novig, a sports-only prediction market that requires users to be 21+ and recently signed an exclusive partnership with the New York Mets, preemptively sued Wisconsin's AG and gaming administrator, arguing its CFTC-designated contract market status preempts the state's gambling ban. It's Novig's fifth state lawsuit since August 4 (after New York, New Mexico, Massachusetts, and Washington), filed as Wisconsin's earlier suits against Kalshi, Polymarket, Robinhood, Crypto.com, and Coinbase remain pending in the same federal court, where a judge already denied the CFTC's own preliminary injunction request in a parallel case.

ZKNSR: ZERO-KNOWLEDGE NEURO-SYMBOLIC DECISION ENGINE

zkNSR is a decision engine that combines neuro-symbolic reasoning with STARK proofs to produce machine-verifiable decisions without exposing underlying data. The system routes decisions through a neural layer that proposes and extracts, then a symbolic layer that applies Horn clause policies, with STARK proofs replacing the private arithmetic leaves of each derivation. Third parties can verify in under a millisecond that an AI agent obeyed its published policy, with target applications in trading, DeFi credit decisions, and regulatory compliance proofs. The client-side WebAssembly implementation has binding composition formally verified in Lean, but cryptographic primitives remain unaudited, making external audit the gating requirement for production use.

BUILDING THE OPEN AGENTIC ECONOMY

Circle's vision paper frames AI agents as a new form of labor, published like websites, ranked on merit, and compensated via stablecoin transactions, with ERC-8004 for identity and x402/MPP as the payment layer. Discovery relies on open registries where reputation derives from demonstrated behavior rather than self-description, avoiding the centralization that occurred in web search. Agents holding stablecoin balances pay for downstream services without pre-arranged integrations, enabling multi-agent economic workflows that settle on existing stablecoin rails. Circle targets H2 2026 to deliver a working agent market cycle from deployment through settlement, with each transaction generating reputation signals that feed future discovery.

DAOS.FUN MADE $6.6M INSIDER TRADING $AI16Z

On-chain data shows daos.fun operator baoskee liquidated the $ai16z execution wallet across 102 swaps from January through November 2025, generating $6.65M in profit on a 22 SOL (~$3,863) cost basis while holding advance knowledge that a16z's legal pressure would force a token migration to $elizaOS. Baoskee had promised community voting as the required mechanism for any name change but withheld the feature, preserving sole execution-wallet control throughout the rebrand period while community holders absorbed the full price impact of the migration. Verified proceeds total $6,659,374, with sell activity spanning the interval between a16z's private contact with the team and the public migration announcement.

TOKENIZED STOCK HOLDERS MORE THAN DOUBLE AS MONTHLY VOLUME SURGES

Tokenized stock holders surpassed 1.31 million, more than doubling month-over-month, while monthly transfer volume climbed 179% to $23.13 billion and monthly active addresses rose 34.62% to 572,000. Ondo leads by distributed value at $872 million, followed by Kraken's xStocks at $557.8 million and Binance's bStocks at $521.8 million, with the latter launching in June and growing to $67.9 million in tokenized SpaceX exposure. The SpaceX listing exposed a supply constraint: xStocks could not secure sufficient underlying shares while Binance's bStocks absorbed the overflow, revealing that institutional share availability rather than retail demand is the binding limit on tokenized pre-IPO growth.

TLDR IndexPage 5