Reversible Proofs of Sequential Work.

Hamza Abusalah Chethan Kamath Karen Klein Krzysztof Pietrzak Michael Walter

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

Keyphrases

markov chain
cellular automata
equational theories
data mining
real world
theorem prover
theorem proving
formal proofs
genetic algorithm
multimedia
database systems
decision procedures