Commit Graph

3419 Commits (5c063a17b5bc90aabc2c05055b2e5c2ee029cec1)

Author SHA1 Message Date
David Núñez 5c063a17b5 Change heartbeat demo docs from Markdown to RST (see #735) 2019-02-28 11:17:24 +01:00
David Núñez 1ec042f47d Missing changes in README from #793 2019-02-28 11:16:10 +01:00
David Núñez ec6b754ad8
Merge pull request #507 from nucypher/vodka
VODKA: Slashing for incorrect re-encryption
2019-02-26 06:55:26 +01:00
David Núñez 2156a72866 Additional comments on MiningAdjudicator 2019-02-24 18:45:05 +01:00
MacLane Wilkison fd46d74130
Apply suggestions from code review
Co-Authored-By: szotov <zotov89@mail.ru>
2019-02-24 12:48:30 +03:00
David Núñez 867925ffc3 Merge pull request #770 from szotov/solidity-vodka
Updates version of solidity in vodka
2019-02-23 12:37:21 +03:00
szotov bd40f83eb3 Updates requirements 2019-02-23 12:37:20 +03:00
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