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.

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.

Withdrawal and repayment processes for Echo Protocol lending, liquid staking derivative, and strategy positions began at 00:00 UTC on October 19, 2026.

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

Echo Protocol required debt repayment by November 14, 2026, and set November 19, 2026, at 23:59 UTC as the final deadline for repayments, withdrawals, and unstaking before liquidation, creating risks and delays.

Echo Protocol halted new lending deposits, borrowing, strategy deposits, liquid staking, and interest accrual on lending positions.

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.

TokenLogic's proposed Aave stability module requires approval for every swap, and revoking access prevents subsequent swaps, including attempts to recover previously deposited waUSAT receipt tokens after exchanging them for GHO.

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.

The fixCleanup3_4_0 package updates vault asset rounding calculations, loan default criteria, and cryptographic signature role prefixes to prevent signature reuse across different roles.

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.

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.

Under Ripple's proposed uncollateralized lending protocol pitched to payment companies since June 2026, depositors pool assets into vaults and offchain loan brokers determine borrower eligibility without on-chain collateral requirements.

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.

Similar substitution patterns appeared when replacing ordinary deposit rates with certificate of deposit rates, and when testing stablecoins supplied to decentralized finance lending platforms.

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.

Echo Protocol left the dates for final collateral liquidation and the distribution of proceeds unconfirmed during its wind-down announcement.

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.