paradigmxyz / paradigm-ctf-2023View external linksLinks
☆88Jan 10, 2024Updated 2 years ago
Alternatives and similar repositories for paradigm-ctf-2023
Users that are interested in paradigm-ctf-2023 are comparing it to the libraries listed below
Sorting:
- Public infra related to hosting Paradigm CTF☆114Mar 24, 2024Updated last year
- ⚡️ Ethernaut CTF 2024 Challenges & Solutions☆116Mar 18, 2024Updated last year
- ☆38Sep 23, 2024Updated last year
- Challenges and Solutions of Blaz CTF 2023☆45Dec 5, 2023Updated 2 years ago
- CTF challenges made by MiloTruck☆97Jul 3, 2025Updated 7 months ago
- Puzzles used in the 2022 Paradigm CTF☆391Sep 16, 2022Updated 3 years ago
- ☆77Aug 1, 2025Updated 6 months ago
- A recreation of capturetheether.com using Solidity 0.8.0 and the foundry environment.☆91Aug 24, 2024Updated last year
- This is a asbtract syntax tree for huff written in rust to facilitate conversion of solidity to huff☆13Mar 2, 2024Updated last year
- Smart Contract Property-Based Testing Framework☆146Feb 10, 2026Updated last week
- Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solid…☆133Dec 23, 2023Updated 2 years ago
- ☆70May 14, 2025Updated 9 months ago
- Damn Vulnerable DeFi v4 Solutions☆51Sep 19, 2024Updated last year
- MEV Olympics☆44Dec 1, 2024Updated last year
- ☆88Sep 3, 2025Updated 5 months ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆52Jan 12, 2024Updated 2 years ago
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆137Feb 25, 2024Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- ☆47Aug 24, 2023Updated 2 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Aug 3, 2023Updated 2 years ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆182Feb 1, 2025Updated last year
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆48Updated this week
- A symbolic testing tool for EVM smart contracts☆967Aug 6, 2025Updated 6 months ago
- A collection of Solana CTF challenges☆193Aug 26, 2022Updated 3 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆31Apr 19, 2024Updated last year
- Rust bindings for Solidity's AST and visitors☆50Sep 4, 2023Updated 2 years ago
- A collection of EVM puzzles☆846Aug 4, 2023Updated 2 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 3 years ago
- A verbose CLI to probe go-ethereum data structures, built in rust.☆14Mar 3, 2023Updated 2 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- Write-ups and content for Curta puzzles, problems, etc.☆14Mar 25, 2024Updated last year
- ☆15Jan 24, 2023Updated 3 years ago
- Interactions between developers and auditors☆10Jan 30, 2024Updated 2 years ago
- Bugs in commonly forked DeFi protocols☆489Oct 3, 2025Updated 4 months ago
- reproduce kyber-elastic exploit☆76Nov 27, 2023Updated 2 years ago
- Framework for Solana CTF challenges☆74Dec 10, 2025Updated 2 months ago
- a simple implementation of the KZG polynomial commitment scheme☆25Nov 22, 2021Updated 4 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆276Jul 3, 2024Updated last year
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago