diff --git a/README.md b/README.md index 7d74049..d70df69 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ Notes, code and documents done while reading books and papers. - [Notes on Weil pairing](weil-pairing.pdf) - [Notes on Sigma protocol and OR proofs](sigma-or-notes.pdf) - [Notes on Reed-Solomon codes](notes_reed-solomon.pdf) -- [Notes on FRI](notes_fri.pdf) +- [Notes on FRI and STIR](notes_fri_stir.pdf) - [Notes on Spartan](notes_spartan.pdf) - [Notes on Nova](notes_nova.pdf) - [Notes on HyperNova](notes_hypernova.pdf) diff --git a/notes_fri.pdf b/notes_fri.pdf deleted file mode 100644 index b49be1b..0000000 Binary files a/notes_fri.pdf and /dev/null differ diff --git a/notes_fri_stir.pdf b/notes_fri_stir.pdf new file mode 100644 index 0000000..7cc0b18 Binary files /dev/null and b/notes_fri_stir.pdf differ diff --git a/notes_fri.tex b/notes_fri_stir.tex similarity index 90% rename from notes_fri.tex rename to notes_fri_stir.tex index c6ca852..0c52317 100644 --- a/notes_fri.tex +++ b/notes_fri_stir.tex @@ -25,7 +25,7 @@ {\endinnerlemma} -\title{Notes on FRI} +\title{Notes on FRI and STIR} \author{arnaucube} \date{February 2023} @@ -39,6 +39,8 @@ These notes are for self-consumption, are not complete, don't include all the steps neither all the proofs. An implementation of FRI can be found at\\ \href{https://github.com/arnaucube/fri-commitment}{https://github.com/arnaucube/fri-commitment} \cite{fri-impl}. + + Update(2024-03-22): notes on STIR \cite{cryptoeprint:2024/390} from explanations by \href{https://hecmas.github.io/}{Héctor Masip Ardevol} \cite{hectormasipardevol}. \end{abstract} \tableofcontents @@ -303,6 +305,30 @@ V has $f(z)$ and $g(z)$ openings, so can verify $$g(z) = (f(z)-f(r))\cdot (z-r)^{-1}$$ +\section{STIR (main idea)} +\emph{Update from 2024-03-22, notes from Héctor Masip Ardevol (\href{https://hecmas.github.io/}{https://hecmas.github.io}) explanations.} + +\vspace{0.3cm} +Let $p \in \mathbb{F}[x]^{