Skip to content

Commit

Permalink
Update 2025-02-04-Bulletproofs.md
Browse files Browse the repository at this point in the history
Boxed Remove
  • Loading branch information
RisenCrypto authored Feb 4, 2025
1 parent 8e49d29 commit d3b4ad7
Showing 1 changed file with 2 additions and 13 deletions.
15 changes: 2 additions & 13 deletions _posts/2025-02-04-Bulletproofs.md
Original file line number Diff line number Diff line change
Expand Up @@ -272,13 +272,7 @@ $\qquad\qquad = \begin{bmatrix} 2 \cr 3 \cr 4 \end{bmatrix} + \begin{bmatrix} 41

$\qquad\qquad = \begin{bmatrix} 139 \cr 61 \cr 194 \end{bmatrix} $

<div class="boxed">

The evaluation of a vector polynomial is a vector.

</div>

<hr style="clear:both;">
**Note:** The evaluation of a vector polynomial is a vector.

$\overrightarrow l(x) = \overrightarrow l_0 + \overrightarrow l_1x$

Expand Down Expand Up @@ -314,12 +308,7 @@ $c = <\overrightarrow m, \overrightarrow n>$

$\overrightarrow G$ & $\overrightarrow H$ are the bases for $\overrightarrow m$ & $\overrightarrow n$ respectively

<div class="boxed">

The commitment $S$ is a binding commitment but not a hiding commitment because there is no blinding factor.
</div>

<hr style="clear:both;">
**Note:** The commitment $S$ is a binding commitment but not a hiding commitment because there is no blinding factor.

Instead of proving these 2 statements separately, $\mathcal P$ wants to combine them into one statement & prove it such that proving the one statement will prove both of the above. Since $S$ is an Elliptic Curve point, we will convert $c$ also to a point before combining them.

Expand Down

0 comments on commit d3b4ad7

Please sign in to comment.