A verification method implemented by a computer operable as any of a plurality of nodes included in a blockchain network, the method comprising: obtaining a verification policy with respect to a blockchain, the verification policy including a plurality of logics, each logic being configured to receive a respective input value and output a respective output value, at least any one of the plurality of logics being configured to receive an output value outputted from another logic; obtaining, for each logic included in the obtained verification policy, an input value and an output value from verification record data of a transaction data stored in the blockchain; transmitting a first verification request to a first node included in the blockchain network, the first verification request including a first logic from among the plurality of logics and the obtained input and output values with respect to the first logic, the transmitting of the first verification request being configured to cause the first node to verify the first logic in accordance with the obtained input and output values with respect to the first logic; and transmitting a second verification request to a second node included in the blockchain network, the second verification request including a second logic from among the plurality of logics and the obtained input and output values with respect to the second logic, the transmitting of the second verification request being configured to cause the second node to verify the second logic in accordance with the obtained input and output values with respect to the second logic, the second node being any of the plurality of nodes other than the first node, the second logic being any of the plurality of logics other than the first logic. obtaining a verification policy with respect to a blockchain, the verification policy including a plurality of logics, each logic being configured to receive a respective input value and output a respective output value, at least any one of the plurality of logics being configured to receive an output value outputted from another logic; obtaining, for each logic included in the obtained verification policy, an input value and an output value from verification record data of a transaction data stored in the blockchain; transmitting a first verification request to a first node included in the blockchain network, the first verification request including a first logic from among the plurality of logics and the obtained input and output values with respect to the first logic, the transmitting of the first verification request being configured to cause the first node to verify the first logic in accordance with the obtained input and output values with respect to the first logic; and transmitting a second verification request to a second node included in the blockchain network, the second verification request including a second logic from among the plurality of logics and the obtained input and output values with respect to the second logic, the transmitting of the second verification request being configured to cause the second node to verify the second logic in accordance with the obtained input and output values with respect to the second logic, the second node being any of the plurality of nodes other than the first node, the second logic being any of the plurality of logics other than the first logic. <EOS>