archethic-foundation / archethic-node

Official Archethic Blockchain node, written in Elixir
GNU Affero General Public License v3.0
69 stars 21 forks source link

Inherit condition verification should use new state #1495

Open Neylix opened 2 months ago

Neylix commented 2 months ago

Describe the problem you discovered

The goal of the inherit conditions is to ensure the output of the contract respect certain rules. The State of the contract could be part of those rules, but currently the state used in inherit condition is the current contract state and not the new state after contract execution

Describe the solution you'd like

The new state should be used when executing inherit conditions

Epic

No response