Block Verification Device, Block Verification Method, and Program

A block verification device in a block verification system that includes a plurality of groups each including a plurality of block verification devices, the block verification device representing all the block verification devices, comprising:

• a private database that is shared within the group;
• a shared database that is shared by all the block verification devices;
• a communication unit that transmits a first transaction list to each group leader block verification device representing the block verification devices within the group and
• receives a second transaction list generated according to execution of transactions identified based on the first transaction list, a digest of the private database after the execution of the transactions, and a digest of a private dataset as a collection of pieces of private data that are included in the transactions and are shared within the group when the group leader block verification device forms a consensus for a proposal including the second transaction list, the digest of the private database, and the private dataset;
• a transaction processing unit that executes transactions corresponding to the second transaction list received from each group leader block verification device and obtains a state of the shared database updated based on the execution results;
• and
• a block processing unit that forms a consensus for a block including a list of transactions executed by the transaction processing unit, the state of the shared database, the digest of the private database, and the digest of the private dataset, by transmitting the block to another block verification device.

A block verification method that is executed by a block verification device in a block verification system that includes a plurality of groups each including a plurality of block verification devices, the block verification device representing the block verification devices included in each group, and

• the block verification device including a private database that is shared within the group, comprising:
• receiving a first transaction list from an overall leader device, which is a block verification device representing all the plurality of the block verification devices;
• executing transactions identified based on the first transaction list;
• generating a proposal including a second transaction list according to the execution of the transactions, a digest of the private database, and a private dataset as a collection of pieces of private data that are included in the transactions and are shared within the group;
• transmitting the proposal to the other block verification devices belonging to the same group;
• and
• when a consensus for the proposal is formed, transmitting the second transaction list as well as the digest of the private data and the digest of the private dataset based on the execution of the transactions to all the other block verification devices.

A block verification method that is executed by a block verification device in a block verification system that includes a plurality of groups each including a plurality of block verification devices, the block verification device representing all the block verification devices, and

• the block verification device including a private database that is shared within the group and a shared database that is shared by all the block verification devices, comprising:
• transmitting a first transaction list to each group leader block verification device representing the block verification devices within the group;
• receiving a second transaction list generated according to the execution of transactions identified based on the first transaction list, a digest of the private database after the execution of the transactions, and a digest of a private dataset as a collection of pieces of private data that are included in the transactions and are shared within the group when the group leader block verification device forms a consensus for a proposal including the second transaction list, the digest of the private database, and the private dataset;
• executing transactions corresponding to the second transaction list received from each group leader block verification device and obtaining a state of the shared database updated based on the execution results;
• and
• forming a consensus for a block including a list of the executed transactions, the state of the shared database, the digest of the private database, and a digest of the private dataset, by transmitting the block to another block verification device.