Abstract: The invention relates to distributed ledger technologies such as consensus-based blockchains. Computer-implemented methods for reducing arithmetic circuits derived from smart contracts are described. The invention is implemented using a blockchain network, which may be, for example, a Bitcoin blockchain. A set of conditions encoded in a first programming language is obtained. The set of conditions is converted into a programmatic set of conditions encoded in a second programming language. The programmatic set of conditions is precompiled into precompiled program code. The precompiled program code is transformed into an arithmetic circuit. The arithmetic circuit is reduced to form a reduced arithmetic circuit, and the reduced arithmetic circuit is stored.

Abstract: Computer-implemented methods and systems are provided which are suitable for implementation in transaction validation nodes of a blockchain network. Modified blockchain node structures, network architectures, and protocols for handling large numbers of transactions and large transaction blocks are described. The invention is particularly suited, but not limited, to use with the Bitcoin blockchain. A computer-implemented method is provided which includes: (i) receiving transactions from the blockchain network; (ii) validating transactions received from the blockchain network; (iii) maintaining a distributed, decentralized storage of validated transactions with other transaction validation nodes in the blockchain network; and (iv) distributing data corresponding to said validated transactions to the blockchain network for mining.

Abstract: A computer implemented method and system is described which uses blockchain technology as a storage system for data acquired from a digital twin. The blockchain can be used to generate an immutable transaction history of data produced by the digital twin. In the case of an error, failure, incident, or accident, parties of interest can then access and analyse an immutable set of data. The blockchain network can also execute a digital smart contract based on the data received from a digital twin. The invention may be used in conjunction with the Bitcoin blockchain or another blockchain protocol.

Abstract: Systems and methods described herein relate to techniques in which multiple parties each generate and exchange quantities that are based on a shared secret (e.g., powers of the shared secret) without exposing the shared secret. According to a protocol, two or more parties may exchange sets of elliptic curve points generated over polynomials that can be used, by each of the two or more parties, to determine a power of a shared secret. The protocol may be utilised as part of determining parameters for a smart contract that is broadcast to a blockchain network (e.g., Bitcoin). Based on the protocol, an additional party (e.g., a third party different from the two or more parties) may perform a computational task such as execution of the smart contract.

Abstract: The invention relates to distributed ledger technologies such as consensus-based blockchains. A blockchain transaction may include digital resources that are encumbered by a locking script that encodes a set of conditions that must be fulfilled before the encumbered resources may be used (e.g., transferring ownership/control of encumbered resources). A worker (e.g., a computer system) performs one or more computations to generate a proof, which is encoded as part of an unlocking script. A verification algorithm may utilize the proof, a verification key, and additional data such as a cryptographic material associated with the worker (e.g., a digital signature) to verify that digital assets of the transaction should be transferred. As a result of the validation of this transaction, any third party is able to check the contract was executed corrected rather than re-executing the contract, thus saving computational power.

Abstract: A computer implemented method and system is described which uses blockchain technology as a storage system for data acquired from a digital twin. The blockchain can be used to generate an immutable transaction history of data produced by the digital twin. In the case of an error, failure, incident, or accident, parties of interest can then access and analyse an immutable set of data. The blockchain network can also execute a digital smart contract based on the data received from a digital twin. The invention may be used in conjunction with the Bitcoin blockchain or another blockchain protocol.

Abstract: Techniques are presented relating to analysing transactions on a blockchain network. Steps include, for a node of a blockchain network, said node having a plurality of interfaces connected to peer nodes, analysing transactions received from a peer node; determining, based on the transactions received from a peer node, that a peer node is a malicious node; and upon determining that a peer node is a malicious node, removing connection to the peer node.

Abstract: Validator nodes and methods of operating a validator node to process blockchain transactions. The validator node provides a plurality of mining nodes with access to a set of unconfirmed transactions, typically by providing a hash of those transactions, in exchange for a token from each of the mining nodes. If one of the plurality of mining nodes successfully mines a block containing the set of unconfirmed transactions, the validator node refunds the token to that mining node and retains the remaining tokens. If a miner other than one of the plurality of mining nodes successfully mines a block before any of the plurality of mining nodes is able to mine a block containing the set of unconfirmed transactions, then the validator node transfers to each of the plurality of mining nodes a modified token.

Abstract: Methods and devices for propagating transactions in a network of nodes, each node having one or more connections to other nodes. The method includes determining that one of the nodes is a bottleneck for propagation of transactions; receiving, over a first time period, a plurality of new transactions from one or more first nodes in the network of nodes; combining the plurality of new transactions using network coding and a local encoding vector to generate a message; and sending the message and a global encoding vector to one or more second nodes in the network of nodes instead of sending the plurality of new transactions to the one or more second nodes. The network may be a blockchain network.

Abstract: A method of propagating data packets in a network of nodes is disclosed. The method, implemented at one of the nodes, includes: collecting a set of first data packets during a first time period, the set including at least one data packet received from one or more first nodes in the network; obtaining a plurality of encoded data packets, each one of the plurality of encoded data packets being generated by combining two or more first data packets of the set using network coding; determining a mapping of the plurality of encoded data packets and the first data packets of the set to one or more neighbouring nodes connected to the node; and transmitting the plurality of encoded data packets and the first data packets of the set to the one or more neighbouring nodes according to the determined mapping.

