diff --git a/blogo-input/blogo.json b/blogo-input/blogo.json index 6cf5f63..6dd9b36 100755 --- a/blogo-input/blogo.json +++ b/blogo-input/blogo.json @@ -8,6 +8,21 @@ "metadescr": "arnaucube blog", "metaimg": "img/logoArnauCube.png", "posts": [ + { + "thumb": "hypernova_thumb.md", + "metadescr": "This document contains notes on HyperNova.", + "outsideArticle": "https://raw.githubusercontent.com/arnaucube/math/master/notes_hypernova.pdf" + }, + { + "thumb": "ipa_thumb.md", + "md": "ipa.md", + "metadescr": "This post overviews the IPA polynomial commitment described in the Halo paper, first by providing an overview on the protocol, then by doing a step-by-step example with small values, following the style done in the 'Plonk by hand series' from Joshua Fitzgerald, and later by providing a Sage implementation of the protocol." + }, + { + "thumb": "fri_thumb.md", + "metadescr": "This document contains notes on FRI low degree testing and the trick to convert it to a polynomial commitment scheme.", + "outsideArticle": "https://raw.githubusercontent.com/arnaucube/math/master/notes_fri.pdf" + }, { "thumb": "powersoftau_thumb.md", "md": "powersoftau.md", diff --git a/blogo-input/img/posts/ipa/00.png b/blogo-input/img/posts/ipa/00.png new file mode 100644 index 0000000..7be2ea0 Binary files /dev/null and b/blogo-input/img/posts/ipa/00.png differ diff --git a/blogo-input/img/posts/ipa/01.png b/blogo-input/img/posts/ipa/01.png new file mode 100644 index 0000000..00ff580 Binary files /dev/null and b/blogo-input/img/posts/ipa/01.png differ diff --git a/blogo-input/img/posts/ipa/02.png b/blogo-input/img/posts/ipa/02.png new file mode 100644 index 0000000..3a42310 Binary files /dev/null and b/blogo-input/img/posts/ipa/02.png differ diff --git a/blogo-input/img/posts/ipa/03.png b/blogo-input/img/posts/ipa/03.png new file mode 100644 index 0000000..6c08849 Binary files /dev/null and b/blogo-input/img/posts/ipa/03.png differ diff --git a/blogo-input/img/posts/ipa/04.png b/blogo-input/img/posts/ipa/04.png new file mode 100644 index 0000000..33dc4ec Binary files /dev/null and b/blogo-input/img/posts/ipa/04.png differ diff --git a/blogo-input/img/posts/ipa/05.png b/blogo-input/img/posts/ipa/05.png new file mode 100644 index 0000000..bdcb478 Binary files /dev/null and b/blogo-input/img/posts/ipa/05.png differ diff --git a/blogo-input/img/posts/ipa/06.png b/blogo-input/img/posts/ipa/06.png new file mode 100644 index 0000000..652527f Binary files /dev/null and b/blogo-input/img/posts/ipa/06.png differ diff --git a/blogo-input/img/posts/ipa/07.png b/blogo-input/img/posts/ipa/07.png new file mode 100644 index 0000000..8d7f926 Binary files /dev/null and b/blogo-input/img/posts/ipa/07.png differ diff --git a/blogo-input/img/posts/ipa/08.png b/blogo-input/img/posts/ipa/08.png new file mode 100644 index 0000000..c8d6dec Binary files /dev/null and b/blogo-input/img/posts/ipa/08.png differ diff --git a/blogo-input/img/posts/ipa/09.png b/blogo-input/img/posts/ipa/09.png new file mode 100644 index 0000000..54297fa Binary files /dev/null and b/blogo-input/img/posts/ipa/09.png differ diff --git a/blogo-input/img/posts/ipa/10.png b/blogo-input/img/posts/ipa/10.png new file mode 100644 index 0000000..40ed4e9 Binary files /dev/null and b/blogo-input/img/posts/ipa/10.png differ diff --git a/blogo-input/img/posts/ipa/11.png b/blogo-input/img/posts/ipa/11.png new file mode 100644 index 0000000..1373f86 Binary files /dev/null and b/blogo-input/img/posts/ipa/11.png differ diff --git a/blogo-input/img/posts/ipa/12.png b/blogo-input/img/posts/ipa/12.png new file mode 100644 index 0000000..07e027c Binary files /dev/null and b/blogo-input/img/posts/ipa/12.png differ diff --git a/blogo-input/img/posts/ipa/13.png b/blogo-input/img/posts/ipa/13.png new file mode 100644 index 0000000..fc50e43 Binary files /dev/null and b/blogo-input/img/posts/ipa/13.png differ diff --git a/blogo-input/img/posts/ipa/14.png b/blogo-input/img/posts/ipa/14.png new file mode 100644 index 0000000..e561d46 Binary files /dev/null and b/blogo-input/img/posts/ipa/14.png differ diff --git a/blogo-input/img/posts/ipa/15.png b/blogo-input/img/posts/ipa/15.png new file mode 100644 index 0000000..fa776e6 Binary files /dev/null and b/blogo-input/img/posts/ipa/15.png differ diff --git a/blogo-input/img/posts/ipa/16.png b/blogo-input/img/posts/ipa/16.png new file mode 100644 index 0000000..2bf4c2e Binary files /dev/null and b/blogo-input/img/posts/ipa/16.png differ diff --git a/blogo-input/img/posts/ipa/17.png b/blogo-input/img/posts/ipa/17.png new file mode 100644 index 0000000..d843d97 Binary files /dev/null and b/blogo-input/img/posts/ipa/17.png differ diff --git a/blogo-input/img/posts/ipa/18.png b/blogo-input/img/posts/ipa/18.png new file mode 100644 index 0000000..dc51fa8 Binary files /dev/null and b/blogo-input/img/posts/ipa/18.png differ diff --git a/blogo-input/img/posts/ipa/19.png b/blogo-input/img/posts/ipa/19.png new file mode 100644 index 0000000..ae649db Binary files /dev/null and b/blogo-input/img/posts/ipa/19.png differ diff --git a/blogo-input/img/posts/ipa/20.png b/blogo-input/img/posts/ipa/20.png new file mode 100644 index 0000000..5e712e8 Binary files /dev/null and b/blogo-input/img/posts/ipa/20.png differ diff --git a/blogo-input/img/posts/ipa/21.png b/blogo-input/img/posts/ipa/21.png new file mode 100644 index 0000000..10ca43e Binary files /dev/null and b/blogo-input/img/posts/ipa/21.png differ diff --git a/blogo-input/img/posts/ipa/22.png b/blogo-input/img/posts/ipa/22.png new file mode 100644 index 0000000..88c7307 Binary files /dev/null and b/blogo-input/img/posts/ipa/22.png differ diff --git a/blogo-input/img/posts/ipa/23.png b/blogo-input/img/posts/ipa/23.png new file mode 100644 index 0000000..e317c77 Binary files /dev/null and b/blogo-input/img/posts/ipa/23.png differ diff --git a/blogo-input/img/posts/ipa/24.png b/blogo-input/img/posts/ipa/24.png new file mode 100644 index 0000000..08c9ddf Binary files /dev/null and b/blogo-input/img/posts/ipa/24.png differ diff --git a/blogo-input/img/posts/ipa/25.png b/blogo-input/img/posts/ipa/25.png new file mode 100644 index 0000000..9de853f Binary files /dev/null and b/blogo-input/img/posts/ipa/25.png differ diff --git a/blogo-input/img/posts/ipa/26.png b/blogo-input/img/posts/ipa/26.png new file mode 100644 index 0000000..492c8c7 Binary files /dev/null and b/blogo-input/img/posts/ipa/26.png differ diff --git a/blogo-input/img/posts/ipa/27.png b/blogo-input/img/posts/ipa/27.png new file mode 100644 index 0000000..08dbe11 Binary files /dev/null and b/blogo-input/img/posts/ipa/27.png differ diff --git a/blogo-input/img/posts/ipa/28.png b/blogo-input/img/posts/ipa/28.png new file mode 100644 index 0000000..41b7807 Binary files /dev/null and b/blogo-input/img/posts/ipa/28.png differ diff --git a/blogo-input/img/posts/ipa/29.png b/blogo-input/img/posts/ipa/29.png new file mode 100644 index 0000000..2303900 Binary files /dev/null and b/blogo-input/img/posts/ipa/29.png differ diff --git a/blogo-input/img/posts/ipa/30.png b/blogo-input/img/posts/ipa/30.png new file mode 100644 index 0000000..86d9ce2 Binary files /dev/null and b/blogo-input/img/posts/ipa/30.png differ diff --git a/blogo-input/img/posts/ipa/31.png b/blogo-input/img/posts/ipa/31.png new file mode 100644 index 0000000..5bb3b3d Binary files /dev/null and b/blogo-input/img/posts/ipa/31.png differ diff --git a/blogo-input/img/posts/ipa/32.png b/blogo-input/img/posts/ipa/32.png new file mode 100644 index 0000000..089f742 Binary files /dev/null and b/blogo-input/img/posts/ipa/32.png differ diff --git a/blogo-input/img/posts/ipa/33.png b/blogo-input/img/posts/ipa/33.png new file mode 100644 index 0000000..54c19ce Binary files /dev/null and b/blogo-input/img/posts/ipa/33.png differ diff --git a/blogo-input/img/posts/ipa/34.png b/blogo-input/img/posts/ipa/34.png new file mode 100644 index 0000000..7d80a6e Binary files /dev/null and b/blogo-input/img/posts/ipa/34.png differ diff --git a/blogo-input/img/posts/ipa/35.png b/blogo-input/img/posts/ipa/35.png new file mode 100644 index 0000000..497f8ff Binary files /dev/null and b/blogo-input/img/posts/ipa/35.png differ diff --git a/blogo-input/img/posts/ipa/sequence.png b/blogo-input/img/posts/ipa/sequence.png new file mode 100644 index 0000000..fbe24c3 Binary files /dev/null and b/blogo-input/img/posts/ipa/sequence.png differ diff --git a/blogo-input/index.html b/blogo-input/index.html index 7dd1875..1233797 100644 --- a/blogo-input/index.html +++ b/blogo-input/index.html @@ -106,6 +106,7 @@ {left: '$', right: '$', display: false}, {left: "\\[", right: "\\]", display: true}, {left: "\\(", right: "\\)", display: false}, + {left: "\\begin{equation}", right: "\\end{equation}", display: true} ], // • rendering keys, e.g.: throwOnError : true diff --git a/blogo-input/notes.html b/blogo-input/notes.html index 43d9bb6..06f6fbd 100644 --- a/blogo-input/notes.html +++ b/blogo-input/notes.html @@ -49,11 +49,18 @@ Usually while reading papers I take handwritten notes, this section contains some of them re-written to LaTeX. The notes are not complete, don’t include all the steps neither the explanations neither most of the proofs. I use these notes to revisit the concepts after some time of reading the paper. - - [Notes on Halo](https://raw.githubusercontent.com/arnaucube/math/master/notes_halo.pdf) - - [Notes on Sigma protocol and OR proofs](https://raw.githubusercontent.com/arnaucube/math/master/sigma-or-notes.pdf) + - [Notes on Caulk & Caulk+ papers](https://raw.githubusercontent.com/arnaucube/math/master/notes_caulk.pdf) + - [Notes on the DFT & FFT](https://raw.githubusercontent.com/arnaucube/math/master/fft-notes.pdf) - [Notes on BLS signatures](https://raw.githubusercontent.com/arnaucube/math/master/notes_bls-sig.pdf) + - [Notes on IPA from Halo paper](https://raw.githubusercontent.com/arnaucube/math/master/notes_halo.pdf) - [Notes on Sonic](https://raw.githubusercontent.com/arnaucube/math/master/notes_sonic.pdf) - - [Notes on Weil Pairing](https://raw.githubusercontent.com/arnaucube/math/master/pairings.pdf) + - [Notes on Weil Pairing](https://raw.githubusercontent.com/arnaucube/math/master/weil-pairing.pdf) + - [Notes on Sigma protocol and OR proofs](https://raw.githubusercontent.com/arnaucube/math/master/sigma-or-notes.pdf) + - [Notes on Reed-Solomon codes](https://raw.githubusercontent.com/arnaucube/math/master/notes_reed-solomon.pdf) + - [Notes on FRI](https://raw.githubusercontent.com/arnaucube/math/master/notes_fri.pdf) + - [Notes on Spartan](https://raw.githubusercontent.com/arnaucube/math/master/notes_spartan.pdf) + - [Notes on Nova](https://raw.githubusercontent.com/arnaucube/math/master/notes_nova.pdf) + - [Notes on HyperNova](https://raw.githubusercontent.com/arnaucube/math/master/notes_hypernova.pdf)