Certora / tutorials-code
Certora tutorials
☆25Updated last month
Alternatives and similar repositories for tutorials-code:
Users that are interested in tutorials-code are comparing it to the libraries listed below
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆50Updated last year
- ☆54Updated last year
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆31Updated 2 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Content for Electisec Reports Site☆27Updated 2 weeks ago
- List of Halmos resources.☆53Updated last month
- simple zk implementations in python☆24Updated 10 months ago
- A general purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆34Updated 3 weeks ago
- Solidity static analyzer☆83Updated last year
- ☆26Updated 10 months ago
- A set of exercises to get started with Cairo0☆20Updated last week
- This code accompanies the invariant testing tutorial on our website.☆20Updated last year
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- A Solidity library for transient storage management ✨☆59Updated 2 months ago
- ☆65Updated 2 years ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆62Updated last week
- A Proxy contract incorporating a Reentrancy Guard☆28Updated 2 years ago
- A composable EVM-native decentralized exchange protocol.☆57Updated 5 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- A universal rewards distributor written in Solidity.☆47Updated 2 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- ☆48Updated 3 months ago
- The Incentivized Action Market (IAM) Protocol.☆68Updated 2 months ago
- ☆36Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- Index of Rareskill Blog posts using playwright☆21Updated last year
- ☆58Updated last year
- Core contracts for the Doppler Protocol☆46Updated last week
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆68Updated 5 months ago