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.

Cc9f267dcTopic

Smart contracts

Programs stored on a blockchain that execute automatically when conditions are met, forming the building blocks of DeFi, NFTs, and most on-chain applications.

227 claims·66 news stories

0