Alternatives and similar repositories for hyli

Users that are interested in hyli are comparing it to the libraries listed below

• hyli-org / verifiers-for-hyle

  View on GitHub
  ☆11Aug 11, 2024Updated last year
• MatteoMer / provable-email-game-engine

  View on GitHub
  A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.
  ☆11Dec 5, 2024Updated last year
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• zkemail / noir-jwt

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 2 months ago
• HerodotusDev / hdp

  View on GitHub
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Feb 20, 2025Updated 11 months ago
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• kfastov / worldcoin-bridge-linea

  View on GitHub
  World ID state bridge for Linea
  ☆11Oct 21, 2024Updated last year
• jat9292 / noir-elgamal

  View on GitHub
  A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve
  ☆11Nov 18, 2023Updated 2 years ago
• concrete-eth / concrete-geth

  View on GitHub
  Concrete is a framework for building application-specific rollups on the OP Stack
  ☆48Sep 7, 2024Updated last year
• zkemail / zkemail.nr

  View on GitHub
  ZK Email in Noir
  ☆82Updated this week
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆41Feb 9, 2026Updated last week
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 4 months ago
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 3 months ago
• hyli-org / vibe-check

  View on GitHub
  A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
  ☆13Oct 21, 2024Updated last year
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆29May 30, 2025Updated 8 months ago
• nemi-fi / mezcal

  View on GitHub
  Cutting edge on-chain dark pool
  ☆19Sep 26, 2025Updated 4 months ago
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• rot256 / research-we-kzg

  View on GitHub
  Witness encryption for KZG openings
  ☆33Nov 6, 2024Updated last year
• noir-lang / noir_rsa

  View on GitHub
  ☆22May 1, 2025Updated 9 months ago
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• ProjectZKM / zkm-prover

  View on GitHub
  A parallel proving service for ZKM.
  ☆22Dec 18, 2025Updated last month
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• ZippelLabs / ZP1

  View on GitHub
  RISC-V prover system
  ☆48Jan 15, 2026Updated last month
• matter-labs / vm2

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Oct 20, 2025Updated 3 months ago
• succinctlabs / sp1-helios

  View on GitHub
  On-chain Ethereum light client built with SP1
  ☆80Dec 16, 2025Updated 2 months ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• succinctlabs / succinctx

  View on GitHub
  The schelling point for ZK applications.
  ☆144May 2, 2024Updated last year
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• lurk-lang / bellpepper

  View on GitHub
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Jan 27, 2025Updated last year
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• junkurihara / httpsig-rs

  View on GitHub
  Rust implementation of IETF RFC 9421, http message signatures
  ☆29Nov 25, 2025Updated 2 months ago
• maksimryndin / ekubo-atomic-arbitrage

  View on GitHub
  Atomic arbitrage bot for Ekubo
  ☆23Oct 6, 2024Updated last year
• noir-lang / noir_bigcurve

  View on GitHub
  ☆14Feb 6, 2026Updated last week
• SeismicSystems / seismic-revm

  View on GitHub
  Seismic REVM implements the Mercury Specification of the EVM: a shielded virtual machine that powers Seismic's blockchain
  ☆12Feb 6, 2026Updated last week
• aragon / protocol-dashboard

  View on GitHub
  Aragon Protocol Dashboard
  ☆11Sep 4, 2024Updated last year