deploy: 7820dc5

zksecurity · Oct 21, 2024 · 8fe1b45 · 8fe1b45
1 parent eef365d
commit 8fe1b45
Show file tree

Hide file tree

Showing 7 changed files with 62 additions and 62 deletions.
diff --git a/index.html b/index.html
@@ -18,7 +18,7 @@ <h2 class="text-xl font-semibold mb-2">Starknet STARK Verifier</h2>
                 <p class="text-gray-600">Short Name: starknet-stark</p>
                 <!--                <p class="text-gray-600">Editor: David Wong</p> -->
                 <p class="text-gray-600">State of This Document: draft</p>
-                <p class="text-gray-600">Updated: October 18, 2024</p>
+                <p class="text-gray-600">Updated: October 21, 2024</p>
                 <a href="rfcs/starknet/stark.html"
                     class="mt-4 inline-block bg-blue-500 hover:bg-blue-700 text-white font-bold py-2 px-4 rounded">
                     View RFC
@@ -30,7 +30,7 @@ <h2 class="text-xl font-semibold mb-2">Starknet FRI Verifier</h2>
                 <p class="text-gray-600">Short Name: starknet-fri</p>
                 <!--                <p class="text-gray-600">Editor: David Wong</p> -->
                 <p class="text-gray-600">State of This Document: draft</p>
-                <p class="text-gray-600">Updated: October 18, 2024</p>
+                <p class="text-gray-600">Updated: October 21, 2024</p>
                 <a href="rfcs/starknet/fri.html"
                     class="mt-4 inline-block bg-blue-500 hover:bg-blue-700 text-white font-bold py-2 px-4 rounded">
                     View RFC
@@ -42,7 +42,7 @@ <h2 class="text-xl font-semibold mb-2">Starknet Merkle Tree Polynomial Commitmen
                 <p class="text-gray-600">Short Name: starknet-commit</p>
                 <!--                <p class="text-gray-600">Editor: David Wong</p> -->
                 <p class="text-gray-600">State of This Document: draft</p>
-                <p class="text-gray-600">Updated: October 18, 2024</p>
+                <p class="text-gray-600">Updated: October 21, 2024</p>
                 <a href="rfcs/starknet/merkle.html"
                     class="mt-4 inline-block bg-blue-500 hover:bg-blue-700 text-white font-bold py-2 px-4 rounded">
                     View RFC
@@ -54,7 +54,7 @@ <h2 class="text-xl font-semibold mb-2">Starknet Channels for Fiat-Shamir Instant
                 <p class="text-gray-600">Short Name: starknet-channel</p>
                 <!--                <p class="text-gray-600">Editor: David Wong</p> -->
                 <p class="text-gray-600">State of This Document: draft</p>
-                <p class="text-gray-600">Updated: October 18, 2024</p>
+                <p class="text-gray-600">Updated: October 21, 2024</p>
                 <a href="rfcs/starknet/channel.html"
                     class="mt-4 inline-block bg-blue-500 hover:bg-blue-700 text-white font-bold py-2 px-4 rounded">
                     View RFC

diff --git a/rfcs/starknet/channel.html b/rfcs/starknet/channel.html
@@ -81,14 +81,14 @@ <h2>Overview</h2>
 
 <p>A channel is an object that mimics the communication channel between the prover and the verifier, and is used to abstract the <a href="https://en.wikipedia.org/wiki/Fiat%E2%80%93Shamir_heuristic">Fiat-Shamir transformation</a> used to make the protocol non-interactive.</p>
 <p>The Fiat-Shamir transformation works on public-coin protocols, in which the messages of the verifier are pure random values. To work, the Fiat-Shamir transformation replaces the verifier messages with a hash function applied over the transcript up to that point.</p>
-<p>A channel is initialized at the beginning of the protocol, and is instantiated with a hash function. It is implemented as a continuous hash that "absorbs" every prover messages and which output can be used to produce the verifier's challenges.</p>
+<p>A channel is initialized at the beginning of the protocol, and is instantiated with a hash function. It is implemented as a continuous hash that "absorbs" every prover message and which output can be used to produce the verifier's challenges.</p>
 </section>
 <section>
 <h2>Dependencies</h2>
 <p>A channel is instantiated with the following two dependencies:</p>
 <ul>
-<li><code>hades_permutation(s1, s2, s3)</code>. The hades permutation which permutates a given state of three field elements.</li>
-<li><code>poseidon_hash_span(field_elements)</code>. The poseidon sponge function which hashes a list of field elements.</li>
+<li><code>hades_permutation(s1, s2, s3)</code>. The Hades permutation which permutes a given state of three field elements.</li>
+<li><code>poseidon_hash_span(field_elements)</code>. The Poseidon sponge function which hashes a list of field elements.</li>
 </ul>
 </section>
 <section>
@@ -99,7 +99,7 @@ <h2>Interface</h2>
 <li>A <strong><code>counter</code></strong>, which helps produce different values when the channel is used repeatedly to sample verifier challenges.</li>
 </ul>
 <p>The channel has the following interface:</p>
-<p><strong>Initialize</strong>. This intializes the channel in the following way: </p>
+<p><strong>Initialize</strong>. This initializes the channel in the following way: </p>
 <ul>
 <li>Set the <code>digest</code> to the given <code>digest</code>, which is the prologue/context to the protocol. </li>
 <li>Set the <code>counter</code> to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><mrow><mn>0</mn></mrow></math>.</li>