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

Introduced postcondition in UmbralDeserializer

pull/507/head
David Núñez 2019-02-12 19:14:59 +01:00 committed by szotov
parent 8bf66d49ff
commit 57c242e813
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
nucypher/blockchain/eth/sol/source/contracts/lib/UmbralDeserializer.sol
View File

@ -145,7 +145,8 @@ library UmbralDeserializer {
internal pure returns (PreComputedData memory data)
{
require(_preComputedData.length == PRECOMPUTED_DATA_SIZE);
uint256 pointer = getPointer(_preComputedData);
uint256 initial_pointer = getPointer(_preComputedData);
uint256 pointer = initial_pointer;
data.pointEyCoord = uint256(getBytes32(pointer));
pointer += BIGNUM_SIZE;
@ -216,8 +217,7 @@ library UmbralDeserializer {
data.kfragSignatureV = getByte(pointer);
pointer += 1;
// TODO: add require as post-condition to check that the pointer has advanced exactly what is intended
require(pointer == initial_pointer + PRECOMPUTED_DATA_SIZE);
}
// TODO extract to external library if needed