Smart contracts (Blockchains, distributed ledgers) and rights management broadly construed are the themes of today's Spotlight Applications. IBM tackles an important problem: the formal verification of smart contracts. Monax Industries also addresses aspects of smart contracts, more specifically, techniques for obtaining and recording consent for a proposed object of consent for a digital agreement using a blockchain.
20210158463, "Formal verification of smart contracts," assigned to IBM.
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.
20210158462, "Apparatuses, systems, and methods for obtaining and recording consent for a proposed object of consent for a digital agreement using a blockchain," assigned to Monax Industries Limited (GB).
Apparatuses, systems, and methods are described for selectively performing one or more operations relating to an object of consent. The system includes (i) a network, (ii) a user device having an input device and configured to obtain an object of consent from a user of the user device via the input device, (iii) a server having a storage and configured to receive the object of consent from the user device, to perform at least one data processing operation associated with the object of consent, to store a result of the data processing operation at the storage, and to generate an agreement object associated with the object of consent, and (iv) a blockchain configured to receive the agreement object, to combine at least one of identity information or permission information associated with the agreement object, and to selectively store a consent record by the blockchain.