zobront / homerolled-zkLinks
simple zk implementations in python
☆28Updated last year
Alternatives and similar repositories for homerolled-zk
Users that are interested in homerolled-zk are comparing it to the libraries listed below
Sorting:
- ☆17Updated 6 months ago
- ☆44Updated 9 months ago
- ☆42Updated last year
- 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☆82Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆63Updated 2 years ago
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- Diagrams for Solidity contracts☆47Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- A comprehensive guide to teach you about gas optimization patterns.☆25Updated 2 years ago
- ☆69Updated last year
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Updated last year
- ☆38Updated 2 years ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆40Updated 2 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆50Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- ☆59Updated last year
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆44Updated 8 months ago
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆37Updated 2 years ago
- ☆47Updated 11 months ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆50Updated 2 years ago
- ☆65Updated 2 years ago
- ☆18Updated 3 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated last year
- ☆59Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆26Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago