Unconditional Proofs-of-Work and Other Possibilities of Thermodynamic Cryptography.
Xavier Coiteux-RoyStefan WolfPublished in: ITW (2022)
Keyphrases
- cellular automata
- experimental data
- equational theories
- formal proofs
- theorem proving
- free energy
- neural network
- information systems
- artificial intelligence
- information retrieval
- feature selection
- image segmentation
- computer vision
- information security
- cryptographic algorithms
- mathematical knowledge
- real world
- database
- automated theorem provers