34. Tutorials🔗

The reference chapters above document each library on its own terms. The tutorials here are application-first: each leads with a problem a reader already cares about and shows the libraries carrying a recognizable end-to-end workflow. Lean examples are checked by the manual build or their linked conformance targets.

1. 34.1. AES byte arithmetic in GF(2⁸)
2. 34.2. Why the AES modulus works
3. 34.3. Prime splitting via Kummer-Dedekind
4. 34.4. LLL in cryptanalysis: a toy Coppersmith attack
5. 34.5. Proving the secp256k1, P-384 and Curve448 field primes