LogoLogo
AppWebsite
  • 🌸DeFi Spring
  • 🦌About
    • Portal
    • Introduction
      • zkLend
      • Use Cases
        • Examples
  • 💻Using zkLend
    • Notes on Mainnet
    • Supply
      • How to Supply
      • Enable as Collateral
      • Withdraw
      • zTokens
    • Borrow
      • How to Borrow
      • Repay a Loan
      • Borrow Amount
      • Liquidations
      • Flash Loans
    • Staking
      • STRK
      • ZEND
    • Dashboard
      • Health Metrics
      • Earnings Metrics
    • Technical
      • Oracles
      • Contracts
      • Asset Parameters
      • Interest Rate and Utilisation Model
      • Audit and Formal Specification
    • Risks
    • Glossary
  • 🪄Other
    • ZEND Token
      • Tokenomics
      • Staking
    • Brand Guidelines
    • Find Us
      • Website
      • Twitter
      • Discord
      • Telegram (Announcement Channel)
      • Medium
    • Documentation
      • Whitepaper
      • GitHub
    • Using Starknet
      • Setting up your Wallet
      • Starknet & Our Friends
Powered by GitBook
On this page
  1. Using zkLend
  2. Technical

Audit and Formal Specification

Comprehensive reports to give users ease of mind

PreviousInterest Rate and Utilisation ModelNextRisks

Last updated 5 months ago

zkLend is currently on mainnet and its contracts are written in Cairo 1. Our Cairo 1 contracts have been audited by our partner 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

Cairo 0

💻
Nethermind
https://github.com/NethermindEth/PublicAuditReports/blob/main/NM0097-FINAL_ZKLEND.pdf
PublicAuditReports/NM0392_FINAL_ZKLEND_STRK_LIQUID_STAKING.pdf at main · NethermindEth/PublicAuditReportsGitHub
PublicAuditReports/NM0058-FINAL_ZKLEND.pdf at main · NethermindEth/PublicAuditReportsGitHub
Logo
Logo