Blockchain protocol engineering and research

Stories tagged as eth – Ethereum

1

Jello Paper as Canonical EVM Spec eth formalverification ethereum-magicians.org
via eigenjoy 1 year ago | cached | no comments

0
2

Peer Review: CBC Casper bft consensus eth formalverification scalability medium.com
authored by jcnelson 1 year ago | cached | no comments

0
1

bitcoin-spv - parse BTC transactions on-chain in ETH btc code eth github.com
via eigenjoy 2 years ago | cached | no comments

0
1

ZoKrates - A toolbox for zkSNARKS on Ethereum code cryptography eth github.com
via eigenjoy 2 years ago | cached | no comments

0
1

barryWhiteHat/semaphore - General Zero Knoledge Identity and Signaling, on and off chain code cryptography eth github.com
via eigenjoy 2 years ago | cached | no comments

0
1

barryWhiteHat/roll_up - aggregates transactions on Ethereum code cryptography eth scalability github.com
via eigenjoy 2 years ago | cached | no comments

0
1

K Semantics of the Ethereum Virtual Machine (EVM) eth formalverification github.com
via eigenjoy 2 years ago | cached | 1 comment

1
1

Plasma snapp - fully verified plasma chain eth ethresear.ch
via eigenjoy 2 years ago | cached | no comments

0
1

Set Protocol Developer Documentation assets code eth docs.setprotocol.com
via eigenjoy 2 years ago | cached | no comments

0
2

Rattle: an Ethereum EVM binary analysis framework code eth blog.trailofbits.com
via zoenolan 2 years ago | cached | no comments

0
1

Alpha Casper FFG Testnet Instructions eth tutorial hackmd.io
via eigenjoy 2 years ago | cached | no comments

0
1

WTF is Plasma? eth ethresear.ch
via eigenjoy 2 years ago | cached | no comments

0
1

cosmos/ethermint: Ethereum on Tendermint code eth github.com
via eigenjoy 2 years ago | cached | no comments

0