Pinned Loading

1. integrity integrity Public

   Cairo STARK proof verifier for Starknet

   Cairo 75 25

2. cairo-lib cairo-lib Public

   A comprehensive library for Cairo 🐺

   Cairo 39 13

3. hdp-cairo hdp-cairo Public

   A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.

   Cairo 13 9

4. hdp-sp1 hdp-sp1 Public

   Herodotus Data Processor using SP1 as backend

   Rust 17 3

5. L2-indexer L2-indexer Public

   Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)

   Rust 35

6. stwo-gnark-verifier stwo-gnark-verifier Public

   Groth16 wrapper for STWO proof-system

   Go 12 3