Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add expiration policy #871

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Add expiration policy #871

wants to merge 6 commits into from

Conversation

AurelienFT
Copy link
Contributor

@AurelienFT AurelienFT commented Nov 16, 2024

FuelLabs/fuel-specs#593

Spec PR : FuelLabs/fuel-specs#616

Checklist

  • Breaking changes are clearly marked as such in the PR description and changelog
  • New behavior is reflected in tests
  • If performance characteristic of an instruction change, update gas costs as well or make a follow-up PR for that
  • The specification matches the implemented behavior (link update PR if changes are needed)

Before requesting review

  • I have reviewed the code myself
  • I have created follow-up issues caused by this PR and linked them here

After merging, notify other teams

[Add or remove entries as needed]

@AurelienFT AurelienFT marked this pull request as ready for review November 17, 2024 13:05
@AurelienFT AurelienFT requested a review from a team November 17, 2024 13:11
@AurelienFT AurelienFT self-assigned this Nov 17, 2024
Copy link
Member

@MitchTurner MitchTurner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

About time we added the expiration :) Both maturity and expiration are important for predicate writing.

fuel-tx/src/tests/valid_cases/transaction.rs Outdated Show resolved Hide resolved
fuel-tx/src/tests/valid_cases/transaction/upgrade.rs Outdated Show resolved Hide resolved
fuel-tx/src/tests/valid_cases/transaction/upload.rs Outdated Show resolved Hide resolved
fuel-vm/src/tests/validation.rs Outdated Show resolved Hide resolved
fuel-tx/src/transaction.rs Outdated Show resolved Hide resolved
@Voxelot
Copy link
Member

Voxelot commented Nov 18, 2024

We might want to beef up the tests around da_compression.rs to cover policy compression/decompression, as right now it is only testing randomly generated txs without any policies.

cc @Dentosal

MitchTurner
MitchTurner previously approved these changes Nov 18, 2024
Copy link
Member

@MitchTurner MitchTurner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@@ -305,6 +328,11 @@ impl Distribution<Policies> for Standard {
policies.set(PolicyType::Maturity, Some(maturity as u64));
}

if policies.get(PolicyType::Expiration).is_some() {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: I think we can use is_set() instead of get(...).is_some()

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice. Changed it and for Maturity above also.

let rng = &mut StdRng::seed_from_u64(2322u64);

// Given
const EXPIRATION: BlockHeight = BlockHeight::new(2);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
const EXPIRATION: BlockHeight = BlockHeight::new(2);
const EXPIRATION: BlockHeight = BlockHeight::new(1);

to clearly show that transactions expire only when the current block height is higher than the specified expiry block (if the match, the transaction is still ok).

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For the record, I'd also add a similar test fn transaction__execution__doesn_not_work_after_expiration() and use, for example:

    const EXPIRATION: BlockHeight = BlockHeight::new(9);
    const BLOCK_HEIGHT: BlockHeight = BlockHeight::new(10);

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I added a new test to test the current height. However it seems that for maturiy we only test correct case here (failed cases are test elsewhere) but I tried to make one here but finalize_checked is panicking on error.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants