Asymmetric proof-of-work based on the Generalized Birthday problem.

Alex Biryukov Dmitry Khovratovich

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

Keyphrases

theorem prover
theorem proving
high level
preprocessing
database
information retrieval
lower bound
evolutionary algorithm
automated theorem proving
complete axiomatization