Unconditional Proofs-of-Work and Other Possibilities of Thermodynamic Cryptography.

Xavier Coiteux-Roy Stefan Wolf

Published in: CoRR (2022)

Keyphrases

cellular automata
theorem prover
information security
data sets
experimental data
theorem proving
equational theories
search algorithm
machine learning
formal proof
formal proofs
mathematical proofs
knowledge base
information retrieval
data mining
database
encryption algorithms