Proof of Previous Transactions (PoPT): An Efficient Approach to Consensus for JCLedger.

Xiang Fu Huaimin Wang Peichang Shi

Published in: IEEE Trans. Syst. Man Cybern. Syst. (2021)

Keyphrases

transactional data
theorem proving
directed networks
database
theorem prover
information retrieval
distributed database systems
transaction processing
transaction management
transaction data
real time database systems
nested transactions
long lived
proof theory
database transactions