zobront / homerolled-zk
simple zk implementations in python
☆19Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for homerolled-zk
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆63Updated 5 months ago
- ☆63Updated last year
- ☆19Updated 4 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 3 months ago
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- ☆38Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Solidity static analyzer☆82Updated 11 months ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆42Updated 2 months ago
- ☆35Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Updated last year
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated 9 months ago
- yAudit Completed Reports☆27Updated last week
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆75Updated last year
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 5 months ago
- ☆43Updated 2 weeks ago
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- Permissionless onchain exploit bounties tied to a circuit breaker☆41Updated 8 months ago
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆29Updated 7 months ago
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- ☆43Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆57Updated 3 weeks ago
- ☆65Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated last year
- A playground for Uniswap v4 hooks☆24Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆47Updated 10 months ago