StarkWare recently open-sourced the next-generation STARK prover, Stwo. Estimated to be at least 100x faster than Stone, our current prover, Stwo, is expected to be the fastest validity prover out there. Join us and the folks from Polygon for the next STARK @ Home to learn about the maths behind Stwo and what drives it: Performance -The effect of small field size on proof generation time -Measuring Stwo in the wild Light Math - GKR, or “how to trade off round complexity and hash complexity” - Mixed degree, or “how to go from one size fits all to custom-tailored boxes” - Circle STARK, or “how to find recursive patterns where they shouldn’t exist” Deep Math - Unpacking the Circle STARK white paper