-
Blockchain-Security-Library Public
A library of blockchain security resources for various categories in blockchain.
-
A list of Blockchain Security audit companies, solo auditors and location of public audits.
-
halmos-solady Public
Forked from zobront/halmos-soladyFormally verifying consistency between Solmate and Solady using Halmos
-
fuzzydefi Public
Pre-built security properties for commonly forked DeFi protocols
-
zk-security-reviews Public
Forked from nullity00/zk-security-reviewsCollection of security reviews of ZK Protocols
UpdatedSep 20, 2023 -
lil-web3-vyper Public
Simple, intentionally-limited versions of web3 protocols & apps... in Vyper
Solidity GNU Affero General Public License v3.0 UpdatedSep 19, 2023 -
-
More-EVM-Puzzles Public
Solutions/hints to https://github.com/daltyboy11/more-evm-puzzles
JavaScript UpdatedOct 2, 2022 -
EIP-Notes Public
Ethereum Improvement Proposal Notes https://eips.ethereum.org/all
UpdatedOct 1, 2022 -
Hats-Game-2-Solution Public
Find the game repo here: https://github.com/hats-finance/vault-game
Solidity UpdatedSep 23, 2022 -
Hats-Game-1-Solution Public
Find the game repo here: https://github.com/hats-finance/games
Solidity UpdatedSep 14, 2022 -
-
The solutions to the Secureum Stanford CTF: https://ctf-maker-monorepo.vercel.app/
Solidity UpdatedAug 28, 2022 -
carex-trailofbits-Echidna Public
CAREX Echidna workshop with Trail of Bits.
-
EVM-Puzzle-Solutions Public
Solutions and hints to Franco Victorio's evm-puzzles
-
This is a walkthrough for Capture The Ether challenges.
-
Walkthrough of the Ethernaut smart contract security challenges
6 UpdatedSep 29, 2021
{{ message }}