Folder: Web3-Security-Mastery/07-Bonus

May 16, 2026

• web3-security
• zk
• zero-knowledge
• circuits
• soundness
• under-constrained
• circom
• halo2
• noir
• bonus

May 16, 2026

• web3-security
• bug-bounty
• immunefi
• disclosure
• severity
• methodology
• vscs

May 16, 2026

• web3-security
• formal-verification
• certora
• halmos
• cvl
• symbolic
• invariant
• methodology
• tool

May 16, 2026

• web3-security
• tool
• foundry
• echidna
• medusa
• fuzzing
• invariant
• methodology
• vault
• erc4626

May 16, 2026

• web3-security
• defi
• staking
• restaking
• lst
• lrt
• eigenlayer
• lido
• oracle
• vault

May 16, 2026

• web3-security
• non-evm
• cosmwasm
• move
• aptos
• sui
• cosmos
• vulnerability
• anti-pattern

May 16, 2026

• web3-security
• non-evm
• solana
• anchor
• sealevel
• cpi
• pda
• signer
• owner
• account-confusion
• bonus

May 16, 2026

• web3-security
• stablecoin
• defi
• cdp
• algorithmic
• peg
• depeg
• liquidation
• oracle
• economic-attack
• protocol-economic

May 16, 2026

• web3-security
• methodology
• audit-competition
• code4rena
• sherlock
• cantina
• hats
• solodit
• leaderboard