Templar Protocol is a chain-agnostic overcollateralized lending protocol deployed on the NEAR blockchain. It implements a lending market where users can supply assets to earn yield from borrower payments, use assets as collateral to borrow other assets, and/or liquidate undercollateralized positions.

The document linked below describes Certora's security assessment of Templar Protocol. This included manual code review of all the Rust contracts as well as formal specification and verification of the market contract using a new version of the Certora Prover for the NEAR blockchain. The security properties that were formally proven as well as security issues discovered are detailed in the full document along with the Templar team responses.