Blockchain protocol engineering and research

1. 1

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

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

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

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

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

   via eigenjoy 11 months ago | cached | 1 comment
   1