International Business Machines Corporation

Gabor Madl

Ramani Ranjan Routray

Luis Angel D Bathen

Mu Qiao

Dulce Beatriz Ponceleon

Luis Angel Bathen

Yang Song

Sangeetha Seshadri

Rakesh Jain

Diego A Masini

An example operation may include one or more of receiving a request to certify a digital record, retrieving a first hashed data value of the digital record from a data block included among a first hash-linked chain of blocks on a first blockchain, retrieving a second hashed data value of the digital record from a second data block included among a second hash-linked chain of blocks on a second blockchain which is different from the first blockchain, determining whether the digital record is valid based on a cross-validation of the first hashed data value and the second hashed data value, and storing the determination of the validity of the digital record in a data block among a third hash-linked chain of blocks.

Cross-chain validation

Embodiments relate to a system, program product, and method for smart contract implementation and management. A request for resources is modeled and a reservation of resources is captured in a first computation model interface. A provision of services is modeled as a second computation model interface. Compatibility of the first and second computation model interfaces is verified. Input and output actions are synchronized between the first and second computation model interfaces responsive to the compatibility verification. A smart contract is composed as a third computation model interface to model negotiation of contractual terms, including the captured resources with the provision of services. The composed smart contract is recorded in an operatively coupled immutable venue.

Formal verification of smart contracts

An example operation may include one or more of storing a public key and one or more corresponding addresses associated with a user profile in a blockchain, creating a credential for the user profile based on the public key, forwarding the credential to the one or more addresses, receiving a request for access to a site from a user device associated with the user profile, and retrieving the credential based on the one or more addresses from the blockchain.

Blockchain authentication via hard/soft token verification

An example operation may include one or more of receiving, by a validation node, a copy request from a user node over a blockchain network, the request contains a copy token, invoking, by the validation node, a smart contract associated with the copy token to verify the copy token, in response to a verification, generating, by the validation node, media copy keys for generation of a Blu-ray copy, and recording, by the validation node, the copy token on a ledger of the blockchain network to indicate that the copy token is spent.

Blu-ray copy service

A blockchain of transactions may be referenced for various purposes and may be later accessed by interested parties for ledger verification and information retrieval. One example method of operation may include one or more of monitoring a computing service via various nodes operating on a blockchain, identifying a proposed change to the computing service, storing details of the proposed change in a smart contract, storing the smart contract as a transaction in the blockchain, and validating the proposed change of the smart contract.

Decentralized change management based on peer devices using a blockchain

A virtual blockchain configuration may provide a distributed structure that uses a distributed hash configuration to reduce the complexity of blockchain transactions. One example method of operation may comprise one or more of storing a subset of blockchain data in a network device, accessing via the network device a virtual copy of a blockchain, accessing a blockchain block via the virtual copy of the blockchain, and writing blockchain transactions to the blockchain block via the network device.

Decentralized immutable storage blockchain configuration

A blockchain of transactions may be referenced for various purposes and may be later accessed by interested parties for ledger verification. One example operation may comprise one or more of identifying an updated software build, creating a hash based on the updated software build, storing the hash of the updated software build in a blockchain, and storing a binary representation of the updated software build in a distributed hash table (DHT).

Decentralized automated software updates via blockchain

An example operation may include one or more of identifying one or more data volume management policies from a plurality of different parties, storing the one or more data volume management policies in a smart contract stored on a blockchain, identifying one or more data access thresholds being exceeded on a network, modifying an operating status of the network based on the one or more policies and the one or more data access thresholds being exceeded, and storing the modified operating status in the blockchain.

Using blockchain smart contracts to manage dynamic data usage requirements

An autonomous system for x-by-wire control includes processing nodes distributed and connected to one another. Sensors are connected to the processing nodes. Actuators are configured to directly control the autonomous system driven by and connected to the processing nodes for x-by-wire control. The processing nodes are configured to: partition and map processing tasks between the processing nodes, and merge and reduce results of individual processing tasks into an actionable table that specifies objectives for the autonomous system.

Growing community of inventors

San Jose, CA, United States of America

Gabor Madl