From a225ef2fc06e258f34c24c07aeb388f09a374eea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20N=C3=BA=C3=B1ez?= Date: Tue, 4 Dec 2018 13:25:14 +0100 Subject: [PATCH] Fix ZKP equation (Wrong: e2 == e^z + e1^h, Good: e^z == e2 + e1^h) --- .../blockchain/eth/sol/source/contracts/ChallengeOverseer.sol | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/nucypher/blockchain/eth/sol/source/contracts/ChallengeOverseer.sol b/nucypher/blockchain/eth/sol/source/contracts/ChallengeOverseer.sol index 259358396..f236c5767 100644 --- a/nucypher/blockchain/eth/sol/source/contracts/ChallengeOverseer.sol +++ b/nucypher/blockchain/eth/sol/source/contracts/ChallengeOverseer.sol @@ -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] ) );