SecurFi / zkProverLinks
☆31Updated last year
Alternatives and similar repositories for zkProver
Users that are interested in zkProver are comparing it to the libraries listed below
Sorting:
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆58Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆50Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated 2 years ago
- ☆42Updated last year
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- Solidity static analyzer☆83Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Generating Inputs for OZ's MultiProof and SingleProof☆39Updated 9 months ago
- ☆47Updated 11 months ago
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- ☆44Updated 9 months ago
- ☆98Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆77Updated 10 months ago
- ☆65Updated 2 years ago
- MEV Olympics☆44Updated 8 months ago
- SUAVE Application Examples☆57Updated 8 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆60Updated 3 weeks ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆60Updated 4 years ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated 2 years ago
- Gas efficient routers for L2 applications☆115Updated 2 years ago
- Console.log utility for debugging huff contracts☆68Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆59Updated 2 months ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- A curated list of content related to EIP-7702 account abstraction☆74Updated 3 weeks ago
- ☆69Updated 3 months ago