Nucypher
/
nucypher
mirror of https://github.com/nucypher/nucypher.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix ZKP equation (Wrong: e2 == e^z + e1^h, Good: e^z == e2 + e1^h)

pull/507/head
David Núñez 2018-12-04 13:25:14 +01:00 committed by szotov
parent 13cf37a8e5
commit a225ef2fc0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
nucypher/blockchain/eth/sol/source/contracts/ChallengeOverseer.sol
View File

@ -174,9 +174,9 @@ contract ChallengeOverseer {
));
bool sum_is_correct = Numerology.eqAffineJacobian(
[_cFrag.proof.pointE2.xCoord, _precomputed.pointE2yCoord],
[_precomputed.pointEZxCoord, _precomputed.pointEZyCoord],
Numerology.addAffineJacobian(
[_precomputed.pointEZxCoord, _precomputed.pointEZyCoord],
[_cFrag.proof.pointE2.xCoord, _precomputed.pointE2yCoord],
[_precomputed.pointE1HxCoord, _precomputed.pointE1HyCoord]
)
);