Redirecting to https://illya.sh/thoughts/generating-the-proof-executing-the-computation