Curta

Introduction

Curta 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 Curta AIR constraints. All the cryptographic primitives are imported from the Plonky2 proving system.

Building

Curta 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

Usage

Building an AIR computation using Curta

Creating a STARK proof for an AIR computation

Integrating into a Plonky2 circuit

Curta starks can be integrated into a Plonky2 circuit