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 7cce23a commit 1cf98e7
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 @@ -28,7 +28,7 @@ Confidential Transactions (CTs) leverage zero-knowledge proofs (ZKP) to ensure t

### Principle:

This approach utilizes Pedersen commitments and their vector commitment variants. The operations of the range proof can be equated through several transformation steps, where the initial relation is intuitive but hard to prove, and the final relation is abstract but easier to prove. For example, the prover must needs to show knowledge of a secret value $\nu$ and a random value $\gamma$ that satisfies a Pedersen commitment and falls within a given range:
This approach utilizes Pedersen commitments and their vector commitment variants. The operations of the range proof can be equated through several transformation steps, where the initial equation is intuitive but hard to prove, and the final one is abstract but easier to prove. For example, the prover must needs to show knowledge of a secret value $\nu$ and a random value $\gamma$ that satisfies a Pedersen commitment and falls within a given range:

(1) $V = g^{\nu}h^{\gamma},$

Expand Down

0 comments on commit 1cf98e7

Please sign in to comment.