Abstract: Techniques are presented for a method of propagating data packets in a network of nodes. The method includes: generating at least one data packet of a first type; collecting a set of first data packets of the first type during a first time period the set including at least one data packet received from one or more other nodes in the network; arbitrarily selecting a subset of entry nodes to the first node to which a subset of the collected and generated data packets will be forwarded to; and transmitting the data packets to the subset of arbitrarily selected entry nodes.

Abstract: Computer-implemented methods and systems are provided which are suitable for implementation in transaction validation nodes of a blockchain network. Modified blockchain node structures, network architectures, and protocols for handling large numbers of transactions and large transaction blocks are described. The invention is particularly suited, but not limited, to use with the Bitcoin blockchain. A computer-implemented method is provided which includes: (i) receiving transactions from the blockchain network; (ii) validating transactions received from the blockchain network; (iii) maintaining a distributed, decentralized storage of validated transactions with other transaction validation nodes in the blockchain network; and (iv) distributing data corresponding to said validated transactions to the blockchain network for mining.

Abstract: A method for propagating data packets in a network of nodes is disclosed. The method includes collecting a set of first data packets during a first period from peer nodes in the network of time; determining an available bandwidth in the links of network nodes to a plurality of neighbouring nodes connected to the network node; assigning mappings for first data packets for relay to one or more neighbouring nodes. Based on a bandwidth, determine a range of possible values for peer nodes to which the first data packet is assigned for mappings; then selecting a number in the determined range to set as a first number of peer nodes to set a first length of time delay in relaying the first data packet to one or more peer nodes; and transmitting the first data packets of the set to the plurality of neighbouring nodes according to the mapping.

Abstract: A computer-implemented method for a node of a blockchain network comprising receiving or generating data for distribution in the blockchain network, said node having a plurality of interfaces, said data corresponding to an object such as a transaction or a block. The transaction can be a Bitcoin transaction for recordal in a blockchain. The method determines a correlation matrix having correlation coefficients representing the correlation between data processed at each interface of said node. From the correlation matrix a correlation index for each interface is determined. A threshold or indicator is calculated and data or objects such as Bitcoin transactions are relayed from nodes via interfaces according to a set of correlation coefficients of interface receiving the data. An indicator or threshold can derived from the correlation matrix and data is relayed if the correlation between the receiving interface and the other interface is lower than the indicator.

Abstract: A computer-implemented method to validate a block at a node within a network of nodes implementing a blockchain conforming to a blockchain protocol. This may be the Bitcoin protocol or an alternative. The method includes determining, serially, that each unspent transaction output referenced as an input in each of the plurality of transactions is unique and, based on that determination allocating each transaction in the plurality of transactions to one of two or more parallel processors, and verifying, in parallel, by the two or more parallel processors, that the transactions in the plurality of transactions comply with transaction-level validation criteria. The node also determines that the block meets block-level validation criteria. If the transactions comply with transaction-level validation criteria and the block complies with block-level validation criteria, the block is deemed valid and the node forwards the block to one or more peer nodes in the network.

Abstract: Systems and methods described relate to executing, by a third computing entity different from a first computing entity and a second computing entity, a smart contract generated by the first computing entity and the second computing entity. A verification key is determined based on a power of a secret, the power of the secret being based on first and second sets of elliptic curve points. The smart contract comprising a first input from the first computing entity and a second input from the second computing entity are received. The smart contract is executed by computation of a function on an input to produce an output. A proof of correct execution of the smart contract is produced. A blockchain transaction is generated using an output of the smart contract. The generated blockchain transaction using the verification key and the proof of correct execution is validated by a fourth computing entity.

Abstract: Techniques are presented for removing a connection to a peer node determined to be malicious based on transactions received from the peer node.

Abstract: Validator nodes and methods of operating a validator node to process blockchain transactions. The validator node provides a plurality of mining nodes with access to a set of unconfirmed transactions, typically by providing a hash of those transactions, in exchange for a token from each of the mining nodes. If one of the plurality of mining nodes successfully mines a block containing the set of unconfirmed transactions, the validator node refunds the token to that mining node and retains the remaining tokens. If a miner other than one of the plurality of mining nodes successfully mines a block before any of the plurality of mining nodes is able to mine a block containing the set of unconfirmed transactions, then the validator node transfers to each of the plurality of mining nodes a modified token.

Abstract: A computer implemented method and system is described which uses blockchain technology as a storage system for data acquired from a digital twin. The blockchain can be used to generate an immutable transaction history of data produced by the digital twin. In the case of an error, failure, incident, or accident, parties of interest can then access and analyse an immutable set of data. The blockchain network can also execute a digital smart contract based on the data received from a digital twin. The invention may be used in conjunction with the Bitcoin blockchain or another blockchain protocol.

Abstract: A method of propagating data packets in a network of nodes is provided. The method includes: generating at least one data packet of a first type; collecting a set of data packets of the first type during a first time period, the set including the at least one generated data packet and at least one data packet of the first type received from one or more first nodes in a network; and determining a mapping of the data packets of the set to a plurality of neighbouring nodes in a network of nodes connected to the node, each node connected to one or more nodes in the network, the mapping indicating an expected time of relay of each data packet of the set to o neighbouring nodes.