Audit of Kolibri Smart Contracts for Tezos Foundation

The Tezos Foundation has requested that Least Authority perform a security audit of the Kolibri Smart Contracts. Kolibri is a set of Smart Contracts on Tezos which can be used to issue kUSD, a trustless, algorithmic stablecoin that is built on Collateralized Debt Positions of XTZ implementing the FA1.2 Standard.

Tezos is a decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.

Our final audit report was completed on March 9th, 2021.

To read the full report including our findings, click here:

Report

Archives