2018-11-24 01:58:49 +02:00
|
|
|
import
|
2019-03-12 16:03:14 +01:00
|
|
|
tables,
|
2019-02-06 18:56:04 +01:00
|
|
|
chronos,
|
2019-03-12 16:03:14 +01:00
|
|
|
spec/[datatypes, crypto, helpers], ssz,
|
|
|
|
beacon_node_types
|
2018-11-24 01:58:49 +02:00
|
|
|
|
|
|
|
|
|
|
|
proc init*(T: type ValidatorPool): T =
|
2018-11-29 03:08:34 +02:00
|
|
|
result.validators = initTable[ValidatorPubKey, AttachedValidator]()
|
2018-11-24 01:58:49 +02:00
|
|
|
|
2018-12-19 14:58:53 +02:00
|
|
|
template count*(pool: ValidatorPool): int =
|
|
|
|
pool.validators.len
|
|
|
|
|
2018-11-24 01:58:49 +02:00
|
|
|
proc addLocalValidator*(pool: var ValidatorPool,
|
2018-11-29 03:08:34 +02:00
|
|
|
idx: int,
|
|
|
|
pubKey: ValidatorPubKey,
|
2019-02-14 13:41:04 -08:00
|
|
|
privKey: ValidatorPrivKey) =
|
2018-12-08 16:17:47 +02:00
|
|
|
let v = AttachedValidator(idx: idx,
|
|
|
|
kind: inProcess,
|
2019-02-14 13:41:04 -08:00
|
|
|
privKey: privKey)
|
2018-12-08 16:17:47 +02:00
|
|
|
pool.validators[pubKey] = v
|
2018-11-24 01:58:49 +02:00
|
|
|
|
2018-11-26 15:33:06 +02:00
|
|
|
proc getValidator*(pool: ValidatorPool,
|
2018-11-29 03:08:34 +02:00
|
|
|
validatorKey: ValidatorPubKey): AttachedValidator =
|
|
|
|
pool.validators.getOrDefault(validatorKey)
|
2018-11-24 01:58:49 +02:00
|
|
|
|
2019-02-07 21:36:03 +01:00
|
|
|
proc signBlockProposal*(v: AttachedValidator, fork: Fork,
|
2019-03-22 18:33:12 +00:00
|
|
|
blck: BeaconBlock): Future[ValidatorSig] {.async.} =
|
2018-11-29 03:08:34 +02:00
|
|
|
if v.kind == inProcess:
|
2018-11-24 01:58:49 +02:00
|
|
|
await sleepAsync(1)
|
2019-03-22 18:33:12 +00:00
|
|
|
result = bls_sign(v.privKey, signed_root(blck),
|
|
|
|
get_domain(fork, slot_to_epoch(blck.slot), DOMAIN_BEACON_BLOCK))
|
2018-11-24 01:58:49 +02:00
|
|
|
else:
|
|
|
|
# TODO:
|
|
|
|
# send RPC
|
|
|
|
discard
|
|
|
|
|
|
|
|
proc signAttestation*(v: AttachedValidator,
|
2018-12-03 15:41:24 -06:00
|
|
|
attestation: AttestationData): Future[ValidatorSig] {.async.} =
|
2018-11-24 01:58:49 +02:00
|
|
|
# TODO: implement this
|
2018-11-29 03:08:34 +02:00
|
|
|
if v.kind == inProcess:
|
2018-11-24 01:58:49 +02:00
|
|
|
await sleepAsync(1)
|
2018-12-12 15:57:23 +02:00
|
|
|
|
2019-03-25 10:46:31 -06:00
|
|
|
let attestationRoot = hash_tree_root(attestation)
|
2018-12-28 18:51:40 +02:00
|
|
|
# TODO: Avoid the allocations belows
|
2019-01-09 03:01:07 +02:00
|
|
|
var dataToSign = @(attestationRoot.data) & @[0'u8]
|
2019-02-05 17:13:29 +01:00
|
|
|
# TODO: Use `domain` here
|
|
|
|
let domain = 0'u64
|
|
|
|
result = bls_sign(v.privKey, dataToSign, domain)
|
2018-11-24 01:58:49 +02:00
|
|
|
else:
|
|
|
|
# TODO:
|
|
|
|
# send RPC
|
|
|
|
discard
|
|
|
|
|
2019-02-20 01:33:58 +00:00
|
|
|
func genRandaoReveal*(k: ValidatorPrivKey, state: BeaconState, slot: Slot):
|
2019-02-07 20:13:10 +00:00
|
|
|
ValidatorSig =
|
2019-02-14 13:41:04 -08:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.2.0/specs/core/0_beacon-chain.md#randao
|
2019-02-18 16:58:34 +01:00
|
|
|
|
2019-03-14 00:04:43 +01:00
|
|
|
# Off-by-one? I often get slot == state.slot but the check was "doAssert slot > state.slot" (Mamy)
|
|
|
|
doAssert slot >= state.slot, "input slot: " & $humaneSlotNum(slot) & " - beacon state slot: " & $humaneSlotNum(state.slot)
|
2019-03-25 10:46:31 -06:00
|
|
|
bls_sign(k, hash_tree_root(slot_to_epoch(slot).uint64).data,
|
2019-02-14 13:41:04 -08:00
|
|
|
get_domain(state.fork, slot_to_epoch(slot), DOMAIN_RANDAO))
|
2019-02-07 20:13:10 +00:00
|
|
|
|
2019-02-20 01:33:58 +00:00
|
|
|
func genRandaoReveal*(v: AttachedValidator, state: BeaconState, slot: Slot):
|
2019-02-07 20:13:10 +00:00
|
|
|
ValidatorSig =
|
2019-02-14 13:41:04 -08:00
|
|
|
genRandaoReveal(v.privKey, state, slot)
|