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

Compute hash_to_bignum over EC points contained in proof

pull/507/head
David Núñez 2018-10-30 01:02:34 +01:00 committed by szotov
parent c34527e219
commit a20fe729de
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -126,9 +126,25 @@ contract ChallengeOverseer {
internal pure returns (bool) internal pure returns (bool)
{ {
uint256 h = _capsule.proof.bnSig; // TODO: compute hash // Compute h = hash_to_bignum(e, e1, e2, v, v1, v2, u, u1, u2)
uint256 h = Numerology.extended_keccak_to_bn(abi.encodePacked(
_capsule.pointE, // e
_cFrag.pointE1, // e1
_cFrag.proof.pointE2, // e2
_capsule.pointV, // v
_cFrag.pointV1, // v1
_cFrag.proof.pointV2, // v2
bytes1(0x02), // u (continues on next line)
bytes32(0xef62d276f6f311573b29790b970f2c4b4e44637c0c45f0838ffdc9167a05b999),
_cFrag.proof.pointKFragCommitment, // u1
_cFrag.proof.pointKFragPok // u2
));
//////
// Verifying equation: z*E + h*E_1 = E_2 // Verifying equation: z*E + h*E_1 = E_2
//////
// Input validation: E
require(Numerology.check_compressed_point( require(Numerology.check_compressed_point(
_capsule.pointE.sign, _capsule.pointE.sign,
_capsule.pointE.xCoord, _capsule.pointE.xCoord,