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.
Curta requires the use of the nightly Rust toolchain. To use it by default, run the following command:
rustup override set nightlyIn the root directory of the project.
We recommend running the tests using the --release flag, as they are quite slow otherwise.
cargo test --releaseCurta starks can be integrated into a Plonky2 circuit