Reusable properties for Ethereum contracts

Published

2023-02-27 13:00

Collected

2026-07-03 04:00

---
id: 1688
title: "Reusable properties for Ethereum contracts"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2023/02/27/reusable-properties-ethereum-contracts-echidna/"
published_at: "2023-02-27T13:00:54Z"
tags: ["web3", "smart-contracts", "fuzzing", "smart-contract", "blockchain-security", "ethereum", "echidna", "invariants", "erc-20", "erc-4626", "invariant", "property-based-testing"]
phying_url: "https://phying.com/item/1688"
lang: en
---

# Reusable properties for Ethereum contracts

## Summary

Trail of Bits released 168 pre-built properties for its Echidna smart contract fuzzer, covering ERC-20, ERC-4626 vaults, and ABDKMath64x64 fixed-point math to raise assurance beyond unit tests.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2023-02-27T13:00:54Z
- **Original:** https://blog.trailofbits.com/2023/02/27/reusable-properties-ethereum-contracts-echidna/
- **Phying News:** https://phying.com/item/1688