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.

Overview Debates Related claims Topics Sources

TokenLogic submitted an October 15, 2026 governance proposal to introduce a permissioned GHO Stability Module for USAT on Aave V4 on Avalanche.

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.

Ripple's proposed LendingProtocol amendment (XLS-66) held 19 of 35 validator votes as of October 19, 2026, leaving it 10 votes short of the 29 needed for activation.

An amendment to XRP Ledger rules requires continuous approval from over 80% of the network's 35 default trusted validators—at least 29 votes—for two consecutive weeks before activating.

The XRP Ledger SingleAssetVault amendment (XLS-65), designed to store deposited assets for lending, held 21 validator votes as of October 19, 2026, leaving it eight votes short of approval.

The XRP Ledger fixCleanup3_4_0 amendment reached 29 validator votes on October 9, 2026, and held 29 on October 19, 2026, tracking activation around 09:34 UTC on October 23, 2026, with a single validator withdrawal restarting its 14-day countdown.

Even if the LendingProtocol proposal reached 29 validator votes immediately, the required two-week voting period prevents the lending feature from activating before early November 2026.

TokenLogic's proposal contains a discrepancy where a 66 million GHO outbound bridge capacity is labeled as 110% of initial funding.

TokenLogic's proposal retains emergency controls for Aave, where freezing halts exchanges and asset seizure transfers module-held waUSAT to a designated treasury.

As of October 18, 2026, TokenLogic's public Aave proposal outlines a Snapshot vote followed by an implementation proposal as its next governance steps.

The initial whitelist for TokenLogic's proposed Aave module includes a commercial counterparty and an Aave DAO Safe controlled by the Aave Finance Committee.

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.

Ripple backed both the LendingProtocol and SingleAssetVault amendments through its network validator in August 2026 while both remained below the activation threshold.

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.

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