whitenois3 / huff-snark-verifierLinks
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
Sorting:
- ☆58Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆49Updated last year
- ☆54Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Gas efficient routers for L2 applications☆114Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Execute programs from forge with an open 2-way communication channel between both☆57Updated last year
- ☆98Updated 2 years ago
- Collection of helpful smart contracts to build Suapps☆44Updated 6 months ago
- Solidity contracts for a next-gen rollup system.☆65Updated 6 months ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆81Updated last year
- SUAVE Application Examples☆57Updated 6 months ago
- ☆67Updated last year
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆56Updated last year
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- A minimal based rollup implementation that is easy to understand and extend☆38Updated this week
- PoC of Revm execution in SGX☆80Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 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
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- ☆76Updated 2 years ago
- Solidity static analyzer☆82Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆38Updated 6 months ago
- Pack data tightly together and save space.☆71Updated 2 years ago
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- ☆63Updated 2 years ago
- Solidity snippets too edgy to be in Solady☆116Updated 9 months ago
- A Foundry library for deploying and managing upgradeable smart contracts☆96Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆59Updated 3 months ago