hyli-org / verifiers-for-hyleView external linksLinks
☆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.☆116Updated this week
- The ByteBeasts backend hosts all the Dojo contracts that define the game's logic and mechanics.☆13Dec 13, 2024Updated last year
- 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
- ☆19Aug 4, 2022Updated 3 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- High performance EraVM for zkSync.☆23Oct 20, 2025Updated 3 months ago
- ☆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 10 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Feb 20, 2025Updated 11 months ago
- 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☆41Feb 9, 2026Updated last week
- portability macros for compiler and hardware micro operations☆36Jul 1, 2024Updated last year
- ☆32Sep 11, 2019Updated 6 years ago
- gasp tests☆13May 21, 2025Updated 8 months ago
- Comparison of the different LMD-GHOST implementations☆40May 4, 2019Updated 6 years ago
- ☆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
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- ☆11Feb 28, 2020Updated 5 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Use nightli.es to rebuild N docker images on hub.docker.com☆15Oct 22, 2018Updated 7 years ago
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- A nim module to handle polynomials☆13Jun 7, 2022Updated 3 years ago
- ☆12Apr 10, 2019Updated 6 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 3 weeks ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- Prints a dot graph of a nim ast dumped using the `dumpTree` macro.☆13Sep 18, 2022Updated 3 years ago
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- Development directory of the core bdBLB vesting and lockdrop mechanics☆10Jun 13, 2024Updated last year
- Automated setup and configuration for most of OpenAustralia Foundation's servers☆11Updated this week
- Comparison of leading error-correcting code implementations☆12Aug 19, 2022Updated 3 years ago
- ☆15Oct 22, 2025Updated 3 months ago
- Site du programme Entrepreneurs d'Intérêt Général☆14Oct 6, 2022Updated 3 years ago
- Analog circuit simulation library; wrapper for ngspice☆10Aug 31, 2020Updated 5 years ago