whitenois3 / huff-snark-verifier

Related projects: ⓘ

• cairoeth / rustmate
  🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
  ☆43Updated 8 months ago
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆42Updated 11 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆47Updated 5 months ago
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated last year
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆45Updated last year
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆42Updated this week
• RareSkills / noir-puzzles
  ☆47Updated last year
• jtriley-eth / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆78Updated last year
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆48Updated 2 years ago
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 2 years ago
• exp-table / hyena
  Pack data tightly together and save space.
  ☆71Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.
  ☆80Updated 10 months ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆73Updated 7 months ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated last year
• jtriley-eth / ether-deck
  ☆97Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆78Updated 10 months ago
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆57Updated last week
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆73Updated 11 months ago
• jtriley-eth / ether-deck-mk2
  ☆63Updated 6 months ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆71Updated this week
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆58Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆89Updated last month
• merklejerk / honeypause
  Permissionless onchain exploit bounties tied to a circuit breaker
  ☆40Updated 6 months ago
• noxx3xxon / evm-by-example
  ☆76Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆54Updated last month
• clabby / echidna-vs-forge
  Testing echidna vs. forge fuzzing
  ☆75Updated last year
• anton-rs / op-reth
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
  ☆63Updated 10 months ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆89Updated last year
• aave-starknet-project / aave-starknet-core
  ☆37Updated this week
• 0xKitetsu-smdk / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 2 years ago