PPoS : Practical Proof of Storage for Blockchain Full Nodes.

Jun Wook Heo Gowri Sankar Ramachandran Raja Jurdak

Published in: ICBC (2023)

Keyphrases

real world
directed graph
theorem prover
real time
social networks
data model
shortest path
network structure
theorem proving
practical problems