公开(公告)号：US20210312472A1

公开(公告)日：2021-10-07

申请号：US17266890

申请日：2018-08-17

申请人： Telefonaktiebolaget LM Ericsson (publ)

发明人： Sandhya BASKARAN ,  Swarup Kumar MOHALIK ,  Anshu SHUKLA

IPC分类号： G06Q30/00 ,  G06N5/04

摘要： A method implemented by a network device to predict smart contract violations, where the network device is communicatively coupled to one or more computing nodes that execute one or more smart contracts that are configured to perform transactions on a blockchain. The method includes generating a control flow graph for each of the one or more smart contracts, retrieving, from the blockchain, a current state of a variable utilized by the one or more smart contracts following execution of a transaction that updates the variable, generating or updating a state space tree based on the current state of the variable and the control flow graphs generated for the one or more smart contracts, determining whether the state space tree meets a predefined violation requirement, and sending an alert to the one or more computing nodes in response to determining that the state space tree meets the violation requirement.

公开(公告)号：US20210194890A1

公开(公告)日：2021-06-24

申请号：US17273087

申请日：2018-09-14

申请人： Telefonaktiebolaget LM Ericsson (publ)

发明人： Swarup Kumar MOHALIK ,  Ramamurthy BADRINATH ,  Sandhya BASKARAN ,  Perepu SATHEESH KUMAR ,  Anshu SHUKLA

IPC分类号： H04L29/06 ,  G06Q10/08

摘要： A method and a system are presented for enabling coordinated executions of actions in a distributed computing system with untrusted local computing agents. A smart contract including plans is recorded in a blockchain database. Each plan includes actions to be executed by a respective one of the local computing agents. Execution of a first action of a first set of actions to be executed by a first local computing agent is requested. Execution of a second action of a second set of actions to be executed by a second local computing agent is requested. Responsive to determining, based on the smart contract, that the first action can be executed, the first local computing agent is caused to execute the first action and responsive to determining, based on the smart contract, that the second action cannot be executed, the second local computing agent is caused to not execute the second action.