[package]
name = "maat_prover"
description = "Zero knowledge STARK prover and verifier for the Maat programming language"
keywords = ["compiler", "maat", "zk", "prover", "verifier"]
categories = ["compilers", "cryptography"]
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
homepage.workspace = true
readme = "README.md"

[dependencies]
winter-prover = "0.13"
winter-verifier = "0.13"
winter-crypto = "0.13"

maat_errors.workspace = true
maat_field.workspace = true
maat_trace.workspace = true
maat_air.workspace = true
