1 min read - Posted 20 Sep 18

Sharding PoC

While Casper FFG (the “friendly finality gadget,” a.k.a. Vitalik’s casper, which provides finality on top of the existing proof-of-work-based system) is the primary proof of concept candidate in the Shasper “Ethereum 2.0” roadmap, Vlad has been diligently at work for some time on his own Casper workstream, titled Casper CBC (“correct by construction”), which entirely replaces proof of work with a new, provably correct block proposal and fork choice scheme. Until now, that work has been largely theoretical and has consisted primarily of equations and diagrams (see the whitepaper, released last year). So it’s really exciting to see the rubber hit the road and to see some of these ideas be proven out in actual, running code, which is a lot easier for most developers to digest! - Lane "McShardface" Rettig


This is a proof of concept for a sharded Ethereum blockchain, that supports multiple validators per shards, cross-shard messages and state updates to the EVM.

simulator.py simulates and provides a visualisation for this.

$ pipenv install
$ pipenv shell
Built With
  • python
Try it out

GitHub Repo

Created with Sketch.Content is"CC-BY-SA 4.0" licensed
Article On-chain
Article Author

Kauri Team




Related Articles
Here’s The Deal on Sharding

Blockchains suck. They’re really slow, the fees are high, and right now nearly nothing built on them can scale, as evidenced by Cryptokitties and every single Ethereum stress test since then. In fact, blockchains are so bad that there’s an infamous “scalability trilemma” to sum up their biggest cons: as they are right now, they can’t exist without having to trade off either decentralization, scalability, or security. For example: if your blockchain is truly decentralized like Bitcoin, then it’ll

Ramy Zhang

07 Mar 19

Building on Bulletproofs - Short Proofs for Confidential Transactions

This article was original published by Cathie Yun on Medium special thanks to Cathie for allowing us to import to Kauri Preface In this post, I will explain how the Bulletproofs zero knowledge proof protocol works, as well as talk about the confidential asset protocol and confidential smart contract language we are building using Bulletproofs. This post is a condensed version of previous talks and blog posts and our Bulletproofs library documentation . It has also been featured in the MIT Digita

Kauri Team

06 Jun 19