The stwo-cairo-m31 repo contains WIP AIRs for the Stwo prover native to the M31 field. They are unaudited and not ready to be used in production. Additionally, the tooling to use these AIRs does not yet exists.

stwo-cairo-air

This repo is using Git LFS

https://packagecloud.io/github/git-lfs/install
sudo apt-get update
sudo apt-get install git-lfs
git lfs install
git lfs fetch --all
git lfs pull

Name		Name	Last commit message	Last commit date
Latest commit History 250 Commits
.github/workflows		.github/workflows
crates		crates
scripts		scripts
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
rust-toolchain.toml		rust-toolchain.toml
rustfmt.toml		rustfmt.toml