2 days agoAlchemix v2 audit and reviewed code fixesRuntime Verification started working with Alchemix back in summer 2021, assisting the team with design and security concerns in the early days of v2 development. In the months that followed, both teams worked closely to improve the contract’s design and code; this was followed by a full, thorough code audit…Alchemix2 min read
Aug 2Runtime Verification audits Swaap’s Pool smart contractsRuntime Verification is pleased to announce the completion of Swaap’s Pool smart contracts audit. …Runtime Verification3 min read
Jul 19Runtime Verification audits Swell NetworkRuntime Verification is thrilled to announce Swell Network’s audit completion. Swell Network is a next-generation permissionless, non-custodial, liquid staking protocol for Ethereum. …Runtime Verification4 min read
May 31Runtime Verification audits EXA Finance’s Baskets smart contractRuntime Verification is thrilled to announce the completion of EXA Finance’s Baskets smart contract audit. EXA Finance is a peer-to-peer asset exchange marketplace for both fungible and non-fungible tokens built on the Algorand blockchain. Audit scope The audit scope is limited to the TEAL source code of two files of a single…Runtime Verification3 min read
Apr 29Runtime Verification audits Blockswap’s Stakehouse protocolRuntime Verification is thrilled to announce Blockswap’s Stakehouse protocol audit completion. Stakehouse is a programmable staking layer allowing users to register a consensus layer validator and mint tokens representing the validator’s balance. …Runtime Verification3 min read
Mar 16Runtime Verification audits Atlendis ProtocolRuntime 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 Verification4 min read
Feb 23Runtime Verification audits Folks FinanceRuntime 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 Verification4 min read
Feb 11Runtime Verification audits QuipuSwap’s token-to-token distributed exchangeRuntime 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 Verification3 min read
Feb 3Runtime Verification audits Yieldly’s Multi-token Staking PoolRuntime 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 Verification3 min read
Feb 2Runtime Verification audits PactRuntime 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…Audit3 min read