PoSH in Practice: Implementing Proof of Staked Hardware Consensus with Limited Storage.

Rami Khalil Naranker Dulay

Published in: IEEE ICBC (2021)

Keyphrases

real time
low cost
processing capabilities
hardware and software
theorem prover
floating point
floating point arithmetic
hardware architecture
neural network
limited resources
theorem proving
computing power
data storage
high end
embedded systems
vlsi implementation
virtual memory
central processor