Abstract: A computer-implemented method, system, and/or computer program product provides security in a communication network between a user device and a computer related device, and receives payment for services offered through a distributed registry associated with the communication network. One or more processors provide a distributed registry that specifies a plurality of services available to support communications between a user device and a computer related device on a communication network. The processor(s) dynamically construct one or more multi-node transient processing pathways between the user device and the computer related device based on the services. The processor(s) present the plurality of services specified by the distributed registry to the user device, and append metadata describing a current cryptocurrency cost of the services.

Abstract: A service running on a server includes a method running on a server, for example as a cloud server to provide a decentralized computing solution. The solution includes an audit service, a tax service or a combination thereof. The service includes providing a distributed registry that specifies a plurality of services available to support communications between a user device and a computer related device on a communication network. The pluralities of services specified by the distributed registry are presented to the user device. A request is received from the user device for a particular service from the plurality of services. The request may be made using a zero-knowledge protocol to maintain privacy of a user of the user device. The particular service includes an additional requested service for at least one of an auditability and taxability service. The particular service is provided along with the additional requested service.

Abstract: An example operation may include one or more of connecting, by a multi-party smart contract server, to a blockchain network configured to store cryptographic proofs, generating, by the multi-party smart contract server, a proposed transaction, providing, by the multi-party smart contract server, the proposed transaction to a plurality of participant nodes, receiving, by the multi-party smart contract server, responses to the proposed transaction from the participant nodes, executing, by the multi-party smart contract server, a smart contract to request from respondent participant nodes attestations of required conditions of the smart contract, receiving and verifying, by the multi-party smart contract server, the attestations from the respondent participant nodes, and executing the proposed transaction and posting a cryptographic proof of a successful execution to the blockchain, by the multi-party smart contract server, in response to a satisfaction of the required conditions of the smart contract.

Abstract: A system, method, and computer readable storage medium configured for delivering services from a server to ensure multimedia content control by content providers (i.e. reduce piracy) and to ensure privacy by content users is described. The method begins with executing at least a portion of a content media player application to the device using a zero-knowledge protocol to ensure privacy of the user. Examples of zero-knowledge verifiable computing are succinct computational integrity and privacy (SCIP) protocol, zero-knowledge succinct non-interactive argument of knowledge (zk-snark) protocol, and probabilistically checkable proof (PCP) protocol. The content media player application includes digital right management technology using zero-knowledge verifiable computing to enforce usage conditions on the multimedia content. A response is received from the user device that the content media player application has executed on the user device.

Abstract: A verifiable computing system is presented. A worker computing device of the verifiable computing system receives a primary program and a verification logic that are generated based on a target function. The worker computing device includes a main processor and a coprocessor. The main processor is configured to execute the primary program and the coprocessor is configured to implement the verification logic. Telemetry is collected from the main processor executing the primary program and provided to the coprocessor. The coprocessor implementing the verification logic uses the telemetry to generate a proof. The proof is provided to a verifying computing device for determining whether the primary program is tampered with.

Abstract: A method securely manages smart card transactions. A processing entity receives a smart card identifier from a smart card, where the smart card is a virtual card on a mobile computing device that comprises a processor, where the smart card identifier is a transaction-specific identifier for a transaction. A protected application is received at the mobile computing device, where a received protected application initially cannot be utilized by an operating system for execution by the processor. A security object is received at the mobile computing device, where the security object is used to convert the received protected application into an executable application that can be utilized by the operating system for execution by the processor. The processor executes the executable application to act as the virtual card, where the virtual card provides a functionality of a predefined physical electronic card.

Abstract: A third party intermediary and a data protection method, system, and non-transitory computer readable medium, include executing a program, via the processor, using zero-knowledge verifiable computing to remove private content from a pre-approved version of a content to ensure privacy of a condition of a user from a provider of the content.

Abstract: A method, system, and/or computer program product optimize a display of messages on a public electronic video display. A video camera captures images of multiple mobile vehicles that are traversing a vehicular pathway, which is physically proximate to a public electronic video display. The multiple mobile vehicles are categorized into a specific vehicle category based on captured images of the multiple mobile vehicles. The specific vehicle category is matched to a particular set of multiple video display messages. A video display message is displayed on the public electronic video display based on the specific vehicle category.

Abstract: A computer-implemented method, system, and/or computer program product generates and utilizes synthetic context-based objects. One or more processors define a context object, where the context object provides a context that identifies a specific subject-matter, from multiple subject-matters, of a non-contextual data object. The processor(s) associate the non-contextual data object with the context object to define a synthetic context-based object and the synthetic context-based object with at least one specific data store. A request is received from a requester for data from said at least one specific data store that is associated with the synthetic context-based object, where said at least one specific data store is within a database of multiple data stores. Data is returned to the requester from said at least one specific data store that is associated with the synthetic context-based object.

Abstract: A computer implemented method modifies a unit of medical equipment based on never-event cohorts, where a never-event is a preventable error experienced by a patient while receiving medical care. One or more processors process patient care data to form digital patient care data. The processor(s) analyze the digital patient care data using cohort criteria to identify a set of never-event attributes from the set of patient care patterns. The processor(s) receive, from a set of sensors, facility event data that describe an electrical fault in a unit of medical equipment used on patients in the patient care facility in order to modify the digital patient care data, and then modify the unit of medical equipment in order to correct the electrical fault based on the modified digital patient care data.

