https://s3v3ru5.github.io/tags/amm/ Recent content in AMM on S3v3ru5 Blog Hugo -- 0.162.1 en Fri, 05 Jun 2026 00:00:00 +0000 https://s3v3ru5.github.io/posts/solana-property-testing/ Fri, 05 Jun 2026 00:00:00 +0000 https://s3v3ru5.github.io/posts/solana-property-testing/ <h1 id="property-testing-solana-amm-using-proptest">Property testing Solana AMM using Proptest</h1> <p>Property testing verifies behavior across thousands of inputs by defining what should always be true. AMMs are ideal targets. They have clear economic properties like no arbitrage, path independence, and slippage bounds that must hold regardless of implementation. This makes it easy to generate random swap sequences, check the properties hold, and let the fuzzer find extreme states that manual testing wouldn't reach.</p> <p>This post walks through the methodology I used to test a novel stableswap Solana AMM during an audit. The curve was complex enough that verifying derivations by hand wasn't practical. Instead, I used proptest to generate thousands of random swap sequences and verify the economic properties held throughout.</p>