Merge master into base_deployment

Update echidna harness constructors for configurable round length and
minimum validity blocks so CI compile passes after merging master.

Author: 0xCardiE

.gitignore

@@ -39,4 +39,8 @@ contractsInfo.json
 gas-report.txt
 
 # Tenderly
-tenderly.log
+tenderly.log
+
+# Echidna fuzzing
+echidna/corpus/
+crytic-export/

README.md

@@ -2,6 +2,16 @@
 
 This repository contains the smart contracts for Swarm's storage incentives.
 
+## 📚 Documentation
+
+Comprehensive documentation is available in the [`docs/`](docs/) directory:
+- [Overview](./docs/OVERVIEW.md) - System architecture and mechanics
+- [PostageStamp](./docs/POSTAGE_STAMP.md) - Postage stamp batch management
+- [PriceOracle](./docs/PRICE_ORACLE.md) - Dynamic pricing system
+- [StakeRegistry](./docs/STAKING.md) - Staking for node operators
+- [Redistribution](./docs/REDISTRIBUTION.md) - Schelling game details
+- [Deployment Guide](./docs/DEPLOYMENT.md) - How to deploy contracts
+
 # Overview
 
 In order to distribute to upload content to the Swarm network, _batches_ of _postage stamps_ are purchased by nodes. These _stamps_ are then attached to content that is divided into 4kb chunks and then uploaded to the Swarm network. In order to distribute the proceeds from the sales of these _batches_, a [Schelling Co-ordination Game](https://en.wikipedia.org/wiki/Coordination_game) is implemented using the smart contracts contained in this repository, in order to identify nodes storing the canonical subset of valid chunks that fall within the radius of responsibility of each node in a _neighbourhood_ at the time of their application. Correct identification of this hash qualifies a node to apply to receive a reward comprising value arising from _expired_ _batches_.
@@ -101,6 +111,14 @@ To get started with this project, follow these steps:
 2. Run `yarn install` at the root of the repo to install all dependencies.
 3. Add a `.env` file in your root directory, where you'll store your sensitive information for deployment. An example file [`.env.example`](./.env.example) is provided for reference.
 
+## Fuzz testing (Echidna)
+
+Harness layout, properties, and troubleshooting are documented in [echidna/README.md](./echidna/README.md). Run (Docker required):
+
+```bash
+yarn echidna
+```
+
 ## Run
 
 ### [Tests](./test)