docker run --platform linux/amd64 btqag/aurora-prove to run the prover.
It's recommended to use it with the Keelung compiler and its library.
Content type
Image
Digest
sha256:72c2033f0…
Size
473.5 MB
Last updated
over 3 years ago
docker pull btqag/aurora-prove