SecurFi / zkProver
☆28Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for zkProver
- unhacked challenge 1: reaper☆41Updated 2 years ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆75Updated last year
- ☆43Updated 2 weeks ago
- ☆58Updated 9 months ago
- ☆43Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- Solidity static analyzer☆82Updated 11 months ago
- ☆65Updated last year
- Foundry template for the Optimizor Club SQRT challenge☆57Updated 2 years ago
- Console.log utility for debugging huff contracts☆65Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- ☆50Updated last year
- ☆38Updated last year
- Pack data tightly together and save space.☆71Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- ☆80Updated last year
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆51Updated last year
- ☆50Updated 2 years ago
- ☆50Updated last year
- ☆54Updated 2 years ago
- ☆63Updated last year
- ☆46Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆57Updated 3 weeks ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆35Updated last year
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated 11 months ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆42Updated 2 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated last year