🧑‍🏫 6️⃣ add additional resources for Lecture 6

index.html

@@ -78,7 +78,7 @@ <h2 class="lecture-card-title"> Lecture 6: Introduction to Zero-Knowledge Proofs
                                 <ul>
                                     <li> What is a cryptographic proof exactly? </li>
                                     <li> Interactive Proofs. </li>
-                                    <li> Soundness and Zero-Knowledge definitios. </li>
+                                    <li> Soundness and Zero-Knowledge definitions. </li>
                                     <li> Proof vs Proof of Knowledge. </li>
                                     <li> Fiat-Shamir Heuristic. </li>
                                 </ul>
@@ -112,13 +112,12 @@ <h1 class="lecture-links-header"> <strong> Lecture Material: </strong> </h1>
                         </a>
                     </div> 
 
-                    <!-- <h1 class="lecture-links-header"> <strong> Other Helpful Resources: </strong> </h1>
+                    <h1 class="lecture-links-header"> <strong> Other Helpful Resources: </strong> </h1>
                     <ul>
-                        <li> <a href="https://static1.squarespace.com/static/5fdbb09f31d71c1227082339/t/5ff394720493bd28278889c6/1609798774687/PairingsForBeginners.pdf"> "Pairing for Beginners" </a> by Craig Costello: Not only this already mentioned book contains pairing inner working, but also a profound introduction into projective form of elliptic curves. </li>
-                        <li> <a href="https://toc.cryptobook.us/"> "A Graduate Course in Applied Cryptography" </a> by Dan Boneh and Victor Shoup, <strong>Section 15</strong> Recommended to read this chapter up to section 15.5 including. </li>
-                        <li> <a href="https://hackmd.io/@jpw/bn254"> "BN254 For The Rest of Us" </a> by Jonathan Wang: if you want specifics of pairing-friendly curve parameters, you can take a look here. This curve is currently widely used. </li>
-                        <li> <a href="https://eprint.iacr.org/2010/354.pdf"> High-Speed Software Implementation of the Optimal Ate Pairing over Barreto-Naehrig Curves </a> by Jean-Luc Beuchat et al.: if you <strong>really</strong> want to get into the details of pairing implementation, this paper is the best. It contains all the algorithms to implement pairing from scratch. </li>
-                    </ul> -->
+                        <li> <a href="https://zk-learning.org/"> "Zero Knowledge Proofs MOOC, Spring 2023" </a> Amazing series of lectures on zero-knowledge proofs. This lecture was primarily based on the first lecture by Shafi Goldwasser. </li>
+                        <li> <a href="https://www.cs.princeton.edu/courses/archive/fall07/cos433/lec15.pdf"> "Zero Knowledge Proofs Lecture" </a> by Boaz Barak: very well-explained fundamentals of zero-knowledge proof with a detailed analysis of a quadratic residue interactive protocol. </li>
+                        <li> <a href="https://toc.cryptobook.us/"> "A Graduate Course in Applied Cryptography" </a> by Dan Boneh and Victor Shoup, <strong>Sections 19 and 20</strong> Very formalistic and rigorous introduction to Sigma Protocols and turning interactiveness to non-interactiveness. </li>
+                    </ul>
                 </div>
             </div>