Skip to content

Commit

Permalink
Update 36_BulletProof.md
Browse files Browse the repository at this point in the history
  • Loading branch information
ETAAcademy authored Jul 7, 2024
1 parent a1e190f commit 9104435
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion 36_BulletProof.md
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ The prover calculates a vector commitment $A = h^{\alpha}\vec g^{\vec{\alpha_L}}

(6) $\langle \vec{\alpha_L}-z\cdot \vec 1^n, \vec y^n \circ(\vec a_R + z \cdot \vec 1^n) + z^2 \vec 2^n \rangle = z^2 \cdot \nu + \delta(y, z)$

To prevent leakage of $\vec{\alpha_L}$ information, two random vectors $\vec{s_L}$ and $\vec{s_R}$ are introduced. The amount vectors \(\vec{\alpha_L}, \vec{\alpha_R}\) and the random vectors $(\vec{s_L}, \vec{s_R})$ construct polynomials, leading to the final relationship (7): The amount vectors $\vec{\alpha_L}$ and $\vec{\alpha_R}$, along with the random vectors $\vec{s_L}$ and $\vec{s_R}$, are used to construct polynomials, resulting in the final equation (7):
To prevent leakage of $\vec{\alpha_L}$ information, two random vectors $\vec{s_L}$ and $\vec{s_R}$ are introduced. The amount vectors \(\vec{\alpha_L}, \vec{\alpha_R}\) and the random vectors $\vec{s_L}$, $\vec{s_R}$ construct polynomials, leading to the final relationship (7): The amount vectors $\vec{\alpha_L}$ and $\vec{\alpha_R}$, along with the random vectors $\vec{s_L}$ and $\vec{s_R}$, are used to construct polynomials, resulting in the final equation (7):

$l(X) = (\vec \alpha_L - z \cdot \vec 1^n) + \vec s_L \cdot X$

Expand Down

0 comments on commit 9104435

Please sign in to comment.