dipdup-io/stone-packaging external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

dipdup-io/stone-packaging

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/dipdup-io/stone-packaging)

Close

dipdup-io / stone-packagingView on GitHubMore

• External links
• Readme badge

Various forms of distribution for the Starkware Stone prover and verifier

☆17Jan 15, 2025Updated last year

Alternatives and similar repositories for stone-packaging

Users that are interested in stone-packaging are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Okm165 / stone-prover-cairo0-verifier

  View on GitHub
  Integrating Stone Prover's generated proofs with the Cairo0 verifier
  ☆10Mar 8, 2024Updated 2 years ago
• zksecurity / stark-evm-adapter

  View on GitHub
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆18Oct 2, 2024Updated 2 years ago
• AbdelStark / cashu-zk-engine

  View on GitHub
  Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
  ☆13Sep 18, 2024Updated 2 years ago
• dipdup-io / starknet-indexer

  View on GitHub
  🐺 Starknet indexer | Base component of the DipDup Vertical for Starknet
  ☆18Jul 17, 2025Updated last year
• iosis-tech / zetina

  View on GitHub
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Dec 5, 2024Updated last year
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• Okm165 / cairo1-cairo0bootloader

  View on GitHub
  Cairo1 execution in Cairo0 environment
  ☆11Jul 14, 2024Updated 2 years ago
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated 2 years ago
• kkrt-labs / cairo-m

  View on GitHub
  The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
  ☆58Nov 3, 2025Updated last year
• asbjornenge / tzkt-api

  View on GitHub
  TzKTAPI Module for Node.js using modules
  ☆11Feb 4, 2022Updated 4 years ago
• HerodotusDev / integrity

  View on GitHub
  Cairo STARK proof verifier for Starknet
  ☆75Jan 27, 2026Updated 9 months ago
• zksecurity / stone-cli

  View on GitHub
  stone-cli is a CLI for proving and verifying Cairo programs.
  ☆27Aug 7, 2025Updated last year
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆20Nov 4, 2024Updated 2 years ago
• keep-starknet-strange / awesome-stwo

  View on GitHub
  A curated list of awesome projects using STWO.
  ☆38Jun 27, 2025Updated last year
• cartridge-gg / explorer

  View on GitHub
  A developer oriented and stateless explorer for Starknet.
  ☆14Apr 22, 2026Updated 6 months ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• baking-bad / pysignalr

  View on GitHub
  Modern, reliable and async-ready client for SignalR protocol
  ☆34Oct 17, 2026Updated 2 weeks ago
• zksecurity / stwo-book

  View on GitHub
  ☆12Feb 20, 2026Updated 8 months ago
• shramee / cairo_pairing

  View on GitHub
  ☆19Aug 15, 2024Updated 2 years ago
• horuslabsio / TBA

  View on GitHub
  Token Bound Accounts in Cairo
  ☆21Jul 9, 2025Updated last year
• iosis-tech / swiftness

  View on GitHub
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆44Feb 4, 2025Updated last year
• Moonsong-Labs / cairo-bootloader

  View on GitHub
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Jul 3, 2024Updated 2 years ago
• NethermindEth / optimized_ecc_cairo

  View on GitHub
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Feb 8, 2023Updated 3 years ago
• m-kus / testex

  View on GitHub
  💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.
  ☆12Feb 14, 2019Updated 7 years ago
• cartridge-gg / drive-ai

  View on GitHub
  Self driving car AI in road fighter world
  ☆21Aug 4, 2023Updated 3 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• KasarLabs / ask-starknet

  View on GitHub
  Starknet network’s official MCP server
  ☆15Jan 12, 2026Updated 9 months ago
• hananbeer / tornado-core-blacklist

  View on GitHub
  Tornado cash fork with blacklist to prevent illegal money laundering
  ☆11Mar 13, 2023Updated 3 years ago
• astraly-labs / calf

  View on GitHub
  ☆16Jan 10, 2025Updated last year
• dipdup-io / go-lib

  View on GitHub
  Golang SDK for TzKT API
  ☆12Updated this week
• software-mansion-labs / cairo-compiler-workshop

  View on GitHub
  A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.
  ☆20Aug 7, 2024Updated 2 years ago
• HerodotusDev / hdp

  View on GitHub
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Feb 20, 2025Updated last year
• HerodotusDev / stwo-gnark-verifier

  View on GitHub
  Groth16 wrapper for STWO proof-system
  ☆12Jan 19, 2026Updated 9 months ago
• software-mansion / universal-sierra-compiler

  View on GitHub
  ☆20Updated this week
• cartridge-gg / cairo-sha256

  View on GitHub
  Computes SHA256 of arbitrary length inputs.
  ☆15Nov 2, 2022Updated 4 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• baking-bad / beacon-dotnet-sdk

  View on GitHub
  Beacon .NET SDK for Tezos wallet developers to seamlessly connect to multiple dApps
  ☆12Jun 26, 2023Updated 3 years ago
• dpinones / starklings-app

  View on GitHub
  ☆43Apr 24, 2025Updated last year
• starknet-io / types-rs

  View on GitHub
  🐺 Starknet Rust types 🦀
  ☆78Dec 2, 2025Updated 11 months ago
• AntChainOpenLabs / NitrooZK-stwo

  View on GitHub
  A GPU-accelerated Stwo prover by AntChain OpenLabs.
  ☆14Mar 20, 2026Updated 7 months ago
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• tzkt / api-sdk-ts

  View on GitHub
  Typed SDK for TzKT API
  ☆17Sep 27, 2023Updated 3 years ago
• HerodotusDev / hdp-cairo

  View on GitHub
  A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
  ☆13Apr 7, 2026Updated 6 months ago