Blockchain infrastructure and industry facts. No investment advice.
TeraWulf's AI Leases Now Drive 83% of Revenue as Bitcoin Mining FadesTeraWulf reported third-quarter 2026 revenue of $76.2 million on November 6, 2026, up 51% year over year, with high-performance computing lease revenue of $63.0 million, about 83% of the total, while bitcoin mining revenue fell 69% to $13.2 million. Net income of about $709.9 million was driven by a $728.4 million non-cash warrant fair-value gain, and adjusted EBITDA was negative $12.8 million. Lake Mariner has 102 MW of revenue-generating capacity online with 336 MW under construction, and the 20-year, roughly $19 billion Anthropic lease at the Justified campus now carries a Google credit backstop and a definitive Fluor construction agreement.WEB3 INFRASTRUCTUREIndia's Payments Authority NPCI Spins Up AI and Blockchain Arm: NTSL, Its Fourth SubsidiaryIndia's payments authority NPCI said on November 4, 2026 that it has set up a wholly owned technology subsidiary, NPCI Tech Solutions Limited (NTSL), as its technology and innovation arm, focused on AI, blockchain, digital financial infrastructure, and global capability centre services. NPCI chief technology officer Vishal Kanvaty has been appointed managing director and chief executive officer of NTSL, the group's fourth wholly owned subsidiary. NTSL will also provide technology services for digital public infrastructure programmes including eKYC Setu and the Unified Ticketing Platform. No product, budget, or launch date has been disclosed.
Anthropic's FlashProve Gives Model Answers a Cryptographic Receipt Proving Which Weights Produced ThemOn November 2, Anthropic released FlashProve, an open-source research prototype that uses zero-knowledge succinct arguments to prove an answer really came from committed model weights, without revealing the weights. In the Llama 4 Maverick demo, a single H100 self-reports proof generation at about 110 tokens/second, with proofs of about 19 MB per 1,024-token request, but GPU time runs 70–95 times that of inference, and coverage is limited to integer arithmetic, greedy decoding and short contexts. It is a research prototype, not a product.
Two Models Disproved a 25-Year Conjecture on the Same DayOpenAI and Anthropic announced on the same day that their models had each disproved the Exponential Time Hypothesis; both core discoveries date to October 16, the Lean formalisations are public, and the conclusions await academic review.