☆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
Sorting:
- Hyli is a high-performance blockchain with built-in privacy.☆117Feb 28, 2026Updated last week
- The ByteBeasts backend hosts all the Dojo contracts that define the game's logic and mechanics.☆13Feb 24, 2026Updated last week
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- ☆19Aug 4, 2022Updated 3 years ago
- High performance EraVM for zkSync.☆23Feb 26, 2026Updated last week
- ☆22Jul 14, 2025Updated 7 months ago
- 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
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Feb 20, 2025Updated last year
- AZTEC protocol specification☆31Feb 12, 2020Updated 6 years ago
- Vana ağının önemli projelerinden olan SixGPT için "Miner" Türkçe kurulum rehberi☆10Dec 28, 2024Updated last year
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- Expander Compiler☆42Feb 22, 2026Updated 2 weeks ago
- ☆32Sep 11, 2019Updated 6 years ago
- portability macros for compiler and hardware micro operations☆37Jul 1, 2024Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Comparison of the different LMD-GHOST implementations☆40May 4, 2019Updated 6 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- LLM RP TUI for Power Users.☆31Jan 13, 2026Updated last month
- ☆12Jul 8, 2024Updated last year
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- gasp tests☆13May 21, 2025Updated 9 months ago
- ☆11Feb 28, 2020Updated 6 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- Server and dashboard components☆12Jun 24, 2024Updated last year
- I like to learn new things☆10Feb 28, 2026Updated last week
- [RFC9380] Hash to curves - Go reference implementation☆21Nov 20, 2025Updated 3 months ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- ☆12Nov 23, 2020Updated 5 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Feb 24, 2020Updated 6 years ago
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 3 months ago
- ☆11Mar 24, 2023Updated 2 years ago
- Repository of papers released by Modulus Labs☆14Mar 13, 2024Updated last year
- ☆10Jan 7, 2024Updated 2 years ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Feb 19, 2026Updated 2 weeks ago
- Use nightli.es to rebuild N docker images on hub.docker.com☆15Oct 22, 2018Updated 7 years ago