-
Notifications
You must be signed in to change notification settings - Fork 6
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix(basefold): typos of email address
- Loading branch information
Showing
5 changed files
with
5 additions
and
5 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
# Notes on Basefold (Part I): Foldable Linear Codes | ||
|
||
- Yu Guo <yu.guo@secbi.io> | ||
- Yu Guo <yu.guo@secbit.io> | ||
- Jade Xie <[email protected]> | ||
|
||
Basefold can be regarded as an extension of FRI, thereby supporting Proximity Proofs and Evaluation Arguments for Multi-linear Polynomials. Compared to Libra-PCS, Hyrax-PCS, and Virgo-PCS, Basefold does not rely on the MLE Quotients Equation to prove the value of an MLE at the point $\mathbf{u}$: | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
# Notes on Basefold (Part II): IOPP | ||
|
||
- Yu Guo <yu.guo@secbi.io> | ||
- Yu Guo <yu.guo@secbit.io> | ||
- Jade Xie <[email protected]> | ||
|
||
## Proof of Proximity | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
# Notes on Basefold: MLE Evaluation Argument | ||
|
||
- Yu Guo <yu.guo@secbi.io> | ||
- Yu Guo <yu.guo@secbit.io> | ||
- Jade Xie <[email protected]> | ||
|
||
Assume we have an MLE polynomial $\tilde{f}(\vec{X})\in\mathbb{F}[\vec{X}]^{\leq1}$, an evaluation point $\mathbf{u}\in\mathbb{F}^d$, and the result of the polynomial's operation at the evaluation point $v=\tilde{f}(\mathbf{u})$. We aim to construct a Polynomial Evaluation Argument based on the Basefold-IOPP protocol. | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,7 @@ | ||
# Notes on BaseFold (Part IV): Random Foldable Codes | ||
|
||
- Jade Xie <[email protected]> | ||
- Yu Guo <yu.guo@secbi.io> | ||
- Yu Guo <yu.guo@secbit.io> | ||
|
||
Previous articles have mentioned that BaseFold extends the FRI IOPP by introducing the concept of *foldable codes*. Additionally, by combining the Sumcheck protocol, it can support PCS for multi-linear polynomials. The next crucial question is how to explicitly construct such *foldable codes*. We aim for these foldable codes to possess the following properties: | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,7 @@ | ||
# Notes on Basefold (Part V): IOPP Soundness | ||
|
||
- Jade Xie <[email protected]> | ||
- Yu Guo <yu.guo@secbi.io> | ||
- Yu Guo <yu.guo@secbit.io> | ||
|
||
In this article, we will outline the proof approach for IOPP soundness presented in the [ZCF23] paper, which is similar to the soundness proof for the FRI protocol in [BKS18]. It employs a binary tree method to analyze points where the Prover might cheat, a concept also appearing in the soundness proof of the DEEP-FRI protocol in [BGKS20]. | ||
|
||
|