OpenViSTAI · Agents · Blockchain · Crypto
Submit a project
Menu
ZK & Privacy

Raito

Raito is a Bitcoin consensus client written in Cairo that applies block-validation logic and produces succinct STARK proofs of execution correctness, allowing another party to verify a resulting chain state without rerunning validation.

Explore the practical guide ↓

Independent OpenViST project profile, based on linked sources.

Raito — OpenViST project profile in ZK & Privacy.
OpenViST project illustration. See the linked sources for product details.
Understand the project

Practical overview

When it fits

Use Raito when investigating how Bitcoin consensus validation can be expressed in Cairo and accompanied by proofs. The project explicitly warns that it is early-stage and not for production use.

Who it is for

  • Bitcoin developers exploring proof-backed consensus validation.
  • Researchers and builders working with Cairo, STARKs or Bitcoin node synchronization.

Documented uses

  • Validate consecutive Bitcoin blocks against a previously proven chain state.
  • Generate a proof for the updated chain state so another party can check execution correctness.
  • Explore proof-based approaches to faster, trust-minimized full-node bootstrapping.
Before you choose

Requirements & limits

The project is available as a public GitHub repository under the MIT license.

  • The client processes a batch of consecutive blocks together with a STARK proof of the preceding chain state, then generates a proof for the new state.
  • Proof-based synchronization retains trust assumptions in Raito, Cairo, Stwo and STARK soundness.
  • The README documents Scarb build and test commands and a Python dependency installation step.
  • The repository cautions that breaking changes are expected and advises against production use.

Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.

Source-based practical guide

Compile and test the Raito packages

Build the Cairo packages and run the repository's test suite.

Before you start

  • The Raito repository.
  • Scarb for the documented build and test commands.

Steps

  1. From the repository, run scarb build to compile all packages.

  2. Run scarb test to run tests for all packages.

Expected outcome

The packages are compiled and the documented test suite is run.

Guide limitations

  • The project describes itself as early-stage and says it should not be used in production.
  • These repository instructions do not establish successful execution in a particular environment.
Documentation 1 ↗
Evidence and transparency

Sources & review

Official repository ↗
Source record details
Source availability
Active
Sources checked
14 October 2026
Original website title
starkware-bitcoin/raito · Official homepage title · retained in its source language
How we review sourcesSuggest a correction