From f2ce3566458d9b0a6dd3d189c50d53588ad65c23 Mon Sep 17 00:00:00 2001 From: brentstone Date: Thu, 11 Apr 2024 00:35:35 -0700 Subject: [PATCH 1/5] transfer slashed tokens to slash pool --- crates/proof_of_stake/src/lib.rs | 18 ++++++++++-------- crates/proof_of_stake/src/slashing.rs | 11 +++++++++++ 2 files changed, 21 insertions(+), 8 deletions(-) diff --git a/crates/proof_of_stake/src/lib.rs b/crates/proof_of_stake/src/lib.rs index aa28e63e35..c578fa0fbc 100644 --- a/crates/proof_of_stake/src/lib.rs +++ b/crates/proof_of_stake/src/lib.rs @@ -1394,6 +1394,7 @@ where (Epoch, Epoch), (token::Amount, EagerRedelegatedBondsMap), > = BTreeMap::new(); + let mut raw_withdrawable_unbond_total = token::Amount::zero(); for unbond in unbond_handle.iter(storage)? { let ( @@ -1416,6 +1417,7 @@ where ); continue; } + raw_withdrawable_unbond_total += amount; let mut eager_redelegated_unbonds = EagerRedelegatedBondsMap::default(); let matching_redelegated_unbonds = @@ -1487,15 +1489,15 @@ where withdrawable_amount, )?; - // TODO: Transfer the slashed tokens from the PoS address to the Slash Pool + // Transfer the slashed tokens from the PoS address to the Slash Pool // address - // token::transfer( - // storage, - // &staking_token, - // &ADDRESS, - // &SLASH_POOL_ADDRESS, - // total_slashed, - // )?; + token::transfer( + storage, + &staking_token, + &ADDRESS, + &SLASH_POOL_ADDRESS, + raw_withdrawable_unbond_total - withdrawable_amount, + )?; Ok(withdrawable_amount) } diff --git a/crates/proof_of_stake/src/slashing.rs b/crates/proof_of_stake/src/slashing.rs index 3965ff6014..e88864fccb 100644 --- a/crates/proof_of_stake/src/slashing.rs +++ b/crates/proof_of_stake/src/slashing.rs @@ -16,6 +16,7 @@ use namada_storage::collections::lazy_map::{ }; use namada_storage::collections::LazyMap; use namada_storage::{StorageRead, StorageWrite}; +use namada_trans_token::transfer; use crate::storage::{ enqueued_slashes_handle, read_pos_params, read_validator_last_slash_epoch, @@ -348,6 +349,16 @@ where Some(0), !is_jailed_or_inactive, )?; + + // Transfer to slash pool + let native_token = storage.get_native_token()?; + transfer( + storage, + &native_token, + &crate::ADDRESS, + &crate::SLASH_POOL_ADDRESS, + slash_delta, + )?; } // TODO: should we clear some storage here as is done in Quint?? From 9495dcdabee5dc493b5edef4de5a51dc384edcdb Mon Sep 17 00:00:00 2001 From: brentstone Date: Tue, 16 Apr 2024 11:54:01 -0700 Subject: [PATCH 2/5] add slash pool address to wallet --- crates/apps/src/lib/config/genesis/chain.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/apps/src/lib/config/genesis/chain.rs b/crates/apps/src/lib/config/genesis/chain.rs index aea50c5889..7aa702976d 100644 --- a/crates/apps/src/lib/config/genesis/chain.rs +++ b/crates/apps/src/lib/config/genesis/chain.rs @@ -167,6 +167,7 @@ impl Finalized { InternalAddress::EthBridgePool, InternalAddress::Governance, InternalAddress::Pgf, + InternalAddress::PosSlashPool, ] { wallet.insert_address( int_add.to_string().to_lowercase(), From 773ec07a013cd3187b4ac5a5b9b9221d8cf0dc43 Mon Sep 17 00:00:00 2001 From: brentstone Date: Wed, 17 Apr 2024 13:22:16 -0700 Subject: [PATCH 3/5] remove slash pool balance from total supply computation --- crates/trans_token/src/storage.rs | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/crates/trans_token/src/storage.rs b/crates/trans_token/src/storage.rs index 4324f0be29..d43d76d8ff 100644 --- a/crates/trans_token/src/storage.rs +++ b/crates/trans_token/src/storage.rs @@ -45,7 +45,8 @@ where Ok(balance) } -/// Get the effective circulating total supply of native tokens. +/// Get the effective circulating total supply of native tokens. Does not +/// consider the native balance in the PGF of Slash pool addresses. pub fn get_effective_total_native_supply( storage: &S, ) -> namada_storage::Result @@ -54,14 +55,20 @@ where { let native_token = storage.get_native_token()?; let pgf_address = Address::Internal(InternalAddress::Pgf); + let slash_pool_address = Address::Internal(InternalAddress::PosSlashPool); let raw_total = read_total_supply(storage, &native_token)?; let pgf_balance = read_balance(storage, &native_token, &pgf_address)?; + let slash_pool_balance = + read_balance(storage, &native_token, &slash_pool_address)?; // Remove native balance in PGF address from the total supply - Ok(raw_total - .checked_sub(pgf_balance) - .expect("Raw total supply should be larger than PGF balance")) + let to_remove = pgf_balance + .checked_add(slash_pool_balance) + .expect("Adding PGF and Slash Pool balance should not overflow"); + Ok(raw_total.checked_sub(to_remove).expect( + "Raw total supply should be larger than PGF + Slash Pool balance", + )) } /// Read the denomination of a given token, if any. Note that native From d5bd388d8785894415cbedb8cf312fb3f321bd92 Mon Sep 17 00:00:00 2001 From: brentstone Date: Thu, 11 Apr 2024 15:16:53 -0700 Subject: [PATCH 4/5] WIP --- .../lib/node/ledger/shell/finalize_block.rs | 166 +++++++++--------- 1 file changed, 84 insertions(+), 82 deletions(-) diff --git a/crates/apps/src/lib/node/ledger/shell/finalize_block.rs b/crates/apps/src/lib/node/ledger/shell/finalize_block.rs index f2a61a809b..a3d2c8cd50 100644 --- a/crates/apps/src/lib/node/ledger/shell/finalize_block.rs +++ b/crates/apps/src/lib/node/ledger/shell/finalize_block.rs @@ -779,7 +779,9 @@ mod test_finalize_block { use namada::proof_of_stake::{unjail_validator, ADDRESS as pos_address}; use namada::replay_protection; use namada::tendermint::abci::types::{Misbehavior, MisbehaviorKind}; - use namada::token::{Amount, DenominatedAmount, NATIVE_MAX_DECIMAL_PLACES}; + use namada::token::{ + read_balance, Amount, DenominatedAmount, NATIVE_MAX_DECIMAL_PLACES, + }; use namada::tx::data::Fee; use namada::tx::{Authorization, Code, Data}; use namada::vote_ext::ethereum_events; @@ -1755,7 +1757,7 @@ mod test_finalize_block { let (current_epoch, inflation) = advance_epoch(&mut shell, &pkh1, &votes, None); - total_rewards += inflation; + total_rewards += token::Amount::from(inflation); // Query the available rewards let query_rewards = namada_proof_of_stake::query_reward_tokens( @@ -1808,7 +1810,7 @@ mod test_finalize_block { // Go to the next epoch let (current_epoch, inflation) = advance_epoch(&mut shell, &pkh1, &votes, None); - total_rewards += inflation; + total_rewards += token::Amount::from(inflation); // Unbond some tokens let unbond_amount = token::Amount::native_whole(50_000); @@ -1885,9 +1887,9 @@ mod test_finalize_block { advance_epoch(&mut shell, &pkh1, &votes, None); current_epoch = new_epoch; - total_rewards += inflation; + total_rewards += token::Amount::from(inflation); if current_epoch <= pipeline_epoch_from_unbond { - missed_rewards += inflation; + missed_rewards += token::Amount::from(inflation); } } @@ -2032,7 +2034,7 @@ mod test_finalize_block { let (new_epoch, inflation) = advance_epoch(&mut shell, &pkh1, &votes, None); current_epoch = new_epoch; - total_rewards += inflation; + total_rewards += token::Amount::from(inflation); } // Claim the rewards for the validator for the first two epochs @@ -2058,6 +2060,7 @@ mod test_finalize_block { ); let (new_epoch, inflation_3) = advance_epoch(&mut shell, &pkh1, &votes, None); + let inflation_3 = token::Amount::from(inflation_3); current_epoch = new_epoch; total_rewards += inflation_3; @@ -3487,7 +3490,7 @@ mod test_finalize_block { } /// Current test procedure (prefixed by epoch in which the event occurs): - /// 0) Validator initial stake of 00_000 + /// 0) Validator initial stake of 100_000 /// 1) Delegate 37_231 to validator /// 1) Self-unbond 84_654 /// 2) Unbond delegation of 18_000 @@ -3495,12 +3498,13 @@ mod test_finalize_block { /// 4) Self-unbond 15_000 /// 5) Delegate 8_144 to validator /// 6) Discover misbehavior in epoch 3 - /// 7) Discover misbehavior in epoch 4 + /// 7) Discover one misbehavior in epoch 3 and one in epoch 4 + /// 9) Process slashes from epoch 3 + /// 10) Process slashes from epoch 4 fn test_multiple_misbehaviors_by_num_vals( num_validators: u64, ) -> namada::state::StorageResult<()> { // Setup the network with pipeline_len = 2, unbonding_len = 4 - // let num_validators = 8_u64; let (mut shell, _recv, _, _) = setup_with_cfg(SetupCfg { last_height: 0, num_validators, @@ -3513,15 +3517,12 @@ mod test_finalize_block { // Slash pool balance let nam_address = shell.state.in_mem().native_token.clone(); - let slash_balance_key = token::storage_key::balance_key( + let slash_pool_balance_init = read_balance( + &shell.state, &nam_address, &namada_proof_of_stake::SLASH_POOL_ADDRESS, - ); - let slash_pool_balance_init: token::Amount = shell - .state - .read(&slash_balance_key) - .expect("must be able to read") - .unwrap_or_default(); + ) + .unwrap(); debug_assert_eq!(slash_pool_balance_init, token::Amount::zero()); let consensus_set: Vec = @@ -3551,8 +3552,8 @@ mod test_finalize_block { assert!(!votes.is_empty()); // Advance to epoch 1 and - // 1. Delegate 67231 NAM to validator - // 2. Validator self-unbond 154654 NAM + // 1. Delegate 37_231 NAM to validator + // 2. Validator self-unbond 84_654 NAM let (current_epoch, _) = advance_epoch(&mut shell, &pkh1, &votes, None); assert_eq!(shell.state.in_mem().block.epoch.0, 1_u64); @@ -3614,7 +3615,7 @@ mod test_finalize_block { ); // Advance to epoch 2 and - // 1. Unbond 18000 NAM from delegation + // 1. Unbond 18_000 NAM from delegation let votes = get_default_true_votes( &shell.state, shell.state.in_mem().block.epoch, @@ -3659,7 +3660,7 @@ mod test_finalize_block { ); // Advance to epoch 3 and - // 1. Validator self-bond 9123 NAM + // 1. Validator self-bond 9_123 NAM let votes = get_default_true_votes( &shell.state, shell.state.in_mem().block.epoch, @@ -3679,7 +3680,7 @@ mod test_finalize_block { .unwrap(); // Advance to epoch 4 - // 1. Validator self-unbond 15000 NAM + // 1. Validator self-unbond 15_000 NAM let votes = get_default_true_votes( &shell.state, shell.state.in_mem().block.epoch, @@ -3699,7 +3700,7 @@ mod test_finalize_block { .unwrap(); // Advance to epoch 5 and - // Delegate 8144 NAM to validator + // Delegate 8_144 NAM to validator let votes = get_default_true_votes( &shell.state, shell.state.in_mem().block.epoch, @@ -3760,9 +3761,7 @@ mod test_finalize_block { // Assertions assert_eq!(current_epoch.0, 6_u64); let processing_epoch = misbehavior_epoch - + params.unbonding_len - + 1_u64 - + params.cubic_slashing_window_length; + + params.slash_processing_epoch_offset(); let enqueued_slash = enqueued_slashes_handle() .at(&processing_epoch) .at(&val1.address) @@ -3829,20 +3828,20 @@ mod test_finalize_block { Some(misbehaviors), ); assert_eq!(current_epoch.0, 7_u64); - let enqueued_slashes_8 = enqueued_slashes_handle() + let enqueued_slashes_9 = enqueued_slashes_handle() .at(&processing_epoch) .at(&val1.address); - let enqueued_slashes_9 = enqueued_slashes_handle() + let enqueued_slashes_10 = enqueued_slashes_handle() .at(&processing_epoch.next()) .at(&val1.address); - let num_enqueued_8 = - enqueued_slashes_8.iter(&shell.state).unwrap().count(); let num_enqueued_9 = enqueued_slashes_9.iter(&shell.state).unwrap().count(); + let num_enqueued_10 = + enqueued_slashes_10.iter(&shell.state).unwrap().count(); - assert_eq!(num_enqueued_8, 2); - assert_eq!(num_enqueued_9, 1); + assert_eq!(num_enqueued_9, 2); + assert_eq!(num_enqueued_10, 1); let last_slash = namada_proof_of_stake::storage::read_validator_last_slash_epoch( &shell.state, @@ -3885,7 +3884,7 @@ mod test_finalize_block { + del_2_amount ); - tracing::debug!("\nNow processing the infractions\n"); + tracing::debug!("\nNow processing the infractions from epoch 3\n"); // Advance to epoch 9, where the infractions committed in epoch 3 will // be processed @@ -3965,6 +3964,7 @@ mod test_finalize_block { Epoch(10), ) .unwrap(); + // The amount unbonded after the infraction that affected the deltas // before processing is `del_unbond_1_amount + self_bond_1_amount - // self_unbond_2_amount` (since this self-bond was enacted then unbonded @@ -4010,17 +4010,17 @@ mod test_finalize_block { // Check the balance of the Slash Pool // TODO: finish once implemented - // let slash_pool_balance: token::Amount = shell - // .state - // .read(&slash_balance_key) - // .expect("must be able to read") - // .unwrap_or_default(); - // let exp_slashed_3 = decimal_mult_amount( - // std::cmp::min(Decimal::TWO * cubic_rate, Decimal::ONE), - // val_stake_3 - del_unbond_1_amount + self_bond_1_amount - // - self_unbond_2_amount, - // ); - // assert_eq!(slash_pool_balance, exp_slashed_3); + let slash_pool_balance = read_balance( + &shell.state, + &staking_token, + &namada_proof_of_stake::SLASH_POOL_ADDRESS, + ) + .unwrap(); + let exp_slashed_3 = (val_stake_3 - del_unbond_1_amount + + self_bond_1_amount + - self_unbond_2_amount) + .mul_ceil(std::cmp::min(Dec::two() * cubic_rate, Dec::one())); + assert!(slash_pool_balance - exp_slashed_3 <= 1.into()); // Advance to epoch 10, where the infraction committed in epoch 4 will // be processed @@ -4033,32 +4033,30 @@ mod test_finalize_block { // Check the balance of the Slash Pool // TODO: finish once implemented - // let slash_pool_balance: token::Amount = shell - // .state - // .read(&slash_balance_key) - // .expect("must be able to read") - // .unwrap_or_default(); + let slash_pool_balance = read_balance( + &shell.state, + &staking_token, + &namada_proof_of_stake::SLASH_POOL_ADDRESS, + ) + .unwrap(); - // let exp_slashed_4 = if dec!(2) * cubic_rate >= Decimal::ONE { - // token::Amount::zero() - // } else if dec!(3) * cubic_rate >= Decimal::ONE { - // decimal_mult_amount( - // Decimal::ONE - dec!(2) * cubic_rate, - // val_stake_4 + self_bond_1_amount - self_unbond_2_amount, - // ) - // } else { - // decimal_mult_amount( - // std::cmp::min(cubic_rate, Decimal::ONE), - // val_stake_4 + self_bond_1_amount - self_unbond_2_amount, - // ) - // }; - // dbg!(slash_pool_balance, exp_slashed_3 + exp_slashed_4); - // assert!( - // (slash_pool_balance.change() - // - (exp_slashed_3 + exp_slashed_4).change()) - // .abs() - // <= 1 - // ); + let exp_slashed_4 = if Dec::two() * cubic_rate >= Dec::one() { + token::Amount::zero() + } else if Dec::from(3u64) * cubic_rate >= Dec::one() { + (val_stake_4 + self_bond_1_amount - self_unbond_2_amount) + .mul_ceil(Dec::one() - Dec::two() * cubic_rate) + } else { + (val_stake_4 + self_bond_1_amount - self_unbond_2_amount) + .mul_ceil(std::cmp::min(cubic_rate, Dec::one())) + }; + + dbg!(slash_pool_balance, exp_slashed_3 + exp_slashed_4); + assert!( + (slash_pool_balance.change() + - (exp_slashed_3 + exp_slashed_4).change()) + .abs() + <= Uint::one() + ); let val_stake = read_validator_stake( &shell.state, @@ -4091,11 +4089,14 @@ mod test_finalize_block { // dbg!(&exp_slashed_during_processing_9); // TODO: finish once implemented - // assert!( - // ((pre_stake_11 - post_stake_11).change() - - // exp_slashed_4.change()) .abs() - // <= 1 - // ); + assert!( + (dbg!( + (pre_stake_10 - post_stake_10).change() + - exp_slashed_4.change() + )) + .abs() + <= Uint::one() + ); // dbg!(&val_stake, &exp_stake); // dbg!(exp_slashed_during_processing_8 + @@ -4105,14 +4106,15 @@ mod test_finalize_block { // exp_slashed_during_processing_9) // ); - // let exp_stake = val_stake_3 - del_unbond_1_amount + - // self_bond_1_amount - // - self_unbond_2_amount - // + del_2_amount - // - exp_slashed_3 - // - exp_slashed_4; + let exp_stake = val_stake_3 - del_unbond_1_amount + self_bond_1_amount + - self_unbond_2_amount + + del_2_amount + - exp_slashed_3 + - exp_slashed_4; - // assert!((exp_stake.change() - post_stake_11.change()).abs() <= 1); + assert!( + (exp_stake.change() - post_stake_10.change()).abs() <= Uint::one() + ); for _ in 0..2 { let votes = get_default_true_votes( @@ -4662,7 +4664,7 @@ mod test_finalize_block { proposer_address: &[u8], consensus_votes: &[VoteInfo], misbehaviors: Option>, - ) -> (Epoch, token::Amount) { + ) -> (Epoch, token::Change) { let current_epoch = shell.state.in_mem().block.epoch; let staking_token = namada_proof_of_stake::staking_token_address(&shell.state); @@ -4700,7 +4702,7 @@ mod test_finalize_block { ( shell.state.in_mem().block.epoch, - pos_balance_post - pos_balance_pre, + pos_balance_post.change() - pos_balance_pre.change(), ) } From 77bddedffaa41810ffb626780e70143c7771812c Mon Sep 17 00:00:00 2001 From: brentstone Date: Tue, 23 Apr 2024 00:29:20 -0700 Subject: [PATCH 5/5] WIP --- .../lib/node/ledger/shell/finalize_block.rs | 116 ++++++++++-------- 1 file changed, 63 insertions(+), 53 deletions(-) diff --git a/crates/apps/src/lib/node/ledger/shell/finalize_block.rs b/crates/apps/src/lib/node/ledger/shell/finalize_block.rs index a3d2c8cd50..5b7ca18306 100644 --- a/crates/apps/src/lib/node/ledger/shell/finalize_block.rs +++ b/crates/apps/src/lib/node/ledger/shell/finalize_block.rs @@ -3551,12 +3551,6 @@ mod test_finalize_block { let votes = get_default_true_votes(&shell.state, Epoch::default()); assert!(!votes.is_empty()); - // Advance to epoch 1 and - // 1. Delegate 37_231 NAM to validator - // 2. Validator self-unbond 84_654 NAM - let (current_epoch, _) = advance_epoch(&mut shell, &pkh1, &votes, None); - assert_eq!(shell.state.in_mem().block.epoch.0, 1_u64); - // Make an account with balance and delegate some tokens let delegator = address::testing::gen_implicit_address(); let del_1_amount = token::Amount::native_whole(37_231); @@ -3568,6 +3562,14 @@ mod test_finalize_block { token::Amount::native_whole(200_000), ) .unwrap(); + + // Advance to epoch 1 and + // 1. Delegate 37_231 NAM to validator + // 2. Validator self-unbond 84_654 NAM + let (current_epoch, _) = advance_epoch(&mut shell, &pkh1, &votes, None); + assert_eq!(shell.state.in_mem().block.epoch.0, 1_u64); + + // Delegate namada_proof_of_stake::bond_tokens( &mut shell.state, Some(&delegator), @@ -3590,6 +3592,7 @@ mod test_finalize_block { ) .unwrap(); + // Check stakes let val_stake = namada_proof_of_stake::storage::read_validator_stake( &shell.state, ¶ms, @@ -3633,6 +3636,7 @@ mod test_finalize_block { ) .unwrap(); + // Check stakes let val_stake = namada_proof_of_stake::storage::read_validator_stake( &shell.state, ¶ms, @@ -3668,6 +3672,7 @@ mod test_finalize_block { let (current_epoch, _) = advance_epoch(&mut shell, &pkh1, &votes, None); tracing::debug!("\nBonding in epoch 3"); + // Self-bond let self_bond_1_amount = token::Amount::native_whole(9_123); namada_proof_of_stake::bond_tokens( &mut shell.state, @@ -3688,6 +3693,7 @@ mod test_finalize_block { let (current_epoch, _) = advance_epoch(&mut shell, &pkh1, &votes, None); assert_eq!(current_epoch.0, 4_u64); + // Self-unbond let self_unbond_2_amount = token::Amount::native_whole(15_000); namada_proof_of_stake::unbond_tokens( &mut shell.state, @@ -3723,7 +3729,7 @@ mod test_finalize_block { tracing::debug!("Advancing to epoch 6"); - // Advance to epoch 6 + // Advance to epoch 6 and discover a misbehavior let votes = get_default_true_votes( &shell.state, shell.state.in_mem().block.epoch, @@ -3760,8 +3766,8 @@ mod test_finalize_block { // Assertions assert_eq!(current_epoch.0, 6_u64); - let processing_epoch = misbehavior_epoch - + params.slash_processing_epoch_offset(); + let processing_epoch = + misbehavior_epoch + params.slash_processing_epoch_offset(); let enqueued_slash = enqueued_slashes_handle() .at(&processing_epoch) .at(&val1.address) @@ -3866,16 +3872,15 @@ mod test_finalize_block { .unwrap() ); - let pre_stake_10 = - namada_proof_of_stake::storage::read_validator_stake( - &shell.state, - ¶ms, - &val1.address, - Epoch(10), - ) - .unwrap(); + let pre_stake_9 = namada_proof_of_stake::storage::read_validator_stake( + &shell.state, + ¶ms, + &val1.address, + Epoch(9), + ) + .unwrap(); assert_eq!( - pre_stake_10, + pre_stake_9, initial_stake + del_1_amount - self_unbond_1_amount - del_unbond_1_amount @@ -3935,7 +3940,10 @@ mod test_finalize_block { Dec::one(), Dec::new(9, 0).unwrap() * tot_frac * tot_frac, ); - dbg!(cubic_rate); + println!( + "\nThe cubic slash rate for epoch 3 infractions is {}\n", + cubic_rate + ); let equal_enough = |rate1: Dec, rate2: Dec| -> bool { let tolerance = Dec::new(1, 9).unwrap(); @@ -3957,14 +3965,14 @@ mod test_finalize_block { // Check the amount of stake deducted from the futuremost epoch while // processing the slashes - let post_stake_10 = read_validator_stake( + let post_stake_9 = read_validator_stake( &shell.state, ¶ms, &val1.address, - Epoch(10), + Epoch(9), ) .unwrap(); - + // The amount unbonded after the infraction that affected the deltas // before processing is `del_unbond_1_amount + self_bond_1_amount - // self_unbond_2_amount` (since this self-bond was enacted then unbonded @@ -3977,18 +3985,24 @@ mod test_finalize_block { + self_bond_1_amount - self_unbond_2_amount) .mul_ceil(slash_rate_3); + + println!("Slash rate for epoch 3 infractions: {}", slash_rate_3); + println!( + "Pre Val stake at epoch 10: {}\nPost Val stake at epoch 10: {}", + pre_stake_9.to_string_native(), + post_stake_9.to_string_native() + ); assert!( - ((pre_stake_10 - post_stake_10).change() + ((pre_stake_9 - post_stake_9).change() - exp_slashed_during_processing_9.change()) .abs() - < Uint::from(1000), + < Uint::from(2), "Expected {}, got {} (with less than 1000 err)", exp_slashed_during_processing_9.to_string_native(), - (pre_stake_10 - post_stake_10).to_string_native(), + (pre_stake_9 - post_stake_9).to_string_native(), ); // Check that we can compute the stake at the pipeline epoch - // NOTE: may be off. by 1 namnam due to rounding; let exp_pipeline_stake = (Dec::one() - slash_rate_3) * Dec::from( initial_stake + del_1_amount @@ -4000,28 +4014,31 @@ mod test_finalize_block { + Dec::from(del_2_amount); assert!( - exp_pipeline_stake.abs_diff(&Dec::from(post_stake_10)) + exp_pipeline_stake.abs_diff(&Dec::from(post_stake_9)) <= Dec::new(2, NATIVE_MAX_DECIMAL_PLACES).unwrap(), "Expected {}, got {} (with less than 2 err), diff {}", exp_pipeline_stake, - post_stake_10.to_string_native(), - exp_pipeline_stake.abs_diff(&Dec::from(post_stake_10)), + post_stake_9.to_string_native(), + exp_pipeline_stake.abs_diff(&Dec::from(post_stake_9)), ); // Check the balance of the Slash Pool - // TODO: finish once implemented let slash_pool_balance = read_balance( &shell.state, &staking_token, &namada_proof_of_stake::SLASH_POOL_ADDRESS, ) .unwrap(); - let exp_slashed_3 = (val_stake_3 - del_unbond_1_amount - + self_bond_1_amount - - self_unbond_2_amount) - .mul_ceil(std::cmp::min(Dec::two() * cubic_rate, Dec::one())); + let exp_slashed_3 = exp_slashed_during_processing_9; assert!(slash_pool_balance - exp_slashed_3 <= 1.into()); + let pre_stake_10 = read_validator_stake( + &shell.state, + ¶ms, + &val1.address, + Epoch(10), + )?; + // Advance to epoch 10, where the infraction committed in epoch 4 will // be processed let votes = get_default_true_votes( @@ -4032,7 +4049,6 @@ mod test_finalize_block { assert_eq!(current_epoch.0, 10_u64); // Check the balance of the Slash Pool - // TODO: finish once implemented let slash_pool_balance = read_balance( &shell.state, &staking_token, @@ -4043,19 +4059,19 @@ mod test_finalize_block { let exp_slashed_4 = if Dec::two() * cubic_rate >= Dec::one() { token::Amount::zero() } else if Dec::from(3u64) * cubic_rate >= Dec::one() { - (val_stake_4 + self_bond_1_amount - self_unbond_2_amount) + dbg!(val_stake_4 + self_bond_1_amount - self_unbond_2_amount) .mul_ceil(Dec::one() - Dec::two() * cubic_rate) } else { - (val_stake_4 + self_bond_1_amount - self_unbond_2_amount) + dbg!(val_stake_4 + self_bond_1_amount - self_unbond_2_amount) .mul_ceil(std::cmp::min(cubic_rate, Dec::one())) }; - dbg!(slash_pool_balance, exp_slashed_3 + exp_slashed_4); + dbg!(slash_pool_balance, exp_slashed_3, exp_slashed_4); assert!( (slash_pool_balance.change() - (exp_slashed_3 + exp_slashed_4).change()) .abs() - <= Uint::one() + <= Uint::one() * 2u64 ); let val_stake = read_validator_stake( @@ -4084,28 +4100,17 @@ mod test_finalize_block { post_stake_10.to_string_native() ); - // dbg!(&val_stake); - // dbg!(pre_stake_10 - post_stake_10); + dbg!(&val_stake, &post_stake_10, &pre_stake_10, &exp_slashed_4); - // dbg!(&exp_slashed_during_processing_9); - // TODO: finish once implemented assert!( (dbg!( (pre_stake_10 - post_stake_10).change() - exp_slashed_4.change() )) .abs() - <= Uint::one() + <= Uint::one() * 3u64 ); - // dbg!(&val_stake, &exp_stake); - // dbg!(exp_slashed_during_processing_8 + - // exp_slashed_during_processing_9); dbg!( - // val_stake_3 - // - (exp_slashed_during_processing_8 + - // exp_slashed_during_processing_9) - // ); - let exp_stake = val_stake_3 - del_unbond_1_amount + self_bond_1_amount - self_unbond_2_amount + del_2_amount @@ -4113,7 +4118,8 @@ mod test_finalize_block { - exp_slashed_4; assert!( - (exp_stake.change() - post_stake_10.change()).abs() <= Uint::one() + (exp_stake.change() - post_stake_10.change()).abs() + <= Uint::one() * 3u64 ); for _ in 0..2 { @@ -4253,6 +4259,8 @@ mod test_finalize_block { ) .unwrap(); + println!("\nDBG0\n"); + let exp_del_withdraw_slashed_amount = del_unbond_1_amount.mul_ceil(slash_rate_3); assert!( @@ -4262,6 +4270,8 @@ mod test_finalize_block { <= Uint::one() ); + println!("\nDBG1\n"); + // TODO: finish once implemented // Check the balance of the Slash Pool // let slash_pool_balance: token::Amount = shell