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
  ☆17Oct 2, 2024Updated last year
• AbdelStark / cashu-zk-engine

  View on GitHub
  Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
  ☆13Sep 18, 2024Updated last year
• iosis-tech / zetina

  View on GitHub
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Dec 5, 2024Updated last year
• Okm165 / cairo1-cairo0bootloader

  View on GitHub
  Cairo1 execution in Cairo0 environment
  ☆11Jul 14, 2024Updated last year
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• asbjornenge / tzkt-api

  View on GitHub
  TzKTAPI Module for Node.js using modules
  ☆11Feb 4, 2022Updated 4 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
• NethermindEth / optimized_ecc_cairo

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

  View on GitHub
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆44Feb 4, 2025Updated last year
• hananbeer / tornado-core-blacklist

  View on GitHub
  Tornado cash fork with blacklist to prevent illegal money laundering
  ☆10Mar 13, 2023Updated 3 years ago
• AFK-AlignedFamKernel / afk_monorepo

  View on GitHub
  AFK: Aligned Fam Kernel - Monorepo
  ☆19Dec 10, 2025Updated 4 months ago
• HerodotusDev / integrity

  View on GitHub
  Cairo STARK proof verifier for Starknet
  ☆76Jan 27, 2026Updated 2 months ago
• Serverless GPU API endpoints on Runpod - Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• Moonsong-Labs / cairo-bootloader

  View on GitHub
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Jul 3, 2024Updated last year
• cartridge-gg / cairo-sha256

  View on GitHub
  Computes SHA256 of arbitrary length inputs.
  ☆15Nov 2, 2022Updated 3 years ago
• cartridge-gg / drive-ai

  View on GitHub
  Self driving car AI in road fighter world
  ☆21Aug 4, 2023Updated 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
• keep-starknet-strange / awesome-stwo

  View on GitHub
  A curated list of awesome projects using STWO.
  ☆39Jun 27, 2025Updated 9 months ago
• baking-bad / pysignalr

  View on GitHub
  Modern, reliable and async-ready client for SignalR protocol
  ☆30Apr 11, 2026Updated last week
• kkrt-labs / cairo-m

  View on GitHub
  The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
  ☆56Nov 3, 2025Updated 5 months ago
• starkoracles / Aero

  View on GitHub
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆39Jul 27, 2023Updated 2 years ago
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• cartridge-gg / explorer

  View on GitHub
  A developer oriented and stateless explorer for Starknet.
  ☆14Feb 10, 2026Updated 2 months ago
• horuslabsio / TBA

  View on GitHub
  Token Bound Accounts in Cairo
  ☆19Jul 9, 2025Updated 9 months ago
• baking-bad / beacon-dotnet-sdk

  View on GitHub
  Beacon .NET SDK for Tezos wallet developers to seamlessly connect to multiple dApps
  ☆12Jun 26, 2023Updated 2 years ago
• HerodotusDev / cairo-mmr

  View on GitHub
  Cairo Merkle Mountain Range
  ☆37Nov 8, 2023Updated 2 years ago
• software-mansion / cairo-profiler

  View on GitHub
  Profiler for Cairo programming language & Starknet
  ☆37Apr 1, 2026Updated 2 weeks ago
• shramee / cairo_pairing

  View on GitHub
  ☆19Aug 15, 2024Updated last year
• m-kus / tz-starks

  View on GitHub
  🐺 Simple STARK verifier in cameligo
  ☆11Jun 5, 2023Updated 2 years ago
• informalsystems / ibc-starknet

  View on GitHub
  Integration of IBC with Starknet
  ☆21Sep 16, 2025Updated 7 months ago
• Ferret-san / fuelmint

  View on GitHub
  ☆16Feb 22, 2023Updated 3 years ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• celenium-io / celenium-interface

  View on GitHub
  ☆25Apr 2, 2026Updated 2 weeks ago
• starkware-bitcoin / stark-symphony

  View on GitHub
  STARK verifier written in SimplicityHL language
  ☆19Sep 25, 2025Updated 6 months ago
• starknet-io / types-rs

  View on GitHub
  🐺 Starknet Rust types 🦀
  ☆78Dec 2, 2025Updated 4 months ago
• starkware-libs / cairo_native

  View on GitHub
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆135Apr 10, 2026Updated last week
• bikerworld / tezos-node

  View on GitHub
  Run a rolling tezos-node in docker
  ☆11Oct 8, 2022Updated 3 years ago
• z-korp / zknight-front

  View on GitHub
  ☆11Nov 17, 2023Updated 2 years ago
• antoyo / rustc_codegen_gcc

  View on GitHub
  libgccjit AOT codegen for rustc
  ☆12Feb 6, 2025Updated last year