Reversible Proofs of Sequential Work.
Hamza AbusalahChethan KamathKaren KleinKrzysztof PietrzakMichael WalterPublished in: EUROCRYPT (2) (2019)
Keyphrases
- markov chain
- cellular automata
- databases
- formal proof
- artificial neural networks
- image processing
- clustering algorithm
- similarity measure
- data structure
- multi agent systems
- lower bound
- website
- evolutionary algorithm
- knowledge base
- theorem prover
- theorem proving
- computer programs
- data sets
- equational theories
- reversible watermarking