Security audit of the Cyfrin Gas Bad NFT Marketplace — Solidity + inline assembly review with Foundry PoCs, Slither/Aderyn, and Certora
security assembly solidity formal-verification foundry smart-contract-audit certo cyfrin-updraft nft-marketplace-contract web3-secu
-
Updated
Jun 19, 2026