Blockchain protocol engineering and research

1. 1

   Jello Paper as Canonical EVM Spec eth formalverification ethereum-magicians.org

   via eigenjoy 6 months ago | cached | no comments
   0
2. 2

   Peer Review: CBC Casper bft consensus eth formalverification scalability medium.com

   authored by jcnelson 7 months ago | cached | no comments
   0
3. 1

   K Semantics of the Ethereum Virtual Machine (EVM) eth formalverification github.com

   via eigenjoy 9 months ago | cached | 1 comment
   1