TY  - RPRT
TI  - A Knowledge-Based Analysis of the Blockchain Protocol
AU  - Joseph Y. Halpern
AU  - Rafael Pass
PY  - 2017
DO  - 10.4204/eptcs.251.22
UR  - https://arxiv.org/abs/1707.08751
ID  - 1707.08751
ER  -