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

   bitcoin-spv - parse BTC transactions on-chain in ETH btc code eth github.com

   via eigenjoy 8 months ago | cached | no comments
   0
4. 1

   ZoKrates - A toolbox for zkSNARKS on Ethereum code cryptography eth github.com

   via eigenjoy 8 months ago | cached | no comments
   0
5. 1

   barryWhiteHat/semaphore - General Zero Knoledge Identity and Signaling, on and off chain code cryptography eth github.com

   via eigenjoy 8 months ago | cached | no comments
   0
6. 1

   barryWhiteHat/roll_up - aggregates transactions on Ethereum code cryptography eth scalability github.com

   via eigenjoy 8 months ago | cached | no comments
   0
7. 1

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

   via eigenjoy 9 months ago | cached | 1 comment
   1
8. 1

   Plasma snapp - fully verified plasma chain eth ethresear.ch

   via eigenjoy 10 months ago | cached | no comments
   0
9. 1

   Set Protocol Developer Documentation assets code eth docs.setprotocol.com

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

    Rattle: an Ethereum EVM binary analysis framework code eth blog.trailofbits.com

    via zoenolan 10 months ago | cached | no comments
    0
11. 1

    Alpha Casper FFG Testnet Instructions eth tutorial hackmd.io

    via eigenjoy 11 months ago | cached | no comments
    0
12. 1

    WTF is Plasma? eth ethresear.ch

    via eigenjoy 11 months ago | cached | no comments
    0
13. 1

    cosmos/ethermint: Ethereum on Tendermint code eth github.com

    via eigenjoy 11 months ago | cached | no comments
    0