Aditya Asgaonkar Profile
Aditya Asgaonkar

@adiasg

4,069
Followers
666
Following
8
Media
284
Statuses

Bay Area, CA
Joined June 2018
Don't wanna be here? Send us removal request.
@adiasg
Aditya Asgaonkar
1 year
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
Tweet media one
45
14
484
@adiasg
Aditya Asgaonkar
4 years
While you guys were chasing after NFTs, Ethereum researchers were thinking about the last PoW block. The Merge is near. Check out a PoC here:
Tweet media one
11
50
275
@adiasg
Aditya Asgaonkar
6 years
Check out my “Casper CBC, Simplified” blog post 👻
3
39
132
@adiasg
Aditya Asgaonkar
3 years
Releasing the distributed validators spec - a key piece of decentralized staking infrastructure!
@VitalikButerin
vitalik.eth
3 years
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!)
Tweet media one
2K
4K
19K
11
31
111
@adiasg
Aditya Asgaonkar
5 years
Wondering what Casper FFG is all about? Check out my new Casper FFG Explainer post:
5
81
99
@adiasg
Aditya Asgaonkar
5 years
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:
10
25
92
@adiasg
Aditya Asgaonkar
5 years
Available design choices for cross-shard communication in Eth2.0 (or any other sharded blockchain):
4
31
90
@adiasg
Aditya Asgaonkar
1 year
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!
9
11
78
@adiasg
Aditya Asgaonkar
5 years
Now that you know the basics of Casper FFG, find out how it is implemented in Eth2.0 from my new post:
2
70
67
@adiasg
Aditya Asgaonkar
4 years
From undergrad student author at an IEEE conference to a member of its technical program committee in less than 2 years! 😄
Tweet media one
4
2
69
@adiasg
Aditya Asgaonkar
6 years
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
2
10
68
@adiasg
Aditya Asgaonkar
4 years
Thoughts on failovers for Eth2.0 validator clients:
36
63
51
@adiasg
Aditya Asgaonkar
1 year
A confirmation rule for Ethereum PoS - confirms within 1 minute in typical mainnet conditions! Work with @fradamt @robsaltini @luca_zanolini and Chenyi Zhang.
5
16
57
@adiasg
Aditya Asgaonkar
4 years
Eth2 is secured by the largest BFT consensus instance ever, counted by the number of distinct participants (AFAIK) An amazing research & engineering feat!
2
4
38
@adiasg
Aditya Asgaonkar
6 years
Check out the modified EVM for the Casper CBC sharding spec that @blablarnab , Shreyas Bhat, @JonaFunLevi & I hacked for #ETHSingapore
@VladZamfir
Vlad Zamfir
6 years
Congrats to @adiasg & team for hacking a PoC of cross shard communication changes to the EVM into py-evm!
2
10
66
4
7
43
@adiasg
Aditya Asgaonkar
2 years
A guide to Ethereum’s proof-of-stake protocol, written by the newest member of the @ethereum Foundation’s research team - @luca_zanolini !
@luca_zanolini
Luca Zanolini
2 years
Curious to know how the #Ethereum proof-of-stake protocol, #Gasper , evolved over the years? 1/7
122
165
363
2
3
17
@adiasg
Aditya Asgaonkar
5 years
Check out my short talk on “How to Get Involved With Ethereum” tomorrow (19 Oct) at 10:40am
@hackinoutco
InOut 7.0⚡️
5 years
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
Tweet media one
0
1
21
0
10
39
@adiasg
Aditya Asgaonkar
6 years
Casper CBC paper (draft) released! Brought to you by: @VladZamfir @naterush1997 @adiasg Georgios Piliouras & many other collaborators over the years!
0
10
31
@adiasg
Aditya Asgaonkar
4 years
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
Tweet media one
3
4
29
@adiasg
Aditya Asgaonkar
5 years
I’ll be doing a workshop on “The CBC Casper Approach to Sharding” tomorrow (09 Oct) at 14:35 in Room B7 #devcon5 @EFDevcon 🦄
2
3
27
@adiasg
Aditya Asgaonkar
5 years
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!
1
4
21
@adiasg
Aditya Asgaonkar
5 years
🥳 So much fun hacking with @josephdelong & @lakshmansankar ! Next step => clean up code & document this framework for other hackers to make their own EEs!
@dannyryan
dannyryan
5 years
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!
1
1
29
3
3
23
@adiasg
Aditya Asgaonkar
3 years
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
@franckDownunder
franck cassez
3 years
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
1
9
24
1
9
19
@adiasg
Aditya Asgaonkar
5 years
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!
0
4
20
@adiasg
Aditya Asgaonkar
5 years
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
1
1
18
@adiasg
Aditya Asgaonkar
4 years
@adiasg
Aditya Asgaonkar
4 years
@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.
0
0
9
6
2
17
@adiasg
Aditya Asgaonkar
3 years
Check out our talks about DV at @EthereumDenver on Fri 18 Feb: @adiasg 12:00pm Art Hotel Stage @CarlBeek 12:40pm Infinity Stage #ETHDenver2022 #ETHDenver
2
5
16
@adiasg
Aditya Asgaonkar
4 years
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 : 😁
8
2
16
@adiasg
Aditya Asgaonkar
5 years
Very funny slide @VitalikButerin 😂😂
@benjaminion_xyz
Ben Edgington
5 years
@VitalikButerin picks up the baton to present LMD GHOST. His slides are definitely getting funnier over time 😂 #devcon5
Tweet media one
1
2
29
0
0
16
@adiasg
Aditya Asgaonkar
4 years
Want to watch the Eth2 launch? Check it out out here:
Tweet media one
3
0
12
@adiasg
Aditya Asgaonkar
6 years
@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.
3
0
14
@adiasg
Aditya Asgaonkar
6 years
2018 was a great year - I did an undergrad thesis 📚, got involved in crypto research 🤓, and traveled more than 50k miles ✈️! Thanks to:
1
0
11
@adiasg
Aditya Asgaonkar
5 years
Lots of scope for 10x engineers in the Ethereum ecosystem!
@hackinoutco
InOut 7.0⚡️
5 years
💪🏻👀
Tweet media one
0
0
1
1
1
12
@adiasg
Aditya Asgaonkar
5 years
Hey Bangalore Ethereans! Who would be interested in a community meetup in Indiranagar this Fri (18 Oct) from 7pm-9pm?
5
0
11
@adiasg
Aditya Asgaonkar
6 years
@VladZamfir @MPtherealMVP @AlexSkidanov @ETHSanFrancisco @VladZamfir was at the venue from 8pm on Friday till the end of the event on Sunday. He spent most of his time making our awesome vizualizer, and slept for only a few hours.
1
0
11
@adiasg
Aditya Asgaonkar
5 years
I'll be at this event to meet fellow Ethereans from Bangalore! :)
@0xPolygon
Polygon | Aggregated
5 years
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 👇
6
25
107
0
1
12
@adiasg
Aditya Asgaonkar
6 years
Super fun at my first hackathon :) #ETHSanFrancisco
3
0
12
@adiasg
Aditya Asgaonkar
4 years
@Agusx1211 @drakefjustin Let there be no doubt - Eth2.0 WILL slash consensus offenses! Attackers & ignorant stakers, beware! 1. 2.
0
0
9
@adiasg
Aditya Asgaonkar
5 years
@hudsonjameson Unfortunate timing for releasing this. Totally lost track of the date with all this staying-at-home 😅
0
0
10
@adiasg
Aditya Asgaonkar
5 years
12 hours to go! Very excited 😄
@adiasg
Aditya Asgaonkar
5 years
Join the first-ever CBC Casper AMA this Wednesday Nov 6, 0930 PST over on r/ethereum!
0
7
22
1
0
12
@adiasg
Aditya Asgaonkar
4 years
🤦‍♂️ 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.
0
1
10
@adiasg
Aditya Asgaonkar
5 years
🦠 ➡️ 🦇 ➡️ 👩‍🍳🍵 ➡️ 🤒 ➡️ ✈️ 🌏🌍🌎 ➡️ ⚠️☠️⚠️ ➡️ 🧻📉 ➡️ 😷🧼🤲🏠🚷 ➡️❓
1
1
10
@adiasg
Aditya Asgaonkar
4 years
@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.
0
1
10
@adiasg
Aditya Asgaonkar
4 years
@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.
0
0
9
@adiasg
Aditya Asgaonkar
1 year
@etherscan We now also have PoS confirmations that work in the order of 3-4 slots! Expect to see this in clients soon :)
@adiasg
Aditya Asgaonkar
1 year
A confirmation rule for Ethereum PoS - confirms within 1 minute in typical mainnet conditions! Work with @fradamt @robsaltini @luca_zanolini and Chenyi Zhang.
5
16
57
9
3
12
@adiasg
Aditya Asgaonkar
4 years
What’s the value proposition of a blockchain on which double spends can be conducted regularly & systematically?
2
0
9
@adiasg
Aditya Asgaonkar
6 years
@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 😄
0
0
10
@adiasg
Aditya Asgaonkar
4 years
tl;dr - ⚠️Running multiple VCs is unsafe - VCs need 3 items for correct operation: synced Beacon Node, validator key, & up-to-date slashing protection DB - Outline for rebuilding slashing protection DB: - Secret-Shared Validators provide optimal resilience
4
0
9
@adiasg
Aditya Asgaonkar
1 year
Beware - @adiasg_ is impersonating me. You can verify my Twitter account from my website
3
0
10
@adiasg
Aditya Asgaonkar
5 years
There should be an apocalypse-surviving Ethereum node, with more focus on bootstrapping peer discovery & archiving the chain than actually generating blocks!
0
0
6
@adiasg
Aditya Asgaonkar
5 years
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.
1
0
7
@adiasg
Aditya Asgaonkar
4 years
⚠️ 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.
@dankrad
Dankrad Feist
4 years
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.
0
1
10
1
2
6
@adiasg
Aditya Asgaonkar
6 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!!
0
0
6
@adiasg
Aditya Asgaonkar
4 years
@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.
@drakefjustin
Justin Ðrake 🦇🔊
4 years
Loud and clear! :) The community wants PoW removed ASAP. The EF Eth2 team agrees: merge before sharding. Let’s ship 🚢
50
204
1K
1
0
5
@adiasg
Aditya Asgaonkar
4 years
@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: 😁
1
2
6
@adiasg
Aditya Asgaonkar
6 years
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.
3
1
6
@adiasg
Aditya Asgaonkar
6 years
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.
2
0
5
@adiasg
Aditya Asgaonkar
4 years
Great work by @rv_inc ! I look forward to using this for evaluating critical consensus spec changes in the future
@rv_inc
Runtime Vеrification
4 years
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.
Tweet media one
43
96
102
0
1
5
@adiasg
Aditya Asgaonkar
5 years
@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
1
1
5
@adiasg
Aditya Asgaonkar
4 years
@Cooopahtroopa This list would be incomplete without my teammates from the Eth2 spec team: @CarlBeek and @protolambda 😄
0
0
5
@adiasg
Aditya Asgaonkar
5 years
@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!
0
0
5
@adiasg
Aditya Asgaonkar
5 years
Here we go! 😁
@ethereum
Ethereum Foundation
5 years
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)!
27
84
65
0
0
4
@adiasg
Aditya Asgaonkar
1 year
@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!
1
0
4
@adiasg
Aditya Asgaonkar
4 years
@0xzak @peter_szilagyi That would be awesome (if not too much trouble 🙏) Then can finally stop rebooting into Windows, yay!
1
0
3
@adiasg
Aditya Asgaonkar
5 years
@evan_van_ness @virgilgr Shouldn’t it also be weighted by the (potential) size of the Ethereum community, number of students, tech professionals, etc.?
0
0
2
@adiasg
Aditya Asgaonkar
5 years
@lorecirstea @0xAshish @AFDudley0 @aeyakovenko @VitalikButerin @muneeb @jadler0 @JonnyRhea @DeanEigenmann This issue can be resolved if we have a load balancer that makes sure all shards have similar gas/compute/X-shard communication overhead loads! Check out this cutting-edge research:
2
0
3
@adiasg
Aditya Asgaonkar
4 years
Hey @benjaminion_xyz , it's time to update 🚀😁 (c.f. )
Tweet media one
2
2
3
@adiasg
Aditya Asgaonkar
5 years
@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.
0
0
4
@adiasg
Aditya Asgaonkar
4 years
Remember, verify the contract address from multiple sources before sending your ETH. You can check: - Github commit in Eth2.0 specs repo: - Eth2 blog:
4
1
4
@adiasg
Aditya Asgaonkar
5 years
@lorecirstea @0xAshish @AFDudley0 @aeyakovenko @VitalikButerin @muneeb @jadler0 @JonnyRhea @DeanEigenmann Awesome! The CBC research team is aiming to release a sharding specification at Devcon5! :)
0
0
2
@adiasg
Aditya Asgaonkar
6 years
Contributions are welcome!! :) come tear it apart folks! 👻
@dannyryan
dannyryan
6 years
Help Vlad while you educate yourself! Be an active reader -- submit PRs for spelling, mismatched variables, formatting, etc.
0
9
49
1
0
3
@adiasg
Aditya Asgaonkar
1 year
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.
1
0
3
@adiasg
Aditya Asgaonkar
6 years
@blablarnab wrote another awesome blog post with great illustrations!
@barnabemonnot
barnabe.eth
6 years
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!
2
14
42
0
0
3
@adiasg
Aditya Asgaonkar
4 years
@EthereumOnARM Hopefully you don’t mean that literally 😜 Share the thermal profile of the RPi running Eth2 software!
1
0
3
@adiasg
Aditya Asgaonkar
4 years
@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 😄
1
1
3
@adiasg
Aditya Asgaonkar
5 years
@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
2
1
3
@adiasg
Aditya Asgaonkar
6 years
Also check out this excellent technical walkthrough of the paper by @blablarnab :
1
2
2
@adiasg
Aditya Asgaonkar
6 years
@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! 😀
0
0
3
@adiasg
Aditya Asgaonkar
5 years
@barnabemonnot Congratulations 🎉🎊
1
0
3
@adiasg
Aditya Asgaonkar
5 years
@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
0
0
3
@adiasg
Aditya Asgaonkar
5 years
@0xAshish @lorecirstea @AFDudley0 @aeyakovenko @VitalikButerin @muneeb @jadler0 @JonnyRhea @DeanEigenmann Hierarchical sharding is one of the features of the CBC Casper sharding design! X-shard communication overhead can be reduced by grouping accounts that communicate frequently into the same/adjacent shards
0
0
2
@adiasg
Aditya Asgaonkar
4 years
Eth2 clients need an up-to-date slashing protection DB to function correctly!
@adiasg
Aditya Asgaonkar
4 years
tl;dr - ⚠️Running multiple VCs is unsafe - VCs need 3 items for correct operation: synced Beacon Node, validator key, & up-to-date slashing protection DB - Outline for rebuilding slashing protection DB: - Secret-Shared Validators provide optimal resilience
4
0
9
2
1
0
@adiasg
Aditya Asgaonkar
1 year
0
0
2
@adiasg
Aditya Asgaonkar
5 years
@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? 🤷‍♂️
0
0
2
@adiasg
Aditya Asgaonkar
5 years
@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
0
0
2
@adiasg
Aditya Asgaonkar
5 years
@ConsenSysIndia How do I get in touch with you? Your website doesn't mention a email address.
1
0
1
@adiasg
Aditya Asgaonkar
4 years
@lakshmansankar learn, ideate, plan, incorporate, ensure compliance, spend 💵 on CPA/legal, THEN if you have energy - execute And if you survive that, repeat 😊
1
0
2
@adiasg
Aditya Asgaonkar
4 years
@kevinsekniqi @VitalikButerin @TheBlock__ @ChengYilun @el33th4xor @gakonst This analysis isn't correct. Here's why: - Shards don't run consensus protocols. The comm. complexity per shard block is O(n) messages, where n is the shard committee size [1/3]
1
0
1
@adiasg
Aditya Asgaonkar
4 years
@jadler0 I think consensus protocols that use the threshold intersection argument in their safety proofs generally fall under the BFT category
0
0
2
@adiasg
Aditya Asgaonkar
5 years
@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
0
0
2
@adiasg
Aditya Asgaonkar
5 years
@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.
0
0
2