Blink: An Optimal Proof of Proof-of-Work.

Lukas Aumayr Zeta Avarikioti Matteo Maffei Giulia Scaffino Dionysis Zindros

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

theorem prover
machine learning
mathematical proofs
theorem proving
dynamic programming
clustering algorithm
search engine
neural network
decision making
search algorithm
feature selection
mobile robot
eye tracking
closed form
optimal control
information systems
geometry theorem proving