Tag
#invariant-testing
13 repositories
Repos
ERC-20 staking vault with streaming rewards, gasless staking via permit and UUPS upgradeable contracts
Shariah-compliant DeFi protocol — on-chain JHD effort units, ADS vulnerability discovery, Takaful Buffer | World's first Islamic finance invariant enforcement
Three-contract marketplace system in Solidity / Foundry - accounting invariants verified by handler-based fuzz, MarketPlace with BPS fees / VIP tiers / promo codes / pull payments, Slither in workflow.
Decentralized exchange built with Solidity and Foundry, enabling token swaps and liquidity management through Uniswap V2 on Arbitrum, with protocol fee handling, security-focused design, and complete testing suite.
Enforce financial fairness in DeFi by eliminating asymmetric deficit socialization through mathematically-verified, immutable smart contracts.
Minimal constant-product AMM in Solidity — documented invariants, Foundry fuzz + stateful invariant tests
Constant-product AMM (x·y=k) inspired by Uniswap V2, implementing factory, pair, and router contracts with invariant-based fuzz testing using Foundry.
An overcollateralized stablecoin using Chainlink price oracles. Includes Foundry-based unit, fuzz, and invariant test suites, mocks for local runs, and deployment scripts for local and Sepolia networks.
🪙 MDSC: USD-pegged decentralized stablecoin built in Vyper (DSCEngine + Chainlink-style oracles) with 80%+ unit + fuzz/invariant test coverage. Deployed on zkSync Sepolia.
A Solidity crowdfunding smart contract built with Foundry, featuring unit, fuzz, and invariant testing.
Solidity smart contract testing patterns using Foundry: unit, integration, fork, fuzz and invariant testing.
Foundry workspace with three contracts and a full test suite covering unit, fuzz, and stateful invariant testing with a handler.