Skip to content

Commit

Permalink
Reward validity statements from validators (paritytech#356)
Browse files Browse the repository at this point in the history
* impl reward

* typo

* more clean RewardAttestation trait

* reward by index

* address grumble
  • Loading branch information
gui1117 authored and rphmeier committed Aug 14, 2019
1 parent eba3eea commit 223f503
Show file tree
Hide file tree
Showing 3 changed files with 41 additions and 10 deletions.
48 changes: 39 additions & 9 deletions runtime/src/attestations.rs
Original file line number Diff line number Diff line change
Expand Up @@ -60,12 +60,39 @@ pub struct BlockAttestations<T: Trait> {
#[cfg_attr(feature = "std", derive(Debug))]
pub struct MoreAttestations;

/// Something which processes rewards for received attestations.
pub trait RewardAttestation {
/// Reward immediate attestations on parachain blocks. The argument is an iterable of
/// validator indices of the attesting validators.
fn reward_immediate(validator_indices: impl IntoIterator<Item=u32>);
}

impl RewardAttestation for () {
fn reward_immediate(validator_indices: impl IntoIterator<Item=u32>) {
// ensure side-effecting iterators do work.
for _ in validator_indices {}
}
}

impl<T: staking::Trait> RewardAttestation for staking::Module<T> {
fn reward_immediate(validator_indices: impl IntoIterator<Item=u32>) {
// The number of points to reward for a validity statement.
// https://research.web3.foundation/en/latest/polkadot/Token%20Economics/#payment-details
const STAKING_REWARD_POINTS: u32 = 20;

Self::reward_by_indices(validator_indices.into_iter().map(|i| (i, STAKING_REWARD_POINTS)))
}
}

pub trait Trait: session::Trait {
/// How many blocks ago we're willing to accept attestations for.
type AttestationPeriod: Get<Self::BlockNumber>;

/// Get a list of the validators' underlying identities.
type ValidatorIdentities: Get<Vec<Self::AccountId>>;

/// Hook for rewarding validators upon attesting.
type RewardAttestation: RewardAttestation;
}

decl_storage! {
Expand Down Expand Up @@ -118,16 +145,19 @@ impl<T: Trait> Module<T> {
let mut valid = Vec::new();
let invalid = Vec::new();

for (auth_index, _) in head.validator_indices
.iter()
.enumerate()
.filter(|(_, bit)| *bit)
{
let stash_id = validators.get(auth_index)
.expect("auth_index checked to be within bounds in `check_candidates`; qed")
.clone();

valid.push(stash_id);
let attesting_indices = head.validator_indices
.iter()
.enumerate()
.filter(|(_, bit)| *bit)
.inspect(|&(auth_index, _)| {
if let Some(stash_id) = validators.get(auth_index) {
valid.push(stash_id.clone());
}
})
.map(|(i, _)| i as u32);

T::RewardAttestation::reward_immediate(attesting_indices);
}

let summary = BlockAttestations {
Expand Down
1 change: 1 addition & 0 deletions runtime/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -429,6 +429,7 @@ parameter_types! {
impl attestations::Trait for Runtime {
type AttestationPeriod = AttestationPeriod;
type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
type RewardAttestation = Staking;
}

impl parachains::Trait for Runtime {
Expand Down
2 changes: 1 addition & 1 deletion runtime/src/parachains.rs
Original file line number Diff line number Diff line change
Expand Up @@ -321,7 +321,6 @@ decl_module! {
}

let para_blocks = Self::check_candidates(&heads, &active_parachains)?;

let current_number = <system::Module<T>>::block_number();

<attestations::Module<T>>::note_included(&heads, para_blocks);
Expand Down Expand Up @@ -1019,6 +1018,7 @@ mod tests {
impl attestations::Trait for Test {
type AttestationPeriod = AttestationPeriod;
type ValidatorIdentities = ValidatorIdentities<Test>;
type RewardAttestation = ();
}

impl Trait for Test {
Expand Down

0 comments on commit 223f503

Please sign in to comment.