Runtime Verification is thrilled to announce Atlendis Protocol’s audit completion. Atlendis is a capital-efficient DeFi lending protocol that enables uncollateralized crypto loans for institutional borrowers. Audit scope The audit scope focused on the Solidity source code of the three main protocol contracts and a series of libraries and interfaces. …

Runtime Verification is thrilled to announce Folks Finance’s audit completion. Folks Finance is a decentralized capital market protocol built on the Algorand blockchain offering lending, borrowing, liquidity provision and staking programs. Audit scope Folks Finance’s audit consisted of a design review followed by a best-effort code review. Conducting a design review prior…

Runtime Verification is thrilled to announce the audit completion of QuipuSwap’s token-to-token distributed exchange (TTDex). QuipuSwap is an automated market-maker (decentralized exchange) built on the Tezos blockchain. Audit scope The audit scope was limited to the token-to-token distributed exchange smart contract code. …

Runtime Verification is thrilled to announce the audit completion of Yieldly’s Multi-token Staking Pool smart contract. Yieldly is a suite of DeFi products built on the Algorand blockchain offering liquidity mining, multi-asset staking, cross-chain swapping, and no-loss prize games to their users. Audit scope Our team already had the pleasure of working…

Runtime Verification is thrilled to announce Pact’s audit completion. Pact is an automated market maker (AMM) built on the Algorand Blockchain offering liquidity to swap Algo and Algorand Standard Assets (ASA) with low transaction fees. Audit scope Pact engaged Runtime Verification to review the protocol’s architecture and code to identify any possible…

Runtime Verification is thrilled to announce stakefish Ethereum staking 2.0 audit completion. Stakefish is a staking service provider offering users the chance to stake their tokens to earn rewards while simultaneously helping to secure PoS networks. Audit scope Last December, stakefish launched a new version of their non-custodial Ethereum staking service. The…

Runtime Verification is honored to announce a new partnership with the Algorand Foundation. Through this partnership, Runtime Verification becomes the Foundation’s preferred security partner, and underlines its security commitment to Algorand and its ecosystem. Since 2019, RV has worked on a series of engagements with Algorand Inc and the Algorand…

Runtime Verification is thrilled to announce the audit completion of Element’s Finance Governance Protocol’s Smart Contracts. This blog post will dive into why it’s crucial to audit Governance protocols and a detailed audit description. Security efforts in DeFi and Governance Protocols Decentralized Governance Protocols are on the rise, and with it, a higher risk for exploits associated…

Runtime Verification is thrilled to announce the audit completion of the Rewards Contracts, which are part of Algorand’s Community Governance. …