Certora / tutorials-codeLinks
Certora tutorials
☆26Updated 3 months ago
Alternatives and similar repositories for tutorials-code
Users that are interested in tutorials-code 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.☆49Updated last month
- ☆60Updated 2 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆52Updated last year
- Foundry + Yul template☆97Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Updated 2 years ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Updated last year
- A playground for the Ethereum Vault Connector (EVC)☆43Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Updated 2 years ago
- ☆70Updated 7 months ago
- List of Halmos resources.☆57Updated 10 months ago
- The Incentivized Action Market (IAM) Protocol.☆71Updated 7 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Updated 2 years ago
- Solidity snippets too edgy to be in Solady☆117Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated last year
- A forkable template repo for easily writing and testing toy contracts☆63Updated 3 months ago
- A composable EVM-native decentralized exchange protocol.☆58Updated 2 months ago
- simple zk implementations in python☆30Updated last year
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆43Updated last year
- Contracts for Blur and Blend☆30Updated last year
- Solidity static analyzer☆82Updated 2 years ago
- ☆66Updated 2 years ago
- Permissionless onchain exploit bounties tied to a circuit breaker☆42Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Updated 2 weeks ago
- ☆58Updated last year
- Cross-chain interop research, funded by Optimism Governance.☆61Updated 7 months ago
- A set of exercises to get started with Cairo0☆21Updated 8 months ago
- Content for yAudit Reports Site☆29Updated last week
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆83Updated 2 years ago
- ☆102Updated 2 weeks ago
- 🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics☆49Updated 8 months ago