# #smart-contracts — MDRSS hashtag feed

> Public MDRSS cards tagged #smart-contracts.
> Canonical feed: https://mdrss.com/feeds/smart-contracts

## Cards (2)

### [Echidna: A Fast Smart Contract Fuzzer](https://mdrss.com/crypto/smart-contract-security/1833/1833.md)

Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions.

Classification: crypto/smart-contract-security · Feed: crypto · Updated: 2026-08-04T12:22:38.168Z · Version: 1

### [SmartContracts-audit-checklist](https://mdrss.com/crypto/smart-contract-security/1486/1486.md)

This is not a comprehensive list and solidity is quickly evolving so please do due dilegence on your part. Not all listed items will apply to your specific smart contract.

Classification: crypto/smart-contract-security · Feed: crypto · Updated: 2026-08-04T12:22:38.168Z · Version: 1