📐 Eight-symbol detection Any two equal-length valid codex32 strings within a checksum period that differ in at most eight symbols are in fact the same string. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 ℤp is a field when p is prime For $p$ prime, $\\\\mathbb{Z}_p$ is a field with $p$ elements. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 A field has no zero divisors If $ab = 0$ in a field and $a \\\\ne 0$, then $b = 0$. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Derivation Computing the share at an index not currently held, by interpolating the held shares at that index — column by column, exactly as in Part 3. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 A one-symbol one-time pad over GF(32) has perfect secrecy With a uniformly random key used once, every ciphertext is equally likely under every message, so observing the ciphertext leaves the attacker\ Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Every order divides 1023 The order of any nonzero element of GF(1024) divides $1023 = 3 \\\\cdot 11 \\\\cdot 31$, so it is one of 1, 3, 11, 31, 33, 93, 341, 1023. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 The conjugation map The map $t \\\\mapsto t^{32}$ is a field automorphism of GF(1024). In coordinates it is $(a + bz) \\\\mapsto (a+b) + bz$. It fixes exactly the elements of GF(32), it swaps the two roots of $x^2 + x + 1$, and applying it twice returns the original element. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Any single transcription error is detected If a valid codex32 string is transcribed with one wrong symbol, the result fails verification. The wallet that would have been silently wrong is loudly wrong instead. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 The bech32 alphabet The 32 characters, in field-value order: qpzry9x8gf2tvdw0s3jn54khce6mua7l The character at position $i$ in that string represents the field element $i$, counting from zero. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Creation always produces a string that verifies Any string assembled by appending the checksum that the creation procedure produces passes verification. In the formalization this is Checksum.verify_create; the companion result encoded_seed_checksum_valid carries it through the encoder, proving that every serialized master seed has a valid checksum. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Weight The weight of a polynomial is the number of its nonzero coefficients. A polynomial of weight at most 8 is one that differs from zero in at most eight places, however spread out. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 The long-only verifier is strictly more permissive There are strings that Checksum.verifyLong accepts and that Checksum.verify rejects. The BIP gives one explicitly. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Parity check A parity check on strings of length $n$ is a linear equation $h_1 u_1 + h_2 u_2 + \\\\cdots + h_n u_n = 0$ with fixed coefficients $h_i$ in GF(32). A code defined as the set of strings satisfying a fixed collection of parity checks is automatically linear, since the solution set of a system of homogeneous linear equations is a subspace. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Detection, correction, and erasure filling Detection is answering "this string is not valid". It requires no knowledge of what the right string was. Correction is answering "the right string was this one", when neither the number of damaged positions nor their locations is known in advance. Erasure filling is answering "the missing symbols were these", when the damaged positions are known and only their contents are unknown. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 A validated share set A collection of shares carrying evidence that: the threshold is nonzero and identical across all of them; the identifiers match; the payload lengths match; the share indices are pairwise distinct; and none of them is the secret index. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

🏆 Magic Internet Math - Daily Top 10 🥇 Ape Mithrandir - 4,649 XP | Level 10 🥈 Anonymous - 3,632 XP | Level 9 🥉 Anonymous - 1,360 XP | Level 6 4. Pitufo - 211 XP | Level 2 5. Anonymous - 178 XP | Level 2 6. Lakesurfer - 10 XP | Level 1 7. Marc - 10 XP | Level 1 8. Gustavo - 10 XP | Level 1 9. Anonymous - 10 XP | Level 1 10. bassload@tutanota.com - 0 XP | Level 1 📚 Start learning:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Nonzero elements of GF(32) are invertible For every nonzero $a \\\\in \\\\mathrm{GF}(32)$ there is exactly one $b$ with $a b = 1$. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Generic codex32 A prefix, a six-symbol header, a payload of anywhere from 0 to 997 symbols, and a checksum of the size the length rules demand. Nothing constrains what the payload means. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Zero divisor A nonzero element $a$ is a zero divisor if there is some nonzero $b$ with $a \\\\times b = 0$. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Irreducible Polynomial A polynomial $f \\in F[X]$ of degree $\\geq 1$ is irreducible over $F$ if it cannot be written as a product $f = gh$ with $\\deg(g), \\deg(h) \\geq 1$. From: gal-weintraub Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.