A Formulation of the Trilemma in Proof of Work Blockchain.

Taishi Nakai Akira Sakurai Shiori Hironaka Kazuyuki Shudo

Published in: IEEE Access (2024)

Keyphrases

theorem proving
artificial intelligence
multiscale
quadratic programming
data mining
computer vision
bayesian networks
theorem prover
integer program
set theoretic
linear logic