Formal Barriers to Longest-Chain Proof-of-Stake Protocols.

Jonah Brown-Cohen Arvind Narayanan Christos-Alexandros Psomas S. Matthew Weinberg

Published in: CoRR (2018)

Keyphrases

formal model
neural network
theorem prover
knowledge base
website
linear logic
wireless sensor networks
description logics
theorem proving