US 12,346,904 B2
Nomadic smart contracts migrated across blockchain ledgers
Luis Angel Bathen, San Jose, CA (US); Marc Henri Coq, Hopewell Junction, NY (US); and Eric Kevin Butler, San Jose, CA (US)
Assigned to INTERNATIONAL BUSINESS MACHINES CORPORATION, Armonk, NY (US)
Filed by International Business Machines Corporation, Armonk, NY (US)
Filed on Nov. 22, 2023, as Appl. No. 18/517,669.
Prior Publication US 2025/0165969 A1, May 22, 2025
Int. Cl. G06Q 20/40 (2012.01); G06Q 20/38 (2012.01)
CPC G06Q 20/401 (2013.01) [G06Q 20/389 (2013.01)] 17 Claims
OG exemplary drawing
 
1. A computer implemented method for managing smart contracts comprising:
cross-compiling different decentralized ledgers;
generating at least one smart contract that adheres to rules of a ledger being targeted from the different decentralized ledgers;
modeling the at least one smart contract as a state machine;
verifying each of the at least one smart contract according to a verification process illustrating each of the different decentralized ledgers have an equivalent to the state machine that runs to achieve consensus;
installing the at least one smart contract that achieves the consensus across the different decentralized ledgers;
approving the at least one smart contract with a verification process for confirming equivalency to deploy across the different decentralized ledgers; and
deploying the at least one smart contract across the different decentralized ledgers, wherein the deploying the at least one smart contract across the decentralized ledgers comprises data migration across the different decentralized ledgers based upon a triggering event.