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.

From the articleNEAR targets protocol security after $112 AI proof-generation run