bbresearcher / ZK
☆18Updated last month
Alternatives and similar repositories for ZK:
Users that are interested in ZK are comparing it to the libraries listed below
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- ☆63Updated 2 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 7 months ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Foundry + Yul puzzles☆32Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- Content for Electisec Reports Site☆27Updated last week
- simple zk implementations in python☆24Updated 10 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆60Updated 3 weeks ago
- ☆43Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆44Updated 4 months ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated last year
- Diagrams for Solidity contracts☆46Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- ☆47Updated 6 months ago
- Starport is a kernel for building lending protocols☆24Updated 9 months ago
- ☆38Updated 2 years ago
- ☆36Updated last year
- ☆65Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆30Updated 11 months ago
- ☆48Updated last year
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated last month
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- ☆17Updated 7 months ago
- ☆18Updated 2 years ago