StarkyX is a library for writing AIR constraints with composable and typed constraints. Currently, the main purpose of the library is to prove STARK-based accelerators for Plonky2 circuits.

Stark proofs and verification are implemented via Starky. This repository contains a modified fork of Starky to enable the support a 1-round AIR with random challenges and using the StarkyX AIR constraints. All the cryptographic primitives are imported from the Plonky2 proving system.

StarkyX requires the use of the nightly Rust toolchain. To use it by default, run the following command:

rustup override set nightly

In the root directory of the project.

We recommend running the tests using the --release flag, as they are quite slow otherwise.

cargo test --release

StarkyX starks can be integrated into a Plonky2 circuit

StarkyX has been audited by KALOS. The audit report can be found here. This repo was formerly named Curta, in the audit report it is referenced as Curta.