Hyli is a confidential yet verifiable financial settlement infrastructure for European regulated actors. It enables regulated institutions to settle, tokenize, and comply without exposing sensitive data.
☆119May 14, 2026Updated 2 weeks ago
Alternatives and similar repositories for hyli
Users that are interested in hyli are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Aug 11, 2024Updated last year
- A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.☆11Dec 5, 2024Updated last year
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 5 months ago
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 8 months ago
- A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.☆12Oct 21, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Nov 18, 2023Updated 2 years ago
- World ID state bridge for Linea☆11Oct 21, 2024Updated last year
- ☆14Dec 26, 2024Updated last year
- ZK Email in Noir☆87Mar 3, 2026Updated 2 months ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆28May 30, 2025Updated 11 months ago
- Concrete is a framework for building application-specific rollups on the OP Stack☆48Sep 7, 2024Updated last year
- Witness encryption for KZG openings☆35Nov 6, 2024Updated last year
- ☆13Aug 23, 2023Updated 2 years ago
- ☆20Nov 3, 2025Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Core smart contracts of Glacis v1☆10May 9, 2025Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Feb 20, 2025Updated last year
- Rust implementation of IETF RFC 9421, http message signatures☆30May 20, 2026Updated last week
- client side proving☆38Mar 12, 2025Updated last year
- a noir library for multiparty computation primitives☆18Feb 5, 2026Updated 3 months ago
- ☆23May 1, 2025Updated last year
- Noir support for Zed☆11Mar 23, 2026Updated 2 months ago
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- WebGPU MSM implementation☆16Oct 28, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Expander Compiler☆42Apr 9, 2026Updated last month
- Reference implementation of the node for the Miden blockchain☆98Updated this week
- ☆30Jun 18, 2024Updated last year
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 7 months ago
- Semaphore Protocol with Noir.☆12Mar 14, 2025Updated last year
- Honk Verifier in Solidity☆50Feb 21, 2026Updated 3 months ago
- On-chain Ethereum light client built with SP1☆82May 19, 2026Updated last week
- Lightweight transaction explorer for the OP Stack.☆20Apr 24, 2025Updated last year
- ArkProject is a liquidity layer for digital assets, uniting markets, empowering creators, and bridging the gap to mass adoption. Built on…☆28Mar 17, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆39Jan 8, 2024Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- An SDK for building trust infrastructure☆14Nov 15, 2024Updated last year
- ☆24Mar 8, 2024Updated 2 years ago
- High performance EraVM for zkSync.☆23May 22, 2026Updated last week
- ☆15Jan 10, 2025Updated last year
- An open-source, up-to-date toolkit for building decentralized applications (dapps) on Starknet. Move from prototyping to production-grade…☆63Apr 26, 2025Updated last year