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