Pinned Loading

1. integrity integrity Public

   Cairo STARK proof verifier for Starknet

   Cairo 73 26

2. cairo-lib cairo-lib Public

   A comprehensive library for Cairo 🐺

   Cairo 40 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 10

4. hdp-sp1 hdp-sp1 Public

   Herodotus Data Processor using SP1 as backend

   Rust 16 3

5. herodotus-evm herodotus-evm Public archive

   Herodotus EVM contracts

   Solidity 17 7

6. L2-indexer L2-indexer Public

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

   Rust 35