From c6d2859dd229d6ad058440feac910b9905a761d7 Mon Sep 17 00:00:00 2001
From: cyfraeviolae <cyfraeviolae>
Date: Sun, 28 Aug 2022 02:32:00 -0400
Subject: k1 for ffff, diagrams int ext

---
 templates/index.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'templates/index.html')

diff --git a/templates/index.html b/templates/index.html
index accbca7..e864b19 100644
--- a/templates/index.html
+++ b/templates/index.html
@@ -16,13 +16,13 @@
                 <span> at </span><a href="/">cyfraeviolae.org</a>
             </div>
             <div class="crumbs">
-                <a href="/git/forbidden-salamanders">source code</a>
-                <span class="sep"> · </span>
                 <a href="/forbidden-salamanders/key-commitment">key commitment</a>
                 <span class="sep"> · </span>
                 <a href="/forbidden-salamanders/nonce-reuse">nonce reuse</a>
                 <span class="sep"> · </span>
                 <a href="/forbidden-salamanders/mac-truncation">mac truncation</a>
+                <span class="sep"> · </span>
+                <a href="/git/forbidden-salamanders">source code</a>
             </div>
         </div>
 		<p>
@@ -76,7 +76,7 @@
 					m = \alpha^{128}+\alpha^7 + \alpha^2 + \alpha + 1
 				\]
 				\[
-					\mathbb{K} = \mathbb{F}(2^{128})/m.
+                    \mathbb{K} = \mathbb{F}_{2^{128}}/m.
 				\]
 			</p>
 			<p>
@@ -84,7 +84,7 @@
 				interpreted as the set of polynomials with coefficients in \(\mathbb{F}_2\)
 				of degree less than \(128\). Multiplication
 				is performed modulo \(m\). This field is of characteristic 2;
-				e.g., \((\alpha^5 + 1)+(\alpha^5 + 1) = 0\).
+				e.g., \(2=0\), \(a=-a\), \((\alpha^5 + 1)+(\alpha^5 + 1) = 0\).
 			</p>
 			<p>
 				We interpret 16-byte blocks as elements in \(\mathbb{K}\)
-- 
cgit v1.2.3