Commit Graph

3696 Commits (09c0672dd05e94bd60f8f0c9857d8992a477dda1)

Author SHA1 Message Date
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
David Núñez a5eb1a1070 Hard-code UmbralParameter U as a constant in ChallengeOverseer 2019-02-23 12:37:00 +03:00
David Núñez c2e0157f3e Move ExtendedKeccac functions to ChallengeOverseer 2019-02-23 12:36:59 +03:00
David Núñez 8f6067a300 Changing constant sizes to uint256, since uint8 is not enough sometimes 2019-02-23 12:36:59 +03:00
David Núñez a55b9d157d Refining fragments fixture for test_umbral_deserializer 2019-02-23 12:36:59 +03:00
David Núñez 48a0acb41e Workaround for "stack too deep" error when preparing input to extendedKeccakToBN 2019-02-23 12:36:58 +03:00
David Núñez 8df4634885 Temporarily copying Numerology library to contracts/lib 2019-02-23 12:36:58 +03:00
David Núñez a8688773ba Add extendedKeccak and extendedKeccakToBN functions 2019-02-23 12:36:58 +03:00
David Núñez dcc022532b Deserialization of PreComputedData struct 2019-02-23 12:36:57 +03:00
David Núñez a20fe729de Compute hash_to_bignum over EC points contained in proof 2019-02-23 12:36:57 +03:00
David Núñez c34527e219 Bob detects incorrect CFrags and gathers some evidence against Ursula 2019-02-23 12:36:56 +03:00
David Núñez fe3f42665c UnquestionableEvidence to blame misbehaving Ursulas 2019-02-23 12:36:56 +03:00
David Núñez 2f758c7fa6 Updating names in UmbralDeserializer 2019-02-23 12:36:56 +03:00
David Núñez e89cd3a55a Populating PrecomputedData struct in UmbralDeserializer 2019-02-23 12:36:55 +03:00
David Núñez c56b785f8b Checking first correctness equation on-chain 2019-02-23 12:36:55 +03:00
David Núñez a276f7c3ea Fix use of BlockchainDeployerInterface.provider 2019-02-23 12:36:54 +03:00
szotov a2e4f215e0 New lines at the end of contracts 2019-02-23 12:36:54 +03:00