Oct 12, 2022Warning: Code Can Be ExplosiveWe don’t want bugs in our code, period. Bugs are not only annoying, they can cost us millions of dollars if they go unnoticed. No matter how hard we try, every time we remove a bug, another pops up in a seemingly unrelated part of the code base.Code15 min readCode15 min read
Oct 6, 2022Foundry: Gen 2 of Ethereum Tooling2022 has been and will continue to be a big year in Ethereum smart contract development tooling. At this year’s Eth DevConnect, there was even a dedicated formal verification tooling event, where some amazing brainstorming and development took place. Developers are finding that they can achieve higher software quality assurance…Blockchain9 min readBlockchain9 min read
Sep 6, 2022Runtime Verification audits Pact’s Router smart contractRuntime Verification is pleased to announce the audit completion of Pact’s Router smart contract. 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 At the beginning of the year, an audit was conducted…Pact3 min readPact3 min read
Aug 25, 2022Runtime Verification audits Pact’s Stableswap AMM smart contractRuntime Verification is pleased to announce the completion of Pact’s Stableswap AMM smart contract audit. Stableswap 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 The audit scope is limited to the PyTeal source…Runtime Verification3 min readRuntime Verification3 min read
Aug 11, 2022Alchemix 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 readAlchemix2 min read
Aug 2, 2022Runtime Verification audits Swaap’s Pool smart contractsRuntime Verification is pleased to announce the completion of Swaap’s Pool smart contracts audit. …Runtime Verification3 min readRuntime Verification3 min read
Jul 19, 2022Runtime 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 readRuntime Verification4 min read
May 31, 2022Runtime 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 readRuntime Verification3 min read
Apr 29, 2022Runtime 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 readRuntime Verification3 min read
Mar 16, 2022Runtime 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 readRuntime Verification4 min read