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 protocol for credible commitments.☆74Updated last year
- Collection of helpful smart contracts to build Suapps☆44Updated 3 months ago
- ☆98Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆50Updated last year
- ☆76Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 9 months ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Pack data tightly together and save space.☆71Updated 2 years ago
- SUAVE Application Examples☆56Updated 3 months ago
- Gas efficient routers for L2 applications☆113Updated 2 years ago
- ☆58Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- ☆63Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- A Noir circuit that mimics Solidity's ecrecover☆50Updated 3 months ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆45Updated 3 months ago
- ☆64Updated last year
- Solidity static analyzer☆82Updated last year
- PoC of Revm execution in SGX☆79Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- A Foundry library for deploying and managing upgradeable smart contracts☆96Updated last year
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆56Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Solidity contracts for a next-gen rollup system.☆64Updated 3 months ago
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- An opinionated formatting and linting tool for foundry projects☆80Updated 8 months ago
- My personal notebook for various zk-related topics☆48Updated 2 months ago
- Solidity snippets too edgy to be in Solady☆113Updated 6 months ago