ycryptx / Hazook-Fast-Zk-Rollup

Related projects ⓘ

Alternatives and complementary repositories for Hazook-Fast-Zk-Rollup

• MinaProtocol / MIPs
  ☆24Updated 5 months ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆86Updated last month
• proto-kit / framework
  ☆28Updated this week
• MinaFoundation / mina-fungible-token
  ☆18Updated this week
• Trivo25 / o1js-elgamal
  Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.
  ☆21Updated last year
• MinaFoundation / Core-Grants
  ☆27Updated 3 months ago
• proto-kit / starter-kit
  Starter kit for privacy enabled application chains
  ☆41Updated last month
• Trivo25 / mina-zk-rollup
  A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.
  ☆31Updated last year
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆59Updated 8 months ago
• massalabs / riscairo
  RISC-V ELF interpreter in cairo
  ☆23Updated last month
• eerkaijun / kzg-rust
  Step by step implementation of KZG
  ☆19Updated last month
• garethtdavies / zkAppPool
  A zkApp based staking pool for MINA
  ☆15Updated last year
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆56Updated 3 weeks ago
• onurinanc / o1js-groth16
  ☆10Updated 10 months ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 11 months ago
• zeko-labs / zeko
  Zeko: zk-Rollup for Mina, a succinct blockchain
  ☆23Updated this week
• geometryxyz / protostar
  ☆49Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆73Updated last year
• shramee / cairo_pairing
  ☆18Updated 3 months ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆96Updated 2 months ago
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆50Updated 2 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆34Updated last year
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• tangle-network / gadget
  A framework for building modular AVS and Tangle Blueprints: https://docs.tangle.tools/developers/blueprints/introduction
  ☆14Updated this week
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated 9 months ago
• risc0 / demos
  ☆49Updated last week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆63Updated 4 months ago
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆79Updated 2 weeks ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆57Updated 7 months ago