On October 16, 2026, NEAR Protocol announced plans to apply AI-assisted formal verification to its network protocol, core smart contracts, and developer tools using Lean.

Overview Debates Related claims Topics Sources

Digital asset platform Kucoin decoupled artificial intelligence decision assistance from core backend execution permissions to prevent adversarial manipulation from affecting user funds.

Echo Protocol responded to the May 2026 exploit by pausing cross-chain activity, updating smart contracts, and burning 955 eBTC traced to the attacker.

TokenLogic's October 15, 2026 proposal specifies zero swap fees for the module while leaving contract addresses for Avalanche USAT, waUSAT, reserve, commercial counterparties, and pricing strategies unspecified.

Security firm Certora completed a formal specification and verification of the market contract for Templar, a lending protocol deployed on NEAR Protocol, on March 30, 2026.

The fixCleanup3_4_0 amendment closes a loophole that could allow account roles authorized only to burn tokens to create new tokens under specific conditions.

Hacken co-founder Andrii Matiukhin warned that audit badges give investors a false sense of security because project teams often cut costs by auditing only smart contracts while excluding wallets, signing systems, and third-party software.

Smart contract incidents were the most frequent attack vector in Q3 2026, accounting for 71 incidents and $228 million in total losses, according to Hacken.

Bank of England Deputy Governor Sarah Breeden warned in June 2026 that autonomous agentic artificial intelligence systems could cause trading herding and volatility spikes in currency markets.

NEAR Protocol explained that production formal verification requires mathematically representing software, specifying required security properties, and constructing proofs that cover deployed code implementations.

NEAR Protocol co-founder Illia Polosukhin stated that formal verification research aims to provide mathematical guarantees for software behavior to mitigate security risks from AI-generated code and attacker exploitation tools.

Signed Linux installation packages for xrpld version 3.4.0 are distributed through the XRPL Foundation.

The XRP Ledger evaluates amendment activation decisions at designated intervals called flag ledgers, occurring every 256 ledgers.

XRP Ledger server operators must upgrade to xrpld version 3.4.0, released on September 16, 2026, to prevent their servers from becoming amendment-blocked when new network rules enforce.

Security firm Certora conducted a manual review of Templar's Rust contracts during its March 30, 2026 assessment of the protocol.

Sophon developers cited annual operational costs of approximately $3.4 million to maintain the standalone blockchain as the primary cause for shutdown, projecting approximately $3 million in annual operational savings

Sophon experienced minimal activity on its blockchain after disabling new deposits on June 25, 2026

Borderless.xyz participated in Mastercard's Start Path blockchain accelerator and an August 2026 Crypto Credential pilot involving Infinia, Walapay, and Koywe

In January 2026, JPMorgan announced plans to deploy JPM Coin natively on the Canton Network as part of its strategy to explore multiple blockchain environments

JPMorgan participates alongside over 30 banks in helping Swift define governance and features for Swift's blockchain-based ledger, though JPMorgan was not listed among 17 banks preparing live transaction pilots

Coinbase and Marqeta said Coinbase will handle custody of customers' stablecoin balances, manage conversion between digital tokens and fiat currency, and run on-chain settlement on its Base blockchain