unamewiki

Pinned Repositories

1-horse-store-s23-
Language:C++00
blocksec-ctfs
A curated list of blockchain security Capture the Flag (CTF) competitions
00
ds-chief
approval voting to select who wears the hat by consensus
Language:Solidity00
EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
Language:Rust0 0 00
foundry-invariants
Language:Solidity00
foundry-toolkit
bits and pieces to fuzz with Foundry effectively
Language:Solidity0 0 00
fuzzer-evaluation
Evaluating fuzzer effectiveness
Language:Solidity00
halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
Language:Solidity0 0 00
learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
Language:Solidity0 0 00
rareskills-blog-index
Index of Rareskill Blog posts.
Language:JavaScript0 0 00

unamewiki's Repositories

unamewiki/1-horse-store-s23-
Language:C++00
unamewiki/blocksec-ctfs
A curated list of blockchain security Capture the Flag (CTF) competitions
00
unamewiki/ds-chief
approval voting to select who wears the hat by consensus
Language:Solidity00
unamewiki/EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
Language:Rust0 0 00
unamewiki/foundry-invariants
Language:Solidity00
unamewiki/foundry-toolkit
bits and pieces to fuzz with Foundry effectively
Language:Solidity0 0 00
unamewiki/fuzzer-evaluation
Evaluating fuzzer effectiveness
Language:Solidity00
unamewiki/halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
Language:Solidity0 0 00
unamewiki/learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
Language:Solidity0 0 00
unamewiki/rareskills-blog-index
Index of Rareskill Blog posts.
Language:JavaScript0 0 00
unamewiki/sidekik-xyz.github.io
Public Website for Sidekik
Language:HTML00
unamewiki/SmartContractHack_PoC
Language:Solidity0 0 00
unamewiki/not-awesome-web3-security-roadmap
Not so awesome Web3 Security Reasearcher roadmap by tpiliposian
unamewiki/py-evm
A Python implementation of the Ethereum Virtual Machine
unamewiki/SlowMist-Learning-Roadmap-for-Becoming-a-Smart-Contract-Auditor
Smart contract audit skills roadmap for beginners, auditors, engineers, etc.
unamewiki/solidity-security-blog
Comprehensive list of known attack vectors and common anti-patterns
unamewiki/v2-periphery
🎚 Peripheral smart contracts for interacting with Uniswap V2
Language:Solidity
unamewiki/web3-security-resources
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.