whitenois3 / huff-snark-verifierLinks
Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
☆127Updated 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:
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- ☆99Updated 2 years ago
- Pack data tightly together and save space.☆71Updated 2 years ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated 2 years ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated 2 months ago
- ☆44Updated 11 months ago
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- A simple merkle distributor written in Cairo☆38Updated 3 years ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆64Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated 2 years ago
- Gas efficient routers for L2 applications☆115Updated 3 years ago
- ☆63Updated 2 years ago
- ☆58Updated last year
- Solidity static analyzer☆83Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 3 years ago
- Execute programs from forge with an open 2-way communication channel between both☆56Updated last year
- ☆47Updated last year
- A simple multisig implementation for StarkNet☆43Updated 3 years ago
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆58Updated 2 years ago
- ☆74Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 3 years ago
- Beacon Chain from scratch☆44Updated 2 years ago
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Updated 3 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆52Updated last year
- Solmate-style Cairo ERC4626 Implementation☆46Updated 2 years ago
- ELO calculation as a solidity library (algorithm of 400 / chess ELO)☆34Updated 2 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year