STARK BY HAND

This is a Sage script for the Risc0 tutorial STARK by Hand, written by the great Paul.

Run

Use Sage to run the script:

sage stark_by_hand.sage

Or use the Docker image for simplicity: https://teddav.github.io/sagemath/

docker run --rm --platform linux/amd64 -v $(pwd):/app -w /app sagemath/sagemath 'sage ./stark_by_hand.sage'