#
certo
Here are 3 public repositories matching this topic...
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
Improve this page
Add a description, image, and links to the certo topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the certo topic, visit your repo's landing page and select "manage topics."