Proof of Phone: A Low-cost Blockchain Platform.

Jae Min Kim Jae Won Lee Kyungsoo Lee Junho Huh

Published in: ICCE (2019)

Keyphrases

low cost
real time
low power
reconfigurable hardware
cost effective
mobile phone
theorem prover
single chip
hidden markov models
theorem proving
linear logic
information systems
email
knowledge representation
artificial intelligence
information retrieval
data sets