I’m excited to share that after 5 wonderful years at the
@ethereum
Foundation, I’m embarking on a new adventure.
It’s been an incredible journey with the EF to develop the Ethereum protocol - from early proof-of-stake research to The Merge & beyond! The highlight has been
Happy birthday beacon chain!
Here's an updated roadmap diagram for where Ethereum protocol development is at and what's coming in what order.
(I'm sure this is missing a lot, as all diagrams are, but it covers a lot of the important stuff!)
I'm giving a talk on "Design Choices in Eth2.0" at EthCC on Wednesday at 1335. The talk is aimed at informing smart contract devs about why they should expect changes to their dev experience in Eth2.0! 😄
Slides:
Ethereum is currently processing 2x the number of messages than are required. Validators spend half their bandwidth aggregating messages created by just a few participants. The fix - allow large stakers to consolidate their stake into fewer validators!
In our devcon4
@EFDevcon
workshop, "Building a Cryptoeconomic Tool Set", we will maximize the cost of attack in a few simple cryptoeconomic systems! Check it out on Day 0 at 4pm!
There will be ⚠️math⚠️ 🎉
@VladZamfir
,
@adiasg
,
@ben_chain
, Georgios Piliouras, and
@naterush1997
A confirmation rule for Ethereum PoS - confirms within 1 minute in typical mainnet conditions!
Work with
@fradamt
@robsaltini
@luca_zanolini
and Chenyi Zhang.
Eth2 is secured by the largest BFT consensus instance ever, counted by the number of distinct participants (AFAIK)
An amazing research & engineering feat!
Welcome onboard
@adiasg
🚀
Aditya works on blockchain scalability & consensus as part of the CBC Casper project
@ethereum
. He has also worked on crypto-economic schemes like escrow protocols & TCRs.
He'll speak on the vast possibilities that
#ethereum
holds for you!
#hackinout
Eth2 v0.12.3 Sindhudurg
Sindhudurg, an island fort off the west coast of India, is known for its robust construction quality
"At a time when traveling by sea was banned by scriptures, this construction on an island represents the revolutionary mindset of its engineer" -Wikipedia
Presenting my work (with
@bhaskark_la
) on cryto-economic games for payment and delivery of products @ IEEE ICBC 2019!
Come see the presentation on May 15 at 1:30pm in the Main Hall!
🥳
So much fun hacking with
@josephdelong
&
@lakshmansankar
! Next step => clean up code & document this framework for other hackers to make their own EEs!
2nd, $1500 - simplEE
A Simple Ethereum WASM EE Framework for rapid prototyping of execution environments
Excited to see this extended and used in future hackathons!
Formal Verification of eth2.0-specs in Dafny - one of the largest verification efforts in Dafny!
Great work by
@franckDownunder
and team from
@ConsenSys
R&D
We just released an experience report and code for our project: Verification of the
#BeaconChain
in Dafny. Was great fun and thanks
@adiasg
and the Ethereum Foundation for your support.
#Ethereum
#verification
Looking forward to ETHIndia
@ETHIndiaco
this weekend! I will be attending as a mentor. Looking at the awesome projects last year, expecting to be amazed this time as well!
I'm going to speak about what's wrong with the TCR incentive model at CESC tomorrow (29 Oct) at 11:20am! Will share the main outcome of this paper () that I wrote with
@bhaskark_la
during my undergrad thesis
@degen_chimp
This is only a proof-of-concept for the initial quick merge proposal. There is still a long way to go in terms of creating a solid spec, engineering it into clients, and testing.
Find out the one thing that proof-of-work fanatics HATE -- weak subjectivity & what it'll mean for Eth2.0. All included in my presentation for
@EDCON_Official
: 😁
@VladZamfir
's red pill on TCRs: There is no incentive mechanism that improves a TCR's performance under economic/game-theoretic analysis, if we assume that players can engage in side games.
Indian dev community - get ready for the Ethereum India Meetup Series, hosted by Matic Network!
Come along to learn, meet and network with fellow devs of the
@ethereum
community. Crypto enthusiasts are also welcomed to join us 🙂
Learn more here 👇
🤦♂️ if you trusted anon copycats over real people putting in blood, sweat & tears into their genuine projects.
I won’t say that the chads didn’t deserve this, but I hope no one lost more than they could afford.
@arhatbhagwatkar
The process of consensus is what keeps a blockchain secure. We are looking into upgrading the consensus component of Ethereum to a next-gen technology (proof-of-stake), which is already live on Ethereum 2.0. The existing Ethereum will be "merged" with the new Eth2.0 blockchain.
@degen_chimp
This is only a proof-of-concept for the initial quick merge proposal. There is still a long way to go in terms of creating a solid spec, engineering it into clients, and testing.
A confirmation rule for Ethereum PoS - confirms within 1 minute in typical mainnet conditions!
Work with
@fradamt
@robsaltini
@luca_zanolini
and Chenyi Zhang.
@VladZamfir
@newmichwill
It turns out that some of this research stuff only needs a few hours of intense hacking for implementing a PoC.
@ETHGlobal
events are perfect for this 😄
There should be an apocalypse-surviving Ethereum node, with more focus on bootstrapping peer discovery & archiving the chain than actually generating blocks!
There’ll be lots of animations & no math symbols. Attendees will learn about the CBC sharding design, how it’s different from Eth2.0, and open research problems.
⚠️ Eth2 staking has risks! ⚠️
Don't stake if you cannot afford to lock up funds for the next 18-24 months. Don't stake if you cannot tolerate operational losses due to staking user errors, software bugs, or other unforeseen events.
Please remember: Staking in phase 0 is not for everyone. You are running critical infrastructure and there are penalties for getting things wrong.
Funds are expected to be locked for several years.
There are cross-shard sent and received messages in the block structure, and this can be used for inter-shard communication in other sharding specs as well!!
@rdans1997
No concrete timeline yet. There’s a lot of work to be done. What I can say is that The Merge will happen before sharding on Eth2 is shipped.
@ittaia
For those interested in BFT theory: try out the exercise at the end of the article!
Also highly recommended, this overview of broadcast protocols by
@cczurich
, which has increased my BFT toolset quite a lot: 😁
TCRs are weird.
Recent game-theoretic research with
@bhaskark_la
: For rational token-holders to accept a candidate into the TCR, it is not sufficient that the candidate makes the TCR better (i.e. increases valuation of tokens). The candidate must make TCR "sufficiently" better.
The intuition - to believe that TCRs work, you must believe (or provide a model) that making a "good" choice increases token value. This is the ONLY driving force needed.
We are happy to report the successful completion of another major milestone in an ongoing collaboration between
@rv_inc
and
@ethereum
: formally verifying finality in
#Gasper
, the core of the Beacon Chain.
@juin_cc
@VitalikButerin
@ChihChengLiang
Please do write about CBC 😄
Apart from the core framework, a lot of new research/engineering stuff has happened in the last year:
- Safety oracle
- Liveness strategy
- Optimized LMD fork choice
- CBC sharding
@EFDevcon
Bangalore, India 🇮🇳! An abundance of young talented engineers, amazing food, lots of available venues, has a major airport, English is widely spoken, and everything is relatively cheap!
Interested in learning more about Casper CBC? Ask the Casper CBC Research team anything (Beginning @ 17:30 UTC / About 30 minutes from the time of tweet)!
@ajsutton
There’s a third option - remove the artificial 32 ETH stake cap. This allows large stakers to consolidate their validators, which could mean up to a 50% reduction in validator set size today!
@evan_van_ness
@virgilgr
Shouldn’t it also be weighted by the (potential) size of the Ethereum community, number of students, tech professionals, etc.?
@DeanEigenmann
I consider this one of the biggest challenges. Mostly because Eth researchers/devs have expertise in permissionless consensus, but not really in ad-hoc networking that sharding demands.
Ethereum currently provides a strong finality guarantee, but it has an avg. latency of 16 mins under perfect conditions. This rule confirms blocks at a much faster pace, although with a weaker guarantee of irreversibility than finality.
Part 2 of my visual exploration of CBC Casper is out 😄 I follow the latest paper by
@VladZamfir
@naterush1997
@adiasg
, where they use the CBC framework to define protocols, including the friendly GHOST 👻 Check it out and let me know what you think!
@VitalikButerin
Does this proposal still have a PoW component?
The only reason for the existence of PoW is to provide immutability through the assumed impossibility of 51% attacks. If the assumption is broken, why waste all this energy in futile hashing? Shift to PoS 😄
@AFDudley0
@VladZamfir
Interestingly, CBC can be thought of as a stronger version of Avalanche where:
>Sample size is entire validator set
>Signed answers to latest round of queries must be provided with votes (Justification for LMD)
The main advantage is accountable safety - equivocations are caught
@VladZamfir
for all the fun times - both work and otherwise
@bhaskark_la
for being an amazing thesis advisor
And all you amazing people who I met for the good times! 😀
@DeanEigenmann
@protolambda
I’d say data availability of x-shard msgs is different than state availability in same shard. X-shard msgs have to go to a different partition of the network, while state provision is basically just gossip in the same partition
@lookfirst
@AFDudley0
@VladZamfir
It’s not the developers’ job to check the quality of the spec.
Maybe we should compare it to the construction business. Do the builders review the architects work? 🤷♂️
@badcryptobitch
@VladZamfir
@naterush1997
Other WIP major components for the sharding spec:
- load balancer
- fault model for equivocations in other shards
- making the intended protocol an equilibrium through the PoS system
@lakshmansankar
learn, ideate, plan, incorporate, ensure compliance, spend 💵 on CPA/legal, THEN if you have energy - execute
And if you survive that, repeat 😊
@DeanEigenmann
@protolambda
The issue becomes the data availability of the message in the other shard. We can make the other shard aware that some msgs was sent, since it sees the checkpoint. But data has to go to the other shard through out-of-protocol channels
@AFDudley0
@VladZamfir
... anything apart from the specified protocol to be byzantine behavior which can possibly affect safety, and an upper limit on such nodes is assumed.