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.
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