Abstract: A method for tag-based search includes capturing an image, extracting a tag from the image, identifying a location associated with the captured image, and querying stored content for information that matches the location and the tag. Local storage is checked for the information first, and remote storage may be checked subsequently. Any located information may be used to augment the image. Information located in the remote storage may be saved in the local storage until it reaches a certain age, until it fails to be accessed for a threshold period of time, or until the location moves outside a threshold radius associated with a location of the information located in the remote storage.

Abstract: A service running on a server, for example as a cloud server, that services with a guarantee from a guarantor. The service includes receiving, from a user using a zero-knowledge protocol to ensure privacy of the user, a request for a service with an associated quality level for a fee. Next, the request for service received requires a guarantee of the service requiring additional assurances based on a rating quantity available by a guarantor of the service is identified. At least a portion of the rating quantity available by the guarantor of the service is received. A notification from the user that the service is unacceptable is received. In response to the notification and a verification that the associated quality level was not met, refunding at least a portion of the fee to the user from the guarantor of the service.

Abstract: A method prevents a cascading failure in a complex stream computer system. The method includes receiving binary data that identifies multiple subcomponents in a complex stream computer system. These identified multiple subcomponents include upstream subcomponents that generate multiple outputs and a downstream subcomponent that executes a downstream computational process that uses the multiple outputs. The method dynamically adjusts which of multiple inputs are used by the downstream subcomponent in an attempt to generate an output from the downstream subcomponent that meets a predefined trustworthiness level for making a first type of prediction. If no variations of execution of one or more functions used by the downstream subcomponent ever produce an output that meets the predefined trustworthiness level for making a first type of prediction, then computer hardware executes a new downstream computational process that produces a different second type of prediction.

Abstract: A trusted network based service running on a server, for example as a cloud server, includes receiving a request from a first user device and a second user device. The request includes one or more inputs to perform a stateless transaction based on combinational logic. An output of the combinational logic is a function of only the one or more inputs. Based upon the request, a program is selected from a set of a plurality of programs using zero-knowledge verifiable computing to carry out the transaction. The program is executed using zero-knowledge verifiable computing. The execution of the program out the transaction based on combinational logic with the one or more inputs using a zero-knowledge protocol to ensure privacy of the first user device and the second user device. The output of the combinational logic along with proof from the zero-knowledge protocol that the combinational logic was executed without alteration.

Abstract: A trusted network based service running on a server, for example as a cloud server, includes receiving a request from a first user device and a second user device. The request includes one or more inputs to perform a transaction. Based upon the request, selecting one or more computational resources from a set of a plurality of computational resources using zero-knowledge verifiable computing. In response to receiving authorization from each of the computational resources that they are capable of performing the zero-knowledge verifiable computing transactions to carry out at least a portion of the request, executing the program using zero-knowledge verifiable computing to carry out the request using a zero-knowledge protocol to ensure privacy of the first user device and the second user device. Sending to the first user device and the second user device an output of the request.

Abstract: A sensor system comprises: an energy storage device electrically coupled to an intermittent energy release device that causes the energy storage device to release stored energy intermittently; a sensor electrically coupled to the energy storage device, where the sensor detects physical events occurring at a physical device and is intermittently powered by electrical energy received from the energy storage device; a synaptic neural network core electrically coupled to the sensor, where the synaptic neural network core converts sensor readings into an object that describes the physical events occurring at the physical device; a transponder electrically coupled to the synaptic neural network core; and a storage buffer within the transponder, where the storage buffer stores the object for transmission from the transponder to a monitoring system, where the intermittent energy release device provides power to the sensor in response to the transponder transmitting the object to the monitoring system.

Abstract: A method for tag-based search includes capturing an image, extracting a tag from the image, identifying a location associated with the captured image, and querying stored content for information that matches the location and the tag. Local storage is checked for the information first, and remote storage may be checked subsequently. Any located information may be used to augment the image. Information located in the remote storage may be saved in the local storage until it reaches a certain age, until it fails to be accessed for a threshold period of time, or until the location moves outside a threshold radius associated with a location of the information located in the remote storage.

Abstract: A service running on a server includes a method running on a server, for example as a cloud server. The method begins with receiving from a user using a zero-knowledge protocol, each of a unique token associated with the user, an identifier of a statement to be rated, a vote related to the statement; and a pledged quantity tied to a reputation of the user and the vote. The vote either supports or opposes a veracity of the statement. Next, a confirmation is made to ensure that the unique token is associated with the user. A difference is determined between the pledge quantity and a numerical rating of the reputation of the user. In response to confirming the unique token is associated with the user and the difference is non-negative, updating a rating of the statement using zero-knowledge verifiable computing.

Abstract: A social networking system, computer program product, and methods with a Personal Avatar executing on a first server node and a zero knowledge Arbiter executing on a second server node in a network of the social networking system. The Personal Avatar communicates social networking system messages in a communication session using a zero knowledge protocol with the zero knowledge Arbiter executing on the second server node operating in zero knowledge and using zero knowledge verifiable computing to enforce usage conditions on social networking system messages communicated in a communication session with the zero knowledge Arbiter. The zero knowledge Personal Avatar communicates social networking system messages in a communication session using a zero knowledge protocol with the zero knowledge Arbiter. The methods ensure privacy of an end user of the social networking system.

Abstract: A verifiable computing system is presented. A worker computing device of the verifiable computing system receives a primary program and a verification logic that are generated based on a target function. The worker computing device includes a main processor and a coprocessor. The main processor is configured to execute the primary program and the coprocessor is configured to implement the verification logic. Telemetry is collected from the main processor executing the primary program and provided to the coprocessor. The coprocessor implementing the verification logic uses the telemetry to generate a proof. The proof is provided to a verifying computing device for determining whether the primary program is tampered with.