crytic / fluxture
A crawling framework for blockchains and peer-to-peer systems
☆46Updated last year
Alternatives and similar repositories for fluxture:
Users that are interested in fluxture are comparing it to the libraries listed below
- Blockchain Challs from HACON2020 CTF☆13Updated 3 years ago
- A test suite to check for client-side script injection on websites that display NFTs.☆51Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆69Updated 8 months ago
- one off scripts and contracts☆18Updated last year
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 8 months ago
- Graveyard of past Web3 exploits☆21Updated 2 years ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- Experimental tool to ease the review of smart contracts upgrades☆78Updated last year
- My key take-aways from reviewing vulnerable Solidity smart contracts☆9Updated 2 years ago
- ☆11Updated 8 months ago
- KYC without doxxing yourself. Prove your identity to a third party without disclosing it.☆41Updated last year
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Updated 3 years ago
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆77Updated 2 years ago
- X-MAS CTF 2021 Ethereum challenges☆29Updated 3 years ago
- Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop☆18Updated 4 years ago
- CLI utility that broadcasts BTC, ETH, SOL, ZEC & XMR transactions through TOR using public block explorers☆74Updated 3 months ago
- Cairo/Starknet smart contract fuzzer☆122Updated last month
- Small Rust script that cracked Yearn's v2 site password from a hashed copy☆15Updated 4 years ago
- Formal verification of WETH9.sol with Z3☆57Updated 2 years ago
- Prettier config optimized to reduce AST churn & conform to solidity spec☆30Updated 2 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 6 months ago
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆24Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Here is where I upload all the notes i take about the Ethereum world to share with everyone.☆23Updated 6 years ago
- ☆21Updated 2 years ago
- Web3 Security Toolbox☆73Updated 10 months ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Updated 2 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago