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.

Sign up for GitHub

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

Jump to bottom

Predicate Verification #92

Closed
3 tasks done
Voxelot opened this issue Mar 14, 2022 · 0 comments
Closed
3 tasks done

Predicate Verification #92

Voxelot opened this issue Mar 14, 2022 · 0 comments
Assignees
@vlopes11
Labels
fuel-vm Related to the `fuel-vm` crate.

Comments

@Voxelot
Copy link
Member

Voxelot commented Mar 14, 2022 •
edited
Loading

Perform predicate verification for:

  1. Create Transactions
  2. Script Transactions

Ensure predicates can be validated without running the entire transaction.

  • ensure predicate execution doesn't consume gas
  • reset registers between predicates
  • ensure PC doesn't jump backward or outside of predicate code
@Voxelot Voxelot self-assigned this Mar 14, 2022
@Voxelot Voxelot moved this to Todo in Fuel Network Mar 14, 2022
@Voxelot Voxelot closed this as completed Jun 16, 2022
Repository owner moved this from Todo to Done in Fuel Network Jun 16, 2022
@Voxelot Voxelot assigned vlopes11 and unassigned Voxelot Jun 16, 2022
ControlCplusControlV pushed a commit that referenced this issue Nov 24, 2022
@Voxelot
Fix variable output validation rule (#92)
574d900 
* remove validation for duplicate variable outputs asset_ids
ControlCplusControlV pushed a commit that referenced this issue Dec 1, 2022
@Voxelot
Fix variable output validation rule (#92)
f560bc3 
* remove validation for duplicate variable outputs asset_ids
@mitchmindtree mitchmindtree added the fuel-vm Related to the `fuel-vm` crate. label Dec 9, 2022
xgreenx pushed a commit that referenced this issue Dec 20, 2022
@Voxelot @xgreenx
Fix variable output validation rule (#92)
59b00cc 
* remove validation for duplicate variable outputs asset_ids
xgreenx pushed a commit that referenced this issue Dec 20, 2022
@Voxelot @xgreenx
Fix variable output validation rule (#92)
5e9ec98 
* remove validation for duplicate variable outputs asset_ids
@xgreenx xgreenx mentioned this issue Aug 28, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vlopes11 vlopes11

Labels
fuel-vm Related to the `fuel-vm` crate.
Projects
Fuel Network
Archived in project
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Voxelot @mitchmindtree @vlopes11