Poster: Timestamp Verifiability in Proof-of-Work.

Tzuo Hann Law Selman Erol Lewis Tseng

Published in: MobiHoc (2023)

Keyphrases

theorem proving
theorem prover
multiscale
data structure
proof planning
database
real world
information retrieval
information systems
feature selection
expert systems
automated theorem proving
proof theory
mathematical proofs