Welcome to another issue of our monthly newsletter on Medium. This time around, we bring our updates for the month of February. …

At Runtime Verification, we want to be as efficient as possible with our software development, but working on a team necessarily introduces inefficiency, which companies must manage. Being remote-first also presents unique challenges that teams must actively and intentionally overcome. An example of why efficiency matters: suppose you have a…

Welcome to the first issue of our new updates section on our medium. …

We 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.

2022 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…

Runtime 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…

Runtime 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 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…

Runtime Verification is pleased to announce the completion of Swaap’s Pool smart contracts audit. …