whitenois3 / huff-snark-verifierView external linksLinks
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
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
- A Huff <> bytecode transpiler☆117May 21, 2025Updated 8 months ago
- ☆105Jul 5, 2024Updated last year
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 3 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Mar 9, 2023Updated 2 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117May 6, 2024Updated last year
- Making your life easier with simple Univ3 examples☆85Apr 6, 2022Updated 3 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- A template for noir.☆143Nov 24, 2023Updated 2 years ago
- Scaling Ethereum, but this time in rust.☆90Apr 23, 2023Updated 2 years ago
- A low level assembly language for the Ethereum Virtual Machine☆259Jul 4, 2022Updated 3 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- Huh? Who minted it?☆56Oct 17, 2022Updated 3 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.☆46Jun 21, 2023Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆226Apr 19, 2023Updated 2 years ago
- ☆63Mar 9, 2023Updated 2 years ago
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆276Jul 3, 2024Updated last year
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- ☆12Sep 25, 2022Updated 3 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Oct 1, 2022Updated 3 years ago
- Development framework for Foundry projects☆288Apr 23, 2025Updated 9 months ago
- Run arbitrary code on the EVM☆265Feb 21, 2024Updated last year
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆28Mar 9, 2023Updated 2 years ago
- A Foundry plugin that enables you to plot charts within solidity.☆158Jan 4, 2024Updated 2 years ago
- Foundry + Yul template☆97Dec 27, 2023Updated 2 years ago
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆430Nov 17, 2023Updated 2 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- GitHub action that installs huffc☆17Mar 22, 2023Updated 2 years ago
- ☆100May 24, 2023Updated 2 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Jun 22, 2024Updated last year
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆277Aug 26, 2025Updated 5 months ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Aug 12, 2023Updated 2 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 3 years ago