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

Developing ERC tokens can be particularly challenging because of their inherent immutability, the intricacy of their behavior, and the adversarial nature of the environment. Hence, ensuring bug-freedom and mission realization is a difficult and long process. Common practices include manual code review (which is time-consuming and costly) and unit testing…

Abstract Runtime Verification and Certora partnered to analyze a set of tools for detecting bugs in ERC-20 token contracts. In this series of two blog posts, we dive into the tools for detecting bugs in ERC-20 smart contracts. In the first part, we introduce the existing tools and compare them using…

ERC-4626 is an extension of ERC-20 that introduces a standardized interface for tokenized vaults. Any ERC-4626 token also functions as an ERC-20 token, enabling the use of ERC-20 functions like transfer and approve. The primary purpose of ERC-4626 is to act as a vault, enabling users to deposit underlying assets…

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

[Prerequisites: Basic knowledge of Solidity] Making contracts upgradeable offers a lot of flexibility, but also makes the code more difficult to reason about. This is mostly due to the need to circumvent Solidity’s type system, which means that the compiler’s ability to catch mistakes is severely limited. …

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

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

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