1/ The S-two whitepaper is out. A 2nd-generation proof system for Starknet, built as a circle STARK over M31 for exceptionally efficient arithmetic. It provides a formal description of S-two together with a soundness and security analysis of the proof system 👇 (StarkWare (Privacy arc) 🥷)