Modification of in-execution smart contract programs

摘要

A method includes obtaining a program state encoding a directed graph, the directed graph comprising a set of norm vertices and directed graph edges. The method also includes obtaining an amendment request encoding a set of conditional statement parameters and determining a set of active norm vertices in the directed graph. The method also includes selecting a set of target norm vertices of the set of active norm vertices based on the set of conditional statement parameters and determining a set of selected entities based on the set of target norm vertices. The method also includes determining whether a set of criteria associated with the set of selected entities is satisfied and updating the set of conditional statement parameters and entities based on the set of conditional statements in response to a determination that the set of criteria is satisfied.