Skip to content

Commit 5d01446

Browse files
authored
Update range proof (#289)
1 parent 843de68 commit 5d01446

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

crypto/mta/range_proof.go

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -141,6 +141,15 @@ func (pf *RangeProofAlice) Verify(ec elliptic.Curve, pk *paillier.PublicKey, NTi
141141
if pf.S2.Cmp(q) == -1 {
142142
return false
143143
}
144+
if pf.S.Cmp(one) == 0 {
145+
return false
146+
}
147+
if pf.Z.Cmp(one) == 0 {
148+
return false
149+
}
150+
if pf.S1.Cmp(pf.S2) == 0 {
151+
return false
152+
}
144153

145154
// 3.
146155
if pf.S1.Cmp(q3) == 1 {

0 commit comments

Comments
 (0)