whitenois3 / huff-snark-verifier
Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
☆127Updated 2 years ago
Alternatives and similar repositories for huff-snark-verifier:
Users that are interested in huff-snark-verifier are comparing it to the libraries listed below
- A minimal based rollup implementation that is easy to understand and extend☆36Updated this week
- ☆98Updated last year
- ☆58Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Ethereum stateless tools☆46Updated 2 weeks ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆49Updated last year
- Solidity contracts for a next-gen rollup system.☆65Updated 5 months ago
- Collection of helpful smart contracts to build Suapps☆44Updated 5 months ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆45Updated 4 months ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- Solidity static analyzer☆83Updated last year
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆45Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆67Updated last year
- ☆54Updated last year
- Gas efficient routers for L2 applications☆114Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Pack data tightly together and save space.☆71Updated 2 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated 2 months ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆62Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- EIP-3074 (`AUTH` and `AUTHCALL` opcodes) example foundry project☆77Updated 11 months ago
- A Noir circuit that mimics Solidity's ecrecover☆52Updated 5 months ago