mirror of
https://github.com/serai-dex/serai.git
synced 2025-04-16 11:11:56 +00:00
add validator sets pallet tests (#614)
* add validator sets pallet tests * update tests with new types --------- Co-authored-by: Luke Parker <lukeparker5132@gmail.com>
This commit is contained in:
parent
9c33a711d7
commit
52d853c8ba
5 changed files with 817 additions and 4 deletions
8
Cargo.lock
generated
8
Cargo.lock
generated
|
@ -9869,11 +9869,17 @@ name = "serai-validator-sets-pallet"
|
|||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"bitvec",
|
||||
"ciphersuite",
|
||||
"frame-support",
|
||||
"frame-system",
|
||||
"frost-schnorrkel",
|
||||
"hashbrown 0.14.5",
|
||||
"modular-frost",
|
||||
"pallet-babe",
|
||||
"pallet-grandpa",
|
||||
"pallet-timestamp",
|
||||
"parity-scale-codec",
|
||||
"rand_core",
|
||||
"scale-info",
|
||||
"serai-coins-pallet",
|
||||
"serai-dex-pallet",
|
||||
|
@ -9881,12 +9887,14 @@ dependencies = [
|
|||
"serai-validator-sets-primitives",
|
||||
"serde",
|
||||
"sp-application-crypto",
|
||||
"sp-consensus-babe",
|
||||
"sp-core",
|
||||
"sp-io",
|
||||
"sp-runtime",
|
||||
"sp-session",
|
||||
"sp-staking",
|
||||
"sp-std",
|
||||
"zeroize",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
|
@ -43,6 +43,18 @@ validator-sets-primitives = { package = "serai-validator-sets-primitives", path
|
|||
coins-pallet = { package = "serai-coins-pallet", path = "../../coins/pallet", default-features = false }
|
||||
dex-pallet = { package = "serai-dex-pallet", path = "../../dex/pallet", default-features = false }
|
||||
|
||||
[dev-dependencies]
|
||||
pallet-timestamp = { git = "https://github.com/serai-dex/substrate", default-features = false }
|
||||
|
||||
sp-consensus-babe = { git = "https://github.com/serai-dex/substrate", default-features = false }
|
||||
|
||||
ciphersuite = { path = "../../../crypto/ciphersuite", features = ["ristretto"] }
|
||||
frost = { package = "modular-frost", path = "../../../crypto/frost", features = ["tests"] }
|
||||
schnorrkel = { path = "../../../crypto/schnorrkel", package = "frost-schnorrkel" }
|
||||
|
||||
zeroize = "^1.5"
|
||||
rand_core = "0.6"
|
||||
|
||||
[features]
|
||||
std = [
|
||||
"bitvec/std",
|
||||
|
@ -57,12 +69,15 @@ std = [
|
|||
"sp-runtime/std",
|
||||
"sp-session/std",
|
||||
"sp-staking/std",
|
||||
|
||||
"sp-consensus-babe/std",
|
||||
|
||||
"frame-system/std",
|
||||
"frame-support/std",
|
||||
|
||||
"pallet-babe/std",
|
||||
"pallet-grandpa/std",
|
||||
"pallet-timestamp/std",
|
||||
|
||||
"serai-primitives/std",
|
||||
"validator-sets-primitives/std",
|
||||
|
@ -71,8 +86,12 @@ std = [
|
|||
"dex-pallet/std",
|
||||
]
|
||||
|
||||
# TODO
|
||||
try-runtime = []
|
||||
try-runtime = [
|
||||
"frame-system/try-runtime",
|
||||
"frame-support/try-runtime",
|
||||
|
||||
"sp-runtime/try-runtime",
|
||||
]
|
||||
|
||||
runtime-benchmarks = [
|
||||
"frame-system/runtime-benchmarks",
|
||||
|
|
|
@ -1,5 +1,11 @@
|
|||
#![cfg_attr(not(feature = "std"), no_std)]
|
||||
|
||||
#[cfg(test)]
|
||||
mod mock;
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests;
|
||||
|
||||
use core::marker::PhantomData;
|
||||
|
||||
use scale::{Encode, Decode};
|
||||
|
@ -321,6 +327,7 @@ pub mod pallet {
|
|||
|
||||
/// Pending deallocations, keyed by the Session they become unlocked on.
|
||||
#[pallet::storage]
|
||||
#[pallet::getter(fn pending_deallocations)]
|
||||
type PendingDeallocations<T: Config> = StorageDoubleMap<
|
||||
_,
|
||||
Blake2_128Concat,
|
||||
|
@ -411,6 +418,7 @@ pub mod pallet {
|
|||
let allocation_per_key_share = Self::allocation_per_key_share(network).unwrap().0;
|
||||
|
||||
let mut participants = vec![];
|
||||
let mut total_allocated_stake = 0;
|
||||
{
|
||||
let mut iter = SortedAllocationsIter::<T>::new(network);
|
||||
let mut key_shares = 0;
|
||||
|
@ -421,6 +429,7 @@ pub mod pallet {
|
|||
(amount.0 / allocation_per_key_share).min(u64::from(MAX_KEY_SHARES_PER_SET_U32));
|
||||
participants.push((key, these_key_shares));
|
||||
|
||||
total_allocated_stake += amount.0;
|
||||
key_shares += these_key_shares;
|
||||
}
|
||||
amortize_excess_key_shares(&mut participants);
|
||||
|
@ -433,6 +442,12 @@ pub mod pallet {
|
|||
let set = ValidatorSet { network, session };
|
||||
Pallet::<T>::deposit_event(Event::NewSet { set });
|
||||
|
||||
// other networks set their Session(0) TAS once they set their keys but serai network
|
||||
// doesn't have that so we set it here.
|
||||
if network == NetworkId::Serai && session == Session(0) {
|
||||
TotalAllocatedStake::<T>::set(network, Some(Amount(total_allocated_stake)));
|
||||
}
|
||||
|
||||
Participants::<T>::set(network, Some(participants.try_into().unwrap()));
|
||||
SessionBeginBlock::<T>::set(
|
||||
network,
|
||||
|
@ -658,7 +673,7 @@ pub mod pallet {
|
|||
// If we're not removing the entire allocation, yet the allocation is no longer at or above
|
||||
// the threshold for a key share, error
|
||||
let allocation_per_key_share = Self::allocation_per_key_share(network).unwrap().0;
|
||||
if (new_allocation != 0) && (new_allocation < allocation_per_key_share) {
|
||||
if (new_allocation > 0) && (new_allocation < allocation_per_key_share) {
|
||||
Err(Error::<T>::DeallocationWouldRemoveParticipant)?;
|
||||
}
|
||||
|
||||
|
@ -819,7 +834,7 @@ pub mod pallet {
|
|||
PendingDeallocations::<T>::take((network, key), session)
|
||||
}
|
||||
|
||||
fn rotate_session() {
|
||||
pub(crate) fn rotate_session() {
|
||||
// next serai validators that is in the queue.
|
||||
let now_validators = Participants::<T>::get(NetworkId::Serai)
|
||||
.expect("no Serai participants upon rotate_session");
|
||||
|
|
210
substrate/validator-sets/pallet/src/mock.rs
Normal file
210
substrate/validator-sets/pallet/src/mock.rs
Normal file
|
@ -0,0 +1,210 @@
|
|||
//! Test environment for ValidatorSets pallet.
|
||||
|
||||
use super::*;
|
||||
|
||||
use std::collections::HashMap;
|
||||
|
||||
use frame_support::{
|
||||
construct_runtime,
|
||||
traits::{ConstU16, ConstU32, ConstU64},
|
||||
};
|
||||
|
||||
use sp_core::{
|
||||
H256, Pair as PairTrait,
|
||||
sr25519::{Public, Pair},
|
||||
};
|
||||
use sp_runtime::{
|
||||
traits::{BlakeTwo256, IdentityLookup},
|
||||
BuildStorage,
|
||||
};
|
||||
|
||||
use serai_primitives::*;
|
||||
use validator_sets::{primitives::MAX_KEY_SHARES_PER_SET, MembershipProof};
|
||||
|
||||
pub use crate as validator_sets;
|
||||
pub use coins_pallet as coins;
|
||||
pub use dex_pallet as dex;
|
||||
pub use pallet_babe as babe;
|
||||
pub use pallet_grandpa as grandpa;
|
||||
pub use pallet_timestamp as timestamp;
|
||||
|
||||
type Block = frame_system::mocking::MockBlock<Test>;
|
||||
// Maximum number of authorities per session.
|
||||
pub type MaxAuthorities = ConstU32<{ MAX_KEY_SHARES_PER_SET }>;
|
||||
|
||||
pub const PRIMARY_PROBABILITY: (u64, u64) = (1, 4);
|
||||
pub const BABE_GENESIS_EPOCH_CONFIG: sp_consensus_babe::BabeEpochConfiguration =
|
||||
sp_consensus_babe::BabeEpochConfiguration {
|
||||
c: PRIMARY_PROBABILITY,
|
||||
allowed_slots: sp_consensus_babe::AllowedSlots::PrimaryAndSecondaryPlainSlots,
|
||||
};
|
||||
|
||||
pub const MEDIAN_PRICE_WINDOW_LENGTH: u16 = 10;
|
||||
|
||||
construct_runtime!(
|
||||
pub enum Test
|
||||
{
|
||||
System: frame_system,
|
||||
Timestamp: timestamp,
|
||||
Coins: coins,
|
||||
LiquidityTokens: coins::<Instance1>::{Pallet, Call, Storage, Event<T>},
|
||||
ValidatorSets: validator_sets,
|
||||
Dex: dex,
|
||||
Babe: babe,
|
||||
Grandpa: grandpa,
|
||||
}
|
||||
);
|
||||
|
||||
impl frame_system::Config for Test {
|
||||
type BaseCallFilter = frame_support::traits::Everything;
|
||||
type BlockWeights = ();
|
||||
type BlockLength = ();
|
||||
type RuntimeOrigin = RuntimeOrigin;
|
||||
type RuntimeCall = RuntimeCall;
|
||||
type Nonce = u64;
|
||||
type Hash = H256;
|
||||
type Hashing = BlakeTwo256;
|
||||
type AccountId = Public;
|
||||
type Lookup = IdentityLookup<Self::AccountId>;
|
||||
type Block = Block;
|
||||
type RuntimeEvent = RuntimeEvent;
|
||||
type BlockHashCount = ConstU64<250>;
|
||||
type DbWeight = ();
|
||||
type Version = ();
|
||||
type PalletInfo = PalletInfo;
|
||||
type AccountData = ();
|
||||
type OnNewAccount = ();
|
||||
type OnKilledAccount = ();
|
||||
type SystemWeightInfo = ();
|
||||
type SS58Prefix = ();
|
||||
type OnSetCode = ();
|
||||
type MaxConsumers = ConstU32<16>;
|
||||
}
|
||||
|
||||
impl timestamp::Config for Test {
|
||||
type Moment = u64;
|
||||
type OnTimestampSet = Babe;
|
||||
type MinimumPeriod = ConstU64<{ (TARGET_BLOCK_TIME * 1000) / 2 }>;
|
||||
type WeightInfo = ();
|
||||
}
|
||||
|
||||
impl babe::Config for Test {
|
||||
type EpochDuration = ConstU64<{ FAST_EPOCH_DURATION }>;
|
||||
|
||||
type ExpectedBlockTime = ConstU64<{ TARGET_BLOCK_TIME * 1000 }>;
|
||||
type EpochChangeTrigger = babe::ExternalTrigger;
|
||||
type DisabledValidators = ValidatorSets;
|
||||
|
||||
type WeightInfo = ();
|
||||
type MaxAuthorities = MaxAuthorities;
|
||||
|
||||
type KeyOwnerProof = MembershipProof<Self>;
|
||||
type EquivocationReportSystem = ();
|
||||
}
|
||||
|
||||
impl grandpa::Config for Test {
|
||||
type RuntimeEvent = RuntimeEvent;
|
||||
|
||||
type WeightInfo = ();
|
||||
type MaxAuthorities = MaxAuthorities;
|
||||
|
||||
type MaxSetIdSessionEntries = ConstU64<0>;
|
||||
type KeyOwnerProof = MembershipProof<Self>;
|
||||
type EquivocationReportSystem = ();
|
||||
}
|
||||
|
||||
impl coins::Config for Test {
|
||||
type RuntimeEvent = RuntimeEvent;
|
||||
type AllowMint = ValidatorSets;
|
||||
}
|
||||
|
||||
impl coins::Config<coins::Instance1> for Test {
|
||||
type RuntimeEvent = RuntimeEvent;
|
||||
type AllowMint = ();
|
||||
}
|
||||
|
||||
impl dex::Config for Test {
|
||||
type RuntimeEvent = RuntimeEvent;
|
||||
|
||||
type LPFee = ConstU32<3>; // 0.3%
|
||||
type MintMinLiquidity = ConstU64<10000>;
|
||||
|
||||
type MaxSwapPathLength = ConstU32<3>; // coin1 -> SRI -> coin2
|
||||
|
||||
type MedianPriceWindowLength = ConstU16<{ MEDIAN_PRICE_WINDOW_LENGTH }>;
|
||||
|
||||
type WeightInfo = dex::weights::SubstrateWeight<Test>;
|
||||
}
|
||||
|
||||
impl Config for Test {
|
||||
type RuntimeEvent = RuntimeEvent;
|
||||
type ShouldEndSession = Babe;
|
||||
}
|
||||
|
||||
// For a const we can't define
|
||||
pub fn genesis_participants() -> Vec<Pair> {
|
||||
vec![
|
||||
insecure_pair_from_name("Alice"),
|
||||
insecure_pair_from_name("Bob"),
|
||||
insecure_pair_from_name("Charlie"),
|
||||
insecure_pair_from_name("Dave"),
|
||||
]
|
||||
}
|
||||
|
||||
// Amounts for single key share per network
|
||||
pub fn key_shares() -> HashMap<NetworkId, Amount> {
|
||||
HashMap::from([
|
||||
(NetworkId::Serai, Amount(50_000 * 10_u64.pow(8))),
|
||||
(NetworkId::External(ExternalNetworkId::Bitcoin), Amount(1_000_000 * 10_u64.pow(8))),
|
||||
(NetworkId::External(ExternalNetworkId::Ethereum), Amount(1_000_000 * 10_u64.pow(8))),
|
||||
(NetworkId::External(ExternalNetworkId::Monero), Amount(100_000 * 10_u64.pow(8))),
|
||||
])
|
||||
}
|
||||
|
||||
pub(crate) fn new_test_ext() -> sp_io::TestExternalities {
|
||||
let mut t = frame_system::GenesisConfig::<Test>::default().build_storage().unwrap();
|
||||
let networks: Vec<(NetworkId, Amount)> = key_shares().into_iter().collect::<Vec<_>>();
|
||||
|
||||
coins::GenesisConfig::<Test> {
|
||||
accounts: genesis_participants()
|
||||
.clone()
|
||||
.into_iter()
|
||||
.map(|a| (a.public(), Balance { coin: Coin::Serai, amount: Amount(1 << 60) }))
|
||||
.collect(),
|
||||
_ignore: Default::default(),
|
||||
}
|
||||
.assimilate_storage(&mut t)
|
||||
.unwrap();
|
||||
|
||||
validator_sets::GenesisConfig::<Test> {
|
||||
networks,
|
||||
participants: genesis_participants().into_iter().map(|p| p.public()).collect(),
|
||||
}
|
||||
.assimilate_storage(&mut t)
|
||||
.unwrap();
|
||||
|
||||
babe::GenesisConfig::<Test> {
|
||||
authorities: genesis_participants()
|
||||
.into_iter()
|
||||
.map(|validator| (validator.public().into(), 1))
|
||||
.collect(),
|
||||
epoch_config: Some(BABE_GENESIS_EPOCH_CONFIG),
|
||||
_config: PhantomData,
|
||||
}
|
||||
.assimilate_storage(&mut t)
|
||||
.unwrap();
|
||||
|
||||
grandpa::GenesisConfig::<Test> {
|
||||
authorities: genesis_participants()
|
||||
.into_iter()
|
||||
.map(|validator| (validator.public().into(), 1))
|
||||
.collect(),
|
||||
_config: PhantomData,
|
||||
}
|
||||
.assimilate_storage(&mut t)
|
||||
.unwrap();
|
||||
|
||||
let mut ext = sp_io::TestExternalities::new(t);
|
||||
ext.execute_with(|| System::set_block_number(0));
|
||||
ext
|
||||
}
|
561
substrate/validator-sets/pallet/src/tests.rs
Normal file
561
substrate/validator-sets/pallet/src/tests.rs
Normal file
|
@ -0,0 +1,561 @@
|
|||
use crate::{mock::*, primitives::*};
|
||||
|
||||
use std::collections::HashMap;
|
||||
|
||||
use ciphersuite::{Ciphersuite, Ristretto};
|
||||
use frost::dkg::musig::musig;
|
||||
use schnorrkel::Schnorrkel;
|
||||
|
||||
use zeroize::Zeroizing;
|
||||
use rand_core::OsRng;
|
||||
|
||||
use frame_support::{
|
||||
assert_noop, assert_ok,
|
||||
pallet_prelude::{InvalidTransaction, TransactionSource},
|
||||
traits::{OnFinalize, OnInitialize},
|
||||
};
|
||||
use frame_system::RawOrigin;
|
||||
|
||||
use sp_core::{
|
||||
sr25519::{Public, Pair, Signature},
|
||||
Pair as PairTrait,
|
||||
};
|
||||
use sp_runtime::{traits::ValidateUnsigned, BoundedVec};
|
||||
|
||||
use serai_primitives::*;
|
||||
|
||||
fn active_network_validators(network: NetworkId) -> Vec<(Public, u64)> {
|
||||
if network == NetworkId::Serai {
|
||||
Babe::authorities().into_iter().map(|(id, key_share)| (id.into_inner(), key_share)).collect()
|
||||
} else {
|
||||
ValidatorSets::participants_for_latest_decided_set(network).unwrap().into_inner()
|
||||
}
|
||||
}
|
||||
|
||||
fn verify_session_and_active_validators(network: NetworkId, participants: &[Public], session: u32) {
|
||||
let mut validators: Vec<Public> = active_network_validators(network)
|
||||
.into_iter()
|
||||
.map(|(p, ks)| {
|
||||
assert_eq!(ks, 1);
|
||||
p
|
||||
})
|
||||
.collect();
|
||||
validators.sort();
|
||||
|
||||
assert_eq!(ValidatorSets::session(network).unwrap(), Session(session));
|
||||
assert_eq!(participants, validators);
|
||||
|
||||
// TODO: how to make sure block finalizations work as usual here?
|
||||
}
|
||||
|
||||
fn get_session_at_which_changes_activate(network: NetworkId) -> u32 {
|
||||
let current_session = ValidatorSets::session(network).unwrap().0;
|
||||
// changes should be active in the next session
|
||||
if network == NetworkId::Serai {
|
||||
// it takes 1 extra session for serai net to make the changes active.
|
||||
current_session + 2
|
||||
} else {
|
||||
current_session + 1
|
||||
}
|
||||
}
|
||||
|
||||
fn set_keys_for_session(network: ExternalNetworkId) {
|
||||
ValidatorSets::set_keys(
|
||||
RawOrigin::None.into(),
|
||||
network,
|
||||
BoundedVec::new(),
|
||||
KeyPair(insecure_pair_from_name("Alice").public(), vec![].try_into().unwrap()),
|
||||
Signature([0u8; 64]),
|
||||
)
|
||||
.unwrap();
|
||||
}
|
||||
|
||||
fn set_keys_signature(set: &ExternalValidatorSet, key_pair: &KeyPair, pairs: &[Pair]) -> Signature {
|
||||
let mut pub_keys = vec![];
|
||||
for pair in pairs {
|
||||
let public_key =
|
||||
<Ristretto as Ciphersuite>::read_G::<&[u8]>(&mut pair.public().0.as_ref()).unwrap();
|
||||
pub_keys.push(public_key);
|
||||
}
|
||||
|
||||
let mut threshold_keys = vec![];
|
||||
for i in 0 .. pairs.len() {
|
||||
let secret_key = <Ristretto as Ciphersuite>::read_F::<&[u8]>(
|
||||
&mut pairs[i].as_ref().secret.to_bytes()[.. 32].as_ref(),
|
||||
)
|
||||
.unwrap();
|
||||
assert_eq!(Ristretto::generator() * secret_key, pub_keys[i]);
|
||||
|
||||
threshold_keys.push(
|
||||
musig::<Ristretto>(&musig_context((*set).into()), &Zeroizing::new(secret_key), &pub_keys)
|
||||
.unwrap(),
|
||||
);
|
||||
}
|
||||
|
||||
let mut musig_keys = HashMap::new();
|
||||
for tk in threshold_keys {
|
||||
musig_keys.insert(tk.params().i(), tk.into());
|
||||
}
|
||||
|
||||
let sig = frost::tests::sign_without_caching(
|
||||
&mut OsRng,
|
||||
frost::tests::algorithm_machines(&mut OsRng, &Schnorrkel::new(b"substrate"), &musig_keys),
|
||||
&set_keys_message(set, &[], key_pair),
|
||||
);
|
||||
|
||||
Signature(sig.to_bytes())
|
||||
}
|
||||
|
||||
fn get_ordered_keys(network: NetworkId, participants: &[Pair]) -> Vec<Pair> {
|
||||
// retrieve the current session validators so that we know the order of the keys
|
||||
// that is necessary for the correct musig signature.
|
||||
let validators = ValidatorSets::participants_for_latest_decided_set(network).unwrap();
|
||||
|
||||
// collect the pairs of the validators
|
||||
let mut pairs = vec![];
|
||||
for (v, _) in validators {
|
||||
let p = participants.iter().find(|pair| pair.public() == v).unwrap().clone();
|
||||
pairs.push(p);
|
||||
}
|
||||
|
||||
pairs
|
||||
}
|
||||
|
||||
fn rotate_session_until(network: NetworkId, session: u32) {
|
||||
let mut current = ValidatorSets::session(network).unwrap().0;
|
||||
while current < session {
|
||||
Babe::on_initialize(System::block_number() + 1);
|
||||
ValidatorSets::rotate_session();
|
||||
if let NetworkId::External(n) = network {
|
||||
set_keys_for_session(n);
|
||||
}
|
||||
ValidatorSets::retire_set(ValidatorSet { session: Session(current), network });
|
||||
current += 1;
|
||||
}
|
||||
assert_eq!(current, session);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn rotate_session() {
|
||||
new_test_ext().execute_with(|| {
|
||||
let genesis_participants: Vec<Public> =
|
||||
genesis_participants().into_iter().map(|p| p.public()).collect();
|
||||
let key_shares = key_shares();
|
||||
|
||||
let mut participants = HashMap::from([
|
||||
(NetworkId::Serai, genesis_participants.clone()),
|
||||
(NetworkId::External(ExternalNetworkId::Bitcoin), genesis_participants.clone()),
|
||||
(NetworkId::External(ExternalNetworkId::Ethereum), genesis_participants.clone()),
|
||||
(NetworkId::External(ExternalNetworkId::Monero), genesis_participants),
|
||||
]);
|
||||
|
||||
// rotate session
|
||||
for network in NETWORKS {
|
||||
let participants = participants.get_mut(&network).unwrap();
|
||||
|
||||
// verify for session 0
|
||||
participants.sort();
|
||||
if let NetworkId::External(n) = network {
|
||||
set_keys_for_session(n);
|
||||
}
|
||||
verify_session_and_active_validators(network, participants, 0);
|
||||
|
||||
// add 1 participant
|
||||
let new_participant = insecure_pair_from_name("new-guy").public();
|
||||
Coins::mint(new_participant, Balance { coin: Coin::Serai, amount: key_shares[&network] })
|
||||
.unwrap();
|
||||
ValidatorSets::allocate(
|
||||
RawOrigin::Signed(new_participant).into(),
|
||||
network,
|
||||
key_shares[&network],
|
||||
)
|
||||
.unwrap();
|
||||
participants.push(new_participant);
|
||||
|
||||
// move network to the activation session
|
||||
let activation_session = get_session_at_which_changes_activate(network);
|
||||
rotate_session_until(network, activation_session);
|
||||
|
||||
// verify
|
||||
participants.sort();
|
||||
verify_session_and_active_validators(network, participants, activation_session);
|
||||
|
||||
// remove 1 participant
|
||||
let participant_to_remove = participants[0];
|
||||
ValidatorSets::deallocate(
|
||||
RawOrigin::Signed(participant_to_remove).into(),
|
||||
network,
|
||||
key_shares[&network],
|
||||
)
|
||||
.unwrap();
|
||||
participants
|
||||
.swap_remove(participants.iter().position(|k| *k == participant_to_remove).unwrap());
|
||||
|
||||
// check pending deallocations
|
||||
let pending = ValidatorSets::pending_deallocations(
|
||||
(network, participant_to_remove),
|
||||
Session(if network == NetworkId::Serai {
|
||||
activation_session + 3
|
||||
} else {
|
||||
activation_session + 2
|
||||
}),
|
||||
);
|
||||
assert_eq!(pending, Some(key_shares[&network]));
|
||||
|
||||
// move network to the activation session
|
||||
let activation_session = get_session_at_which_changes_activate(network);
|
||||
rotate_session_until(network, activation_session);
|
||||
|
||||
// verify
|
||||
participants.sort();
|
||||
verify_session_and_active_validators(network, participants, activation_session);
|
||||
}
|
||||
})
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn allocate() {
|
||||
new_test_ext().execute_with(|| {
|
||||
let genesis_participants: Vec<Public> =
|
||||
genesis_participants().into_iter().map(|p| p.public()).collect();
|
||||
let key_shares = key_shares();
|
||||
let participant = insecure_pair_from_name("random1").public();
|
||||
let network = NetworkId::External(ExternalNetworkId::Ethereum);
|
||||
|
||||
// check genesis TAS
|
||||
set_keys_for_session(network.try_into().unwrap());
|
||||
assert_eq!(
|
||||
ValidatorSets::total_allocated_stake(network).unwrap().0,
|
||||
key_shares[&network].0 * u64::try_from(genesis_participants.len()).unwrap()
|
||||
);
|
||||
|
||||
// we can't allocate less than a key share
|
||||
let amount = Amount(key_shares[&network].0 * 3);
|
||||
Coins::mint(participant, Balance { coin: Coin::Serai, amount }).unwrap();
|
||||
assert_noop!(
|
||||
ValidatorSets::allocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
Amount(key_shares[&network].0 - 1)
|
||||
),
|
||||
validator_sets::Error::<Test>::InsufficientAllocation
|
||||
);
|
||||
|
||||
// we can't allocate too much that the net exhibits the ability to handle any single node
|
||||
// becoming byzantine
|
||||
assert_noop!(
|
||||
ValidatorSets::allocate(RawOrigin::Signed(participant).into(), network, amount),
|
||||
validator_sets::Error::<Test>::AllocationWouldRemoveFaultTolerance
|
||||
);
|
||||
|
||||
// we should be allocate a proper amount
|
||||
assert_ok!(ValidatorSets::allocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
));
|
||||
assert_eq!(Coins::balance(participant, Coin::Serai).0, amount.0 - key_shares[&network].0);
|
||||
|
||||
// check new amount is reflected on TAS on new session
|
||||
rotate_session_until(network, 1);
|
||||
assert_eq!(
|
||||
ValidatorSets::total_allocated_stake(network).unwrap().0,
|
||||
key_shares[&network].0 * (u64::try_from(genesis_participants.len()).unwrap() + 1)
|
||||
);
|
||||
|
||||
// check that new participants match
|
||||
let mut active_participants: Vec<Public> =
|
||||
active_network_validators(network).into_iter().map(|(p, _)| p).collect();
|
||||
|
||||
let mut current_participants = genesis_participants.clone();
|
||||
current_participants.push(participant);
|
||||
|
||||
current_participants.sort();
|
||||
active_participants.sort();
|
||||
assert_eq!(current_participants, active_participants);
|
||||
})
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn deallocate_pending() {
|
||||
new_test_ext().execute_with(|| {
|
||||
let genesis_participants: Vec<Public> =
|
||||
genesis_participants().into_iter().map(|p| p.public()).collect();
|
||||
let key_shares = key_shares();
|
||||
let participant = insecure_pair_from_name("random1").public();
|
||||
let network = NetworkId::External(ExternalNetworkId::Bitcoin);
|
||||
|
||||
// check genesis TAS
|
||||
set_keys_for_session(network.try_into().unwrap());
|
||||
assert_eq!(
|
||||
ValidatorSets::total_allocated_stake(network).unwrap().0,
|
||||
key_shares[&network].0 * u64::try_from(genesis_participants.len()).unwrap()
|
||||
);
|
||||
|
||||
// allocate some amount
|
||||
Coins::mint(participant, Balance { coin: Coin::Serai, amount: key_shares[&network] }).unwrap();
|
||||
assert_ok!(ValidatorSets::allocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
));
|
||||
assert_eq!(Coins::balance(participant, Coin::Serai).0, 0);
|
||||
|
||||
// move to next session
|
||||
let mut current_session = ValidatorSets::session(network).unwrap().0;
|
||||
current_session += 1;
|
||||
rotate_session_until(network, current_session);
|
||||
assert_eq!(
|
||||
ValidatorSets::total_allocated_stake(network).unwrap().0,
|
||||
key_shares[&network].0 * (u64::try_from(genesis_participants.len()).unwrap() + 1)
|
||||
);
|
||||
|
||||
// we can deallocate all of our allocation
|
||||
assert_ok!(ValidatorSets::deallocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
));
|
||||
|
||||
// check pending deallocations
|
||||
let pending_session =
|
||||
if network == NetworkId::Serai { current_session + 3 } else { current_session + 2 };
|
||||
assert_eq!(
|
||||
ValidatorSets::pending_deallocations((network, participant), Session(pending_session)),
|
||||
Some(key_shares[&network])
|
||||
);
|
||||
|
||||
// we can't claim it immediately
|
||||
assert_noop!(
|
||||
ValidatorSets::claim_deallocation(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
Session(pending_session),
|
||||
),
|
||||
validator_sets::Error::<Test>::NonExistentDeallocation
|
||||
);
|
||||
|
||||
// we should be able to claim it in the pending session
|
||||
rotate_session_until(network, pending_session);
|
||||
assert_ok!(ValidatorSets::claim_deallocation(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
Session(pending_session),
|
||||
));
|
||||
})
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn deallocate_immediately() {
|
||||
new_test_ext().execute_with(|| {
|
||||
let genesis_participants: Vec<Public> =
|
||||
genesis_participants().into_iter().map(|p| p.public()).collect();
|
||||
let key_shares = key_shares();
|
||||
let participant = insecure_pair_from_name("random1").public();
|
||||
let network = NetworkId::External(ExternalNetworkId::Monero);
|
||||
|
||||
// check genesis TAS
|
||||
set_keys_for_session(network.try_into().unwrap());
|
||||
assert_eq!(
|
||||
ValidatorSets::total_allocated_stake(network).unwrap().0,
|
||||
key_shares[&network].0 * u64::try_from(genesis_participants.len()).unwrap()
|
||||
);
|
||||
|
||||
// we can't deallocate when we don't have an allocation
|
||||
assert_noop!(
|
||||
ValidatorSets::deallocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
),
|
||||
validator_sets::Error::<Test>::NonExistentValidator
|
||||
);
|
||||
|
||||
// allocate some amount
|
||||
Coins::mint(participant, Balance { coin: Coin::Serai, amount: key_shares[&network] }).unwrap();
|
||||
assert_ok!(ValidatorSets::allocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
));
|
||||
assert_eq!(Coins::balance(participant, Coin::Serai).0, 0);
|
||||
|
||||
// we can't deallocate more than our allocation
|
||||
assert_noop!(
|
||||
ValidatorSets::deallocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
Amount(key_shares[&network].0 + 1)
|
||||
),
|
||||
validator_sets::Error::<Test>::NotEnoughAllocated
|
||||
);
|
||||
|
||||
// we can't deallocate an amount that would left us less than a key share as long as it isn't 0
|
||||
assert_noop!(
|
||||
ValidatorSets::deallocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
Amount(key_shares[&network].0 / 2)
|
||||
),
|
||||
validator_sets::Error::<Test>::DeallocationWouldRemoveParticipant
|
||||
);
|
||||
|
||||
// we can deallocate all of our allocation
|
||||
assert_ok!(ValidatorSets::deallocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
));
|
||||
|
||||
// It should be immediately deallocated since we are not yet in an active set
|
||||
assert_eq!(Coins::balance(participant, Coin::Serai), key_shares[&network]);
|
||||
assert!(ValidatorSets::pending_deallocations((network, participant), Session(1)).is_none());
|
||||
|
||||
// allocate again
|
||||
assert_ok!(ValidatorSets::allocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
));
|
||||
assert_eq!(Coins::balance(participant, Coin::Serai).0, 0);
|
||||
|
||||
// make a pool so that we have security oracle value for the coin
|
||||
let liq_acc = insecure_pair_from_name("liq-acc").public();
|
||||
let coin = ExternalCoin::Monero;
|
||||
let balance = ExternalBalance { coin, amount: Amount(2 * key_shares[&network].0) };
|
||||
Coins::mint(liq_acc, balance.into()).unwrap();
|
||||
Coins::mint(liq_acc, Balance { coin: Coin::Serai, amount: balance.amount }).unwrap();
|
||||
Dex::add_liquidity(
|
||||
RawOrigin::Signed(liq_acc).into(),
|
||||
coin,
|
||||
balance.amount.0 / 2,
|
||||
balance.amount.0 / 2,
|
||||
1,
|
||||
1,
|
||||
liq_acc,
|
||||
)
|
||||
.unwrap();
|
||||
Dex::on_finalize(1);
|
||||
assert!(Dex::security_oracle_value(coin).unwrap().0 > 0);
|
||||
|
||||
// we can't deallocate if it would break economic security
|
||||
// The reason we don't have economic security for the network now is that we just set
|
||||
// the value for coin/SRI to 1:1 when making the pool and we minted 2 * key_share amount
|
||||
// of coin but we only allocated 1 key_share of SRI for the network although we need more than
|
||||
// 3 for the same amount of coin.
|
||||
assert_noop!(
|
||||
ValidatorSets::deallocate(
|
||||
RawOrigin::Signed(participant).into(),
|
||||
network,
|
||||
key_shares[&network]
|
||||
),
|
||||
validator_sets::Error::<Test>::DeallocationWouldRemoveEconomicSecurity
|
||||
);
|
||||
})
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn set_keys_keys_exist() {
|
||||
new_test_ext().execute_with(|| {
|
||||
let network = ExternalNetworkId::Monero;
|
||||
|
||||
// set the keys first
|
||||
ValidatorSets::set_keys(
|
||||
RawOrigin::None.into(),
|
||||
network,
|
||||
Vec::new().try_into().unwrap(),
|
||||
KeyPair(insecure_pair_from_name("name").public(), Vec::new().try_into().unwrap()),
|
||||
Signature([0u8; 64]),
|
||||
)
|
||||
.unwrap();
|
||||
|
||||
let call = validator_sets::Call::<Test>::set_keys {
|
||||
network,
|
||||
removed_participants: Vec::new().try_into().unwrap(),
|
||||
key_pair: KeyPair(insecure_pair_from_name("name").public(), Vec::new().try_into().unwrap()),
|
||||
signature: Signature([0u8; 64]),
|
||||
};
|
||||
|
||||
assert_eq!(
|
||||
ValidatorSets::validate_unsigned(TransactionSource::External, &call),
|
||||
InvalidTransaction::Stale.into()
|
||||
);
|
||||
})
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn set_keys_invalid_signature() {
|
||||
new_test_ext().execute_with(|| {
|
||||
let network = ExternalNetworkId::Ethereum;
|
||||
let mut participants = get_ordered_keys(network.into(), &genesis_participants());
|
||||
|
||||
// we can't have invalid set
|
||||
let mut set = ExternalValidatorSet { network, session: Session(1) };
|
||||
let key_pair =
|
||||
KeyPair(insecure_pair_from_name("name").public(), Vec::new().try_into().unwrap());
|
||||
let signature = set_keys_signature(&set, &key_pair, &participants);
|
||||
|
||||
let call = validator_sets::Call::<Test>::set_keys {
|
||||
network,
|
||||
removed_participants: Vec::new().try_into().unwrap(),
|
||||
key_pair: key_pair.clone(),
|
||||
signature,
|
||||
};
|
||||
assert_eq!(
|
||||
ValidatorSets::validate_unsigned(TransactionSource::External, &call),
|
||||
InvalidTransaction::BadProof.into()
|
||||
);
|
||||
|
||||
// fix the set
|
||||
set.session = Session(0);
|
||||
|
||||
// participants should match
|
||||
participants.push(insecure_pair_from_name("random1"));
|
||||
let signature = set_keys_signature(&set, &key_pair, &participants);
|
||||
|
||||
let call = validator_sets::Call::<Test>::set_keys {
|
||||
network,
|
||||
removed_participants: Vec::new().try_into().unwrap(),
|
||||
key_pair: key_pair.clone(),
|
||||
signature,
|
||||
};
|
||||
assert_eq!(
|
||||
ValidatorSets::validate_unsigned(TransactionSource::External, &call),
|
||||
InvalidTransaction::BadProof.into()
|
||||
);
|
||||
|
||||
// fix the participants
|
||||
participants.pop();
|
||||
|
||||
// msg key pair and the key pair to set should match
|
||||
let key_pair2 =
|
||||
KeyPair(insecure_pair_from_name("name2").public(), Vec::new().try_into().unwrap());
|
||||
let signature = set_keys_signature(&set, &key_pair2, &participants);
|
||||
|
||||
let call = validator_sets::Call::<Test>::set_keys {
|
||||
network,
|
||||
removed_participants: Vec::new().try_into().unwrap(),
|
||||
key_pair: key_pair.clone(),
|
||||
signature,
|
||||
};
|
||||
assert_eq!(
|
||||
ValidatorSets::validate_unsigned(TransactionSource::External, &call),
|
||||
InvalidTransaction::BadProof.into()
|
||||
);
|
||||
|
||||
// use the same key pair
|
||||
let signature = set_keys_signature(&set, &key_pair, &participants);
|
||||
let call = validator_sets::Call::<Test>::set_keys {
|
||||
network,
|
||||
removed_participants: Vec::new().try_into().unwrap(),
|
||||
key_pair,
|
||||
signature,
|
||||
};
|
||||
ValidatorSets::validate_unsigned(TransactionSource::External, &call).unwrap();
|
||||
|
||||
// TODO: removed_participants parameter isn't tested since it will be removed in upcoming
|
||||
// commits?
|
||||
})
|
||||
}
|
||||
|
||||
// TODO: add report_slashes tests when the feature is complete.
|
Loading…
Reference in a new issue