Audit and Formal Specification

Comprehensive reports to give users ease of mind

zkLend is currently on mainnet and its contracts are written in Cairo 1. Our Cairo 1 contracts have been audited by our partner Nethermind prior to deployment in October 2023, while previous Cairo 0 contracts were also audited and formally specified by the same team.

Nethermind has been one of the leaders within the Ethereum and Starknet ecosystem since 2017. They are a blockchain infrastructure company that provides Ethereum clients and tools for developers, businesses, and individuals. They are known for their high-performance Ethereum client as well as key Starknet public good pieces such as the Starknet blockexplorer Voyager, Juno the full node client that supports Starknet and the Warp transpiler that bridges the gap between Solidity and Cairo.

Formal Specification & Audit Report

Cairo 1

https://github.com/NethermindEth/PublicAuditReports/blob/main/NM0097-FINAL_ZKLEND.pdf

PublicAuditReports/NM0392_FINAL_ZKLEND_STRK_LIQUID_STAKING.pdf at main · NethermindEth/PublicAuditReportsGitHub

Cairo 0

PublicAuditReports/NM0058-FINAL_ZKLEND.pdf at main · NethermindEth/PublicAuditReportsGitHub