hyli-org/verifiers-for-hyle external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

hyli-org/verifiers-for-hyle

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/hyli-org/verifiers-for-hyle)

Close

hyli-org / verifiers-for-hyleView on GitHubMore

• External links
• Readme badge

☆11Aug 11, 2024Updated last year

Alternatives and similar repositories for verifiers-for-hyle

Users that are interested in verifiers-for-hyle are comparing it to the libraries listed below

• hyli-org / hyli

  View on GitHub
  Hyli is a high-performance blockchain with built-in privacy.
  ☆117Feb 28, 2026Updated last week
• ByteBeasts / ByteBeastsBackend

  View on GitHub
  The ByteBeasts backend hosts all the Dojo contracts that define the game's logic and mechanics.
  ☆13Feb 24, 2026Updated last week
• leonardoalt / powdr-brainfuck

  View on GitHub
  ZK proofs for Brainfuck execution using powdr
  ☆17Aug 28, 2024Updated last year
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• statechannels / tla-specs

  View on GitHub
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Jun 12, 2020Updated 5 years ago
• adietrichs / kzg-sharding

  View on GitHub
  ☆19Aug 4, 2022Updated 3 years ago
• matter-labs / vm2

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Feb 26, 2026Updated last week
• trovesfi / troves-client

  View on GitHub
  ☆22Jul 14, 2025Updated 7 months ago
• ArkProjectNFTs / ark-project

  View on GitHub
  ArkProject is a liquidity layer for digital assets, uniting markets, empowering creators, and bridging the gap to mass adoption. Built on…
  ☆29Mar 17, 2025Updated 11 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 last year
• AztecProtocol / aztec-v1-specification

  View on GitHub
  AZTEC protocol specification
  ☆31Feb 12, 2020Updated 6 years ago
• ugurcanETH / SixGPT

  View on GitHub
  Vana ağının önemli projelerinden olan SixGPT için "Miner" Türkçe kurulum rehberi
  ☆10Dec 28, 2024Updated last year
• kamel78 / DBPL

  View on GitHub
  Bilinear Pairings Components Library for Delphi
  ☆12Dec 19, 2018Updated 7 years ago
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆42Feb 22, 2026Updated 2 weeks ago
• vbuterin / diagrams

  View on GitHub
  ☆32Sep 11, 2019Updated 6 years ago
• gstrauss / plasma

  View on GitHub
  portability macros for compiler and hardware micro operations
  ☆37Jul 1, 2024Updated last year
• asonnino / fraudproofs-prototype

  View on GitHub
  Prototype of fraud proofs.
  ☆12Feb 13, 2022Updated 4 years ago
• protolambda / lmd-ghost

  View on GitHub
  Comparison of the different LMD-GHOST implementations
  ☆40May 4, 2019Updated 6 years ago
• proxima-one / keccak-circuit-benchmarks

  View on GitHub
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Oct 1, 2023Updated 2 years ago
• ia-flash / matchvec

  View on GitHub
  Reconnaître la marque/modèle des véhicules dans une image
  ☆11Mar 31, 2023Updated 2 years ago
• AlpinDale / sillytui

  View on GitHub
  LLM RP TUI for Power Users.
  ☆31Jan 13, 2026Updated last month
• ag8 / sha-transformer

  View on GitHub
  ☆12Jul 8, 2024Updated last year
• pondron / valid8r

  View on GitHub
  An open-source command line interface for linting your Ethereum 2.0 validator set up
  ☆14May 17, 2021Updated 4 years ago
• gasp-xyz / gasp-e2e

  View on GitHub
  gasp tests
  ☆13May 21, 2025Updated 9 months ago
• FlutterKing / flutter-sign-up-and-sign-In

  View on GitHub
  ☆11Feb 28, 2020Updated 6 years ago
• chyanju / Picus

  View on GitHub
  Automated verification of uniqueness property for ZKP circuits
  ☆45Jun 6, 2024Updated last year
• mratsim / talks

  View on GitHub
  A repo of my talks
  ☆11Nov 28, 2023Updated 2 years ago
• Consensys / eth2stats-server

  View on GitHub
  Server and dashboard components
  ☆12Jun 24, 2024Updated last year
• unbalancedparentheses / learning_systems_and_security

  View on GitHub
  I like to learn new things
  ☆10Feb 28, 2026Updated last week
• armfazh / h2c-go-ref

  View on GitHub
  [RFC9380] Hash to curves - Go reference implementation
  ☆21Nov 20, 2025Updated 3 months ago
• ilya-klyuchnikov / faba

  View on GitHub
  Fast Bytecode Analysis
  ☆15Jan 2, 2016Updated 10 years ago
• nikki93 / ng-public

  View on GitHub
  ☆12Nov 23, 2020Updated 5 years ago
• clasp-developers / ctak

  View on GitHub
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Feb 24, 2020Updated 6 years ago
• hurchalla / modular_arithmetic

  View on GitHub
  Clockwork: A Modular Arithmetic library for C++
  ☆12Nov 18, 2025Updated 3 months ago
• JideGuru / flappy_bird_stream

  View on GitHub
  ☆11Mar 24, 2023Updated 2 years ago
• Modulus-Labs / Papers

  View on GitHub
  Repository of papers released by Modulus Labs
  ☆14Mar 13, 2024Updated last year
• kobigurk / zkhack-double-trouble

  View on GitHub
  ☆10Jan 7, 2024Updated 2 years ago
• Consensys / bavard

  View on GitHub
  WIP: code generation package in Go -- used by gnark, goff and gurvy
  ☆14Feb 19, 2026Updated 2 weeks ago
• zbeekman / nightly-docker-rebuild

  View on GitHub
  Use nightli.es to rebuild N docker images on hub.docker.com
  ☆15Oct 22, 2018Updated 7 years ago