code-423n4 / 2025-03-starknetLinks
☆9Updated 6 months ago
Alternatives and similar repositories for 2025-03-starknet
Users that are interested in 2025-03-starknet are comparing it to the libraries listed below
Sorting:
- EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.☆48Updated 2 months ago
- A collection of awesome Wake tests including links to guides and more.☆16Updated 3 months ago
- ☆13Updated last year
- ☆10Updated last year
- ☆16Updated 2 years ago
- Interactions between developers and auditors☆10Updated last year
- Diagrams for Solidity contracts☆47Updated last year
- Certora tutorials☆29Updated 4 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Updated 2 years ago
- ☆10Updated 2 years ago
- ☆41Updated 5 months ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- ☆34Updated 8 months ago
- ☆32Updated 3 years ago
- ☆76Updated 5 months ago
- ☆11Updated 2 years ago
- A playground for the Ethereum Vault Connector (EVC)☆43Updated last year
- Repository containing CTF challenges from nmirchev8, deth and bOgO.☆15Updated last year
- ☆50Updated 2 years ago
- ☆74Updated 3 weeks ago
- A collection of ctf challenges based on Rareskills educational content☆36Updated last year
- This code accompanies the invariant testing tutorial on our website.☆20Updated 2 years ago
- ☆87Updated last year
- ☆20Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Updated last year
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated last year
- List of Halmos resources.☆58Updated 10 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated last year
- A composable EVM-native decentralized exchange protocol.☆57Updated 3 months ago
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago