Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
☆127Sep 4, 2022Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Robust, Extensible Template for Huff Projects☆27Oct 25, 2022Updated 3 years ago
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 3 years ago
- Eth mempool history☆31Sep 2, 2022Updated 3 years ago
- ☆35Jul 8, 2022Updated 4 years ago
- A Huff <> bytecode transpiler☆117May 21, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Mar 9, 2023Updated 3 years ago
- Huh? Who minted it?☆55Oct 17, 2022Updated 3 years ago
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 3 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- ☆104Jul 5, 2024Updated 2 years ago
- A template for noir.☆143Nov 24, 2023Updated 2 years ago
- Making your life easier with simple Univ3 examples☆85Apr 6, 2022Updated 4 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Oct 1, 2022Updated 3 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- GitHub action that installs huffc☆18Mar 22, 2023Updated 3 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆118May 6, 2024Updated 2 years ago
- Unified liquidity, accessible anywhere.☆23May 11, 2023Updated 3 years ago
- Scaling Ethereum, but this time in rust.☆89Apr 23, 2023Updated 3 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆280Jul 3, 2024Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆43Jul 22, 2022Updated 4 years ago
- ☆28Sep 27, 2022Updated 3 years ago
- A low level assembly language for the Ethereum Virtual Machine☆259Jul 4, 2022Updated 4 years ago
- ☆41Sep 23, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 8 years ago
- Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.☆46Jun 21, 2023Updated 3 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- clones-with-immutable-args by wighawag written in Huff.☆28Sep 15, 2022Updated 3 years ago
- evm inception: the evm inside the evm via yul and solidity☆228Apr 19, 2023Updated 3 years ago
- Run arbitrary code on the EVM☆266Feb 21, 2024Updated 2 years ago
- Tools for Yul.☆140Mar 29, 2023Updated 3 years ago
- ☆27Aug 23, 2022Updated 3 years ago
- Development framework for Foundry projects☆287Apr 23, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆28Mar 9, 2023Updated 3 years ago
- ☆63Mar 9, 2023Updated 3 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- Foundry + Yul template☆98Dec 27, 2023Updated 2 years ago
- ☆31Nov 22, 2022Updated 3 years ago
- on-chain liquidation bot built with Huff language☆108Mar 11, 2025Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆270Jun 22, 2024Updated 2 years ago