fix: finish resolving audit findings: AST-001, AST-301, AST-302 and AST-303 by francolq · Pull Request #113 · txpipe/asteria

fix: refactor checks in mine asteria, preparing for fixing AST-302

francolq

committed

fix: in mine asteria move checks about mint and ship state from spacetime to asteria

francolq

committed

fix: in asteria mine check for ship input address

francolq

committed

fix: in spacetime mine check for correct asteria purpose and redeemer

francolq

committed

in asteria mine check for exactly one valid ship input and its redeemer, in spacetime mine check for exactly one valid asteria input

francolq

committed

fix: in asteria mine do not enforce emtpy staking address for asteria (also add code comments)

francolq

committed

test: fix mine tests, moving failure tests from spaceship to asteria validator tests

francolq

committed

fix: also in shipyard mint check for unique asteria input

francolq

committed

fix: in pellets resolve AST-001 and refactor checks towards solving AST-302

francolq

committed

fix: AST-302 - in pellets Provide add checks taken from spacetime (a bit refactored): ship input state, minting, validity range, etc.

francolq

committed

fix: AST-302 - in spacetime GatherFuel, remove all validations moved to pellets, and refactor remaining checks about the ship output: now the fuel can come from any external source

francolq

committed

test: fix pellet Provide tests, add new failing tests taken from spacetime GatherFuel tests

francolq

committed

test: fix spacetime GatherFuel tests, remove tests that doesn't apply anymore

francolq

committed

fix: AST-302 - wrap up by refactoring MoveShip to follow same style as the other redeemers

francolq

committed

fix: AST303 - resolve by simplifying MinFuel

francolq

committed

fix: AST-301 - resolve by removing ScriptAddress type and directly using Aiken's ScriptHash

francolq

committed

test: last test fixes

francolq

committed

style: minor style fix

francolq

committed

chore: update Aiken generated plutus blueprints

francolq

committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix: finish resolving audit findings: AST-001, AST-301, AST-302 and AST-303#113

Commits on Feb 28, 2025

fix: refactor checks in mine asteria, preparing for fixing AST-302

fix: in mine asteria move checks about mint and ship state from spacetime to asteria

fix: in asteria mine check for ship input address

fix: in spacetime mine check for correct asteria purpose and redeemer

in asteria mine check for exactly one valid ship input and its redeemer, in spacetime mine check for exactly one valid asteria input

fix: in asteria mine do not enforce emtpy staking address for asteria (also add code comments)

test: fix mine tests, moving failure tests from spaceship to asteria validator tests

fix: also in shipyard mint check for unique asteria input

fix: in pellets resolve AST-001 and refactor checks towards solving AST-302

fix: AST-302 - in pellets Provide add checks taken from spacetime (a bit refactored): ship input state, minting, validity range, etc.

fix: AST-302 - in spacetime GatherFuel, remove all validations moved to pellets, and refactor remaining checks about the ship output: now the fuel can come from any external source

test: fix pellet Provide tests, add new failing tests taken from spacetime GatherFuel tests

test: fix spacetime GatherFuel tests, remove tests that doesn't apply anymore

fix: AST-302 - wrap up by refactoring MoveShip to follow same style as the other redeemers

fix: AST303 - resolve by simplifying MinFuel

fix: AST-301 - resolve by removing ScriptAddress type and directly using Aiken's ScriptHash

test: last test fixes

style: minor style fix

chore: update Aiken generated plutus blueprints