hyli-org / hyliLinks
The new proof-powered L1 to build the next generation of apps.
β78Updated this week
Alternatives and similar repositories for hyli
Users that are interested in hyli are comparing it to the libraries listed below
Sorting:
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β124Updated this week
- πΊ Starknet Rust types π¦β70Updated last week
- Rust Library for running the Starknet OS via the Cairo VMβ65Updated 3 weeks ago
- Core components of the Miden protocolβ81Updated this week
- β61Updated 3 months ago
- Smart contracts for onchain verification of SP1.β98Updated last week
- Reference implementation of the node for the Miden blockchainβ66Updated this week
- Cryptographic primitives used in Polygon Miden rollupβ113Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocolβ61Updated 8 months ago
- The schelling point for ZK applications.β138Updated last year
- A storage system inspired by Besu using Starknet Merkle Treesβ61Updated 2 months ago
- β63Updated last year
- β59Updated 7 months ago
- Internal engineering designsβ11Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.β45Updated last year
- EigenLayer Rust Developer Toolingβ92Updated this week
- Specification of P2P protocol for StarkNet nodesβ49Updated this week
- Out-of-circuit zkEVM implementationβ80Updated 10 months ago
- Succinct's Production-Grade Proving Engine for the OP Stackβ167Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β77Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.β59Updated 10 months ago
- β51Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offerβ¦β131Updated this week
- β55Updated 4 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.β154Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.β¦β103Updated this week
- A collection of ZK light client libraries for various blockchainsβ53Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.β81Updated last year
- Wasm friendly Celestia light node implementation in Rustβ151Updated last week
- β94Updated last month