Commit Graph

3386 Commits (57a191b3c96535f49ce1c46055c23c256308ab83)

Author SHA1 Message Date
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
szotov 9b4d77c035 Extracted getLockedTokensInPast method, some optimization 2019-02-23 12:36:54 +03:00
szotov f4cd8245de Added blank lines after license in blockchain tests 2019-02-23 12:36:53 +03:00
szotov 333e8af812 Fixed test_umbral_deserializer.py 2019-02-23 12:36:53 +03:00
szotov d3ae7a2fa2 Added test for slashing to the test_intercontract_integration.py 2019-02-23 12:36:52 +03:00
szotov 8a829b0283 Fixed overseer test 2019-02-23 12:36:52 +03:00
szotov 4d6131b45b Added events for slashing 2019-02-23 12:36:52 +03:00
szotov 559ca8e66a Docs for the slashing methods in contracts 2019-02-23 12:36:51 +03:00
szotov 46be22e5e6 Slashing optimization 2019-02-23 12:36:51 +03:00
szotov 31347b4634 Fixed bug with slashing future sub stakes regardless of duration 2019-02-23 12:36:50 +03:00
szotov d3fc480c6c Fixed bugs in slashing, small optimization 2019-02-23 12:36:50 +03:00