cerc-io/lighthouse
16
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

Fix bug with checking for dust in transfers

Browse Source
This commit is contained in:
Paul Hauner 2019-05-23 16:52:20 +10:00
parent 13f78342c3
commit 29792c56d5
No known key found for this signature in database
GPG Key ID: 5E2CFF9B75FA63DF
2 changed files with 19 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
eth2/state_processing/src/per_block_processing/errors.rs
View File

@ -398,7 +398,12 @@ pub enum TransferInvalid {
/// min_deposit_amount`
///
/// (resulting_amount, min_deposit_amount)
InvalidResultingFromBalance(u64, u64),
SenderDust(u64, u64),
/// This transfer would result in the `transfer.to` account to have `0 < balance <
/// min_deposit_amount`
///
/// (resulting_amount, min_deposit_amount)
RecipientDust(u64, u64),
/// The state slot does not match `transfer.slot`.
///
/// (state_slot, transfer_slot)

19
eth2/state_processing/src/per_block_processing/verify_transfer.rs
View File

@ -44,12 +44,16 @@ fn verify_transfer_parametric<T: EthSpec>(
spec: &ChainSpec,
time_independent_only: bool,
) -> Result<(), Error> {
// Load the sender balance from state.
let sender_balance = *state
.balances
.get(transfer.sender as usize)
.ok_or_else(|| Error::Invalid(Invalid::FromValidatorUnknown(transfer.sender)))?;
let recipient_balance = *state
.balances
.get(transfer.recipient as usize)
.ok_or_else(|| Error::Invalid(Invalid::FromValidatorUnknown(transfer.recipient)))?;
// Safely determine `amount + fee`.
let total_amount = transfer
.amount
@ -62,16 +66,19 @@ fn verify_transfer_parametric<T: EthSpec>(
Invalid::FromBalanceInsufficient(transfer.amount, sender_balance)
);
// Verify balances are not "dust" (i.e., greater than zero but less than the minimum deposit
// Verify sender balance will not be "dust" (i.e., greater than zero but less than the minimum deposit
// amount).
verify!(
time_independent_only
|| (sender_balance == total_amount)
|| (sender_balance >= (total_amount + spec.min_deposit_amount)),
Invalid::InvalidResultingFromBalance(
sender_balance - total_amount,
spec.min_deposit_amount
)
Invalid::SenderDust(sender_balance - total_amount, spec.min_deposit_amount)
);
// Verify the recipient balance will not be dust.
verify!(
time_independent_only || ((recipient_balance + transfer.amount) >= spec.min_deposit_amount),
Invalid::RecipientDust(sender_balance - total_amount, spec.min_deposit_amount)
);
// If loosely enforcing `transfer.slot`, ensure the slot is not in the past. Otherwise, ensure