Twenty-eight build prompts, read side by side with their annotations. Click any line for what it asks in ordinary words, why it is stated so absolutely, and what each formula in it says.

One multilinear opening, all the way through: a 4×8 table folded two ways, the corner where the two folds meet, and the division that makes the random fold provable. Every number printed.

Pick two scalars and watch the optimal ate pairing derived from the generators with every number shown: each slope and its modular inverse, all three coefficients of every line function, sixty-four Miller iterations, and the final exponentiation split open.

A production BN254 Fiat–Shamir transcript you step one stage at a time: the duplex sponge above, the permutation broken into its sixty-four rounds below, and the external and internal rounds drawn as two separate machines — only the one running lights up.

A single-page RV32IM machine you step one data transfer at a time: components light up as they send and receive, and every box on the diagram shows the value it is holding.

A self-contained practice tool for learning blackjack basic strategy — for simulation and learning only, with play money and no real wagering. Deals a realistic shoe, coaches your mistakes and scores your accuracy...