Nucypher
/
nucypher
mirror of https://github.com/nucypher/nucypher.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
3,662 Commits
7 Branches
138 Tags
74 MiB
Commit Graph

3662 Commits (3bff15d83fad74630dfc8089cad254ad5cd23b6a)

Author SHA1 Message Date
szotov dcf5a185a1 Fix error after rebasing 2019-02-23 12:37:20 +03:00
szotov 2e610fceed Small fixes 2019-02-23 12:37:20 +03:00
szotov 1be7b54091 Updates Pipfile.lock 2019-02-23 12:37:19 +03:00
szotov 4c54bf2d3b Updates version of solidity 2019-02-23 12:37:19 +03:00
David Núñez 06ff6a2d8e Ursula checks that Bob's version of Alice ETH address is consistent to her own account 2019-02-23 12:37:18 +03:00
David Núñez 57c242e813 Introduced postcondition in UmbralDeserializer 2019-02-23 12:37:18 +03:00
David Núñez 8bf66d49ff Some Solidity gymnastics to reduce the stack size of isCapsuleFragCorrect 2019-02-23 12:37:18 +03:00
David Núñez be953041e7 Fixed bug in UmbralDeserializer.getByte 2019-02-23 12:37:17 +03:00
David Núñez 9d97d9bdf7 Precompute v value so Alice's address can be recovered from KFrag signature 
This is one of the core commits of this PR
 2019-02-23 12:37:17 +03:00
David Núñez ea9be85f60 Utility python function to recover a public key from an ECDSA signature 2019-02-23 12:37:16 +03:00
David Núñez c105237686 Touchups to WorkOrder 2019-02-23 12:37:16 +03:00
David Núñez 7391d29dfe KFrag validity message and Alice's ETH address are part of the evidence 2019-02-23 12:37:16 +03:00
David Núñez 67b8efd43b Correctness keys are needed to gather IndisputableEvidence 2019-02-23 12:37:15 +03:00
David Núñez 79f406fba7 Utility function to compute ETH canonical address from Umbral key 2019-02-23 12:37:15 +03:00
David Núñez d605f06dd9 Include Alice's address in the CFrag metadata and validate it 2019-02-23 12:37:14 +03:00
David Núñez 5846005ca5 WorkOrder has to include Alice's pubkey as ETH address for later use in ZKP logic 2019-02-23 12:37:14 +03:00
szotov a6fa4df610 Readability for adjudicator tests 2019-02-23 12:37:14 +03:00
szotov 68f87315a3 Enhanced estimate_gas using MiningAdjudicator 2019-02-23 12:37:13 +03:00
szotov 702c6b8384 Enhanced intercontract test using adjudicator contract 2019-02-23 12:37:13 +03:00
szotov 0f44c0857e Added more tests for adjudicator 2019-02-23 12:37:12 +03:00
szotov f809703300 Fixed adjudicator test 2019-02-23 12:37:12 +03:00
szotov 01fb0ce7d6 Fixed errors with web3 `soliditySha3` and `sha3` methods 2019-02-23 12:37:12 +03:00
szotov 12608c444d Gas estimates for slashing method in MinersEscrow 2019-02-23 12:37:11 +03:00
szotov 92af87778f Events for the MiningAdjudicator 2019-02-23 12:37:11 +03:00
szotov fa190cd27a Calculating the penalty and reward in the slashing method 2019-02-23 12:37:10 +03:00
szotov 24907e5065 Upgradability for the MiningAdjudicator contract 2019-02-23 12:37:10 +03:00
David Núñez 57a191b3c9 UnquestionableEvidence --> IndisputableEvidence 2019-02-23 12:37:09 +03:00
David Núñez 1b2a916935 Missing changes from 'overseer' to 'adjudicator' 2019-02-23 12:37:09 +03:00
David Núñez d03b80ff0b Janitorial stuff 2019-02-23 12:37:09 +03:00
David Núñez 450c1c64bc Shame on you, Ursula. 2019-02-23 12:37:08 +03:00
David Núñez fc6f7e5c59 Raise the Evidence of bad re-encryption when Bob.retrieve() goes wrong 2019-02-23 12:37:08 +03:00
David Núñez cd8b265917 Defining some TODOs for later PRs 2019-02-23 12:37:07 +03:00
David Núñez bf9e8f5239 Verifying third ZKP equation: z*U == h*U_1 + U_2 2019-02-23 12:37:07 +03:00
David Núñez f34ab10bd3 Fix some wrong comments 2019-02-23 12:37:07 +03:00
David Núñez 525635a304 Get precomputed values for U1 and U2 points 2019-02-23 12:37:06 +03:00
David Núñez 4ec3ea9abd Hard-code Y coordinate of UmbralParameter.U 2019-02-23 12:37:06 +03:00
David Núñez de093e1236 Verifying second ZKP equation: z*V + h*V_1 = V_2 2019-02-23 12:37:05 +03:00
David Núñez 8500f548d4 Additional input validation for ZKP points 2019-02-23 12:37:05 +03:00
David Núñez 03f050d499 We don't "challenge" the miner's work anymore. We now "evaluate" them. 2019-02-23 12:37:05 +03:00
David Núñez 2f8e956f5c Renaming ChallengeOverseer to MiningAdjudicator everywhere 2019-02-23 12:37:04 +03:00
David Núñez 4d9c0e794e ChallengeOverseer is now MiningAdjudicator 2019-02-23 12:37:04 +03:00
David Núñez a0970d736d Comment some tests in ChallengeOverseer 2019-02-23 12:37:03 +03:00
David Núñez afce3924e0 Deserialize Umbral structs inside isCapsuleFragCorrect 2019-02-23 12:37:03 +03:00
David Núñez a225ef2fc0 Fix ZKP equation (Wrong: e2 == e^z + e1^h, Good: e^z == e2 + e1^h) 2019-02-23 12:37:03 +03:00
David Núñez 13cf37a8e5 Methods to compute proof's challenge scalar in Python and Solidity 2019-02-23 12:37:02 +03:00
David Núñez 033ea238cb Test consistency of Umbral and ChallengeOverseer.extendedKeccakToBN 2019-02-23 12:37:02 +03:00
David Núñez 0797b79dcb Adapt nucypher to new Umbral release 2019-02-23 12:37:01 +03:00
David Núñez 200a84a150 Fix re-encryption fixture in test_challenge_overseer 2019-02-23 12:37:01 +03:00
David Núñez 6c70103c3f Test consistency between Umbral and ChallengeOverseer.UmbralParameterU 2019-02-23 12:37:01 +03:00
David Núñez 06da24b8bd Update ExtendedKeccak to include default custom string and right prefixes 2019-02-23 12:37:00 +03:00