Skip to content

Latest commit

 

History

History
13 lines (11 loc) · 413 Bytes

File metadata and controls

13 lines (11 loc) · 413 Bytes

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