(not a pseudonym) weird ETH yankovic cofounder, eternal optimist @optimism 🔴✨
- Tweets 961
- Following 932
- Followers 9,450
- Likes 1,905
a reminder in light of recent news:
Don't start an algo stable,
It'll start off workin'
'Till the market worsens
45
151
786
We've been getting tons of requests to explain how @optimismPBC's next-gen fault proofs work. The repo fits a bunch into a tiny package.
Well, I have a lot of practice selling the benefits of a small package, so I thought I'd write an oversized thread to compensate.
🧵
10
87
384
Optimism is all-in on Ethereum.
Together, we will make based and native rollups the fantastic products I know they can be.
Ben Jones from @Optimism announces intent to integrate based sequencing and native execution into the OP Stack, and suggests possible migration of OP Mainnet and other Superchain chains to being based + native.
🎉🥳
9
13
169
24,928
When the Superchain launched, critics argued its WIP fault proofs would kill decentralization and spawn sidechains.
Now, two years later, the Superchain accounts for 75% of the Stage 1 chains on L2Beat.
Take the path you believe is right, ignore noise, and ship.
15
19
115
20,089
To be explicit -- the OP Stack is a proud public good, MIT licensed to the core, from day 0. The Collective will defend your right to do whatever you want with it to the very end.
The Law of Chains is an opt-in value proposition for those who want to play the positive sum game.
5
11
86
19,954
Cannon (CANNON CANNON CANNON github.com/ethereum-optimism…) is the world's first EVM-equivalent fault proof implementation.
But it's also:
- a way to run any golang in a rollup
- a mindblowing new FP design enabling optimal data costs
- a new stateless Ethereum implementation
👀👇👀
1
7
76
If you haven’t seen the absolute masterpiece this is based on, you’re missing out: piped.video/k1BneeJTDcU
1
6
54
Should I record this?
10
52
Oh, last but far from least -- I want to give a huge shoutout to @realGeorgeHotz for many of these insights, and for pioneering the initial codebase.
I've met VERY few people who can distill apparent complexity into just a few lines of code like he does. Truly inspiring.
3
6
49
this joke will never get old to me, even when @transmissions11 finally turns 12
We keep making transactions cheaper and you keep complaining that transactions aren’t cheap enough. We hate all of you, we’re building Pessimistic Rollups now.
optimismpbc.medium.com/we-ha…
1
44
read: @Gigamesh took my shitpost and turned it into a masterpiece
Congrats to @soundxyz_ for launching on my favorite L2!
I was honored @ben_chain asked if I would help spice up his latest masterpiece to celebrate the occasion, which is an ode to the very first Etherean, @VitalikButerin
Enjoy❤️
4
5
20
2,655
Speaking of--everything we make is public, MIT licensed, and maintained in real time on our github.
We do this not to yell "first!", but to maximize our impact, share our progress, and collaborate with our community. Come join us--or fork us!
github.com/ethereum-optimism…
3/3
5
42
Key axiom of layer 2:
"Processing disputes for all unsuccessful transactions is cheaper than processing all successful transactions."
You don't go to court to cash a check. You go to court when the check bounces.
1
6
40
In exactly 2 hours I’m giving the most ridiculous talk I’ve ever given, by far
Main stage. 2pm. Let’s have some fun.
5
2
40
Kanye's d̶i̶s̶c̶o̶cryptography h/t @VirtualElena
- The Mempool Dropout
- Late Validation
- Verification
- 8-of-8s and smart SAFEs
- Watch the Zone (with Jae-Z)
- My Beautiful Dark Twisted Custody
- Feezus
- The Life of Lido
- Pay
- Nodes see GHOSTs
- Feeswitch is King
- Bonda
2
2
18
2,958
Hard to describe how amazing this feels--not just as a milestone for OE, but as a milestone for our team. Out of all the launches so far, the sheer number of people who were CRITICAL to this launch, working productively together, is my favorite ATH yet.
🌹 Roses are red
💎 Violets are blue
⏰ You've all been waiting
🦄 @Uniswap on L2
optimismpbc.medium.com/annou…
1
2
38
I'm glad everyone liked this thread!
A quick reminder: Optimism did not invent this alone. Nor did anyone else--we stand on the shoulders of giants.
I'm incredibly thankful for the MANY folks outside Optimism who played a part. We just wouldn't be here without each other.
1/3
We've been getting tons of requests to explain how @optimismPBC's next-gen fault proofs work. The repo fits a bunch into a tiny package.
Well, I have a lot of practice selling the benefits of a small package, so I thought I'd write an oversized thread to compensate.
🧵
3
6
37
Not only is this intuitive--a new L1 block is EXACTLY what progresses L2 state--it ALSO allows theoretical minimum data cost. You literally don't even submit calldata to a smart contract, because it comes directly from the L1 block. ZERO gas aside from raw L1 data is needed.
3
1
34
After a year of tireless R&D, it's time to bring FULL STOP EVM into production L2--and bootstrap a public goods ecosystem to boot.
Couldn't be more excited to be working on this with such a rockstar team @jinglanW @karl_dot_tech @will_meister @kevinjho_
Hello again world! Plasma Group is now Optimism. Today, we are announcing our transition from research to something more:
link.medium.com/Df5ZWfo2g3
3
36
At a practical level, this is what Cannon does. It has a way to run arbitrary golang code on L2, and it uses that to run geth. (minigeth!) github.com/ethereum-optimism…
It’s like a VM sandwich. You take the minigeth EVM, run it on VM implemented in solidity, and FP that in L1’s EVM.
2
8
32
can't believe this is the headshot that stuck
Announcing the first wave of @Permissionless speakers!
The '23 lineup features industry experts including:
- @hosseeb, @dragonfly_xyz
- @ben_chain, @optimismFND
- @Melt_Dem, @CoinSharesCo
- @MihailoBjelic, @0xPolygon
Register: blockworks.co/event/permissi…
9
32
3,478
Even ignoring the ridiculous "plasma is dead" claim, this is...dubious. Sidechains scale *at the cost of security.* That's completely unacceptable for high-value dapps (AKA all of DeFi). Plasma is *literally* a solution to the overwhelming security problems of sidechains.
3
2
26
My friend opened a cabinet which contained an infinite supply of food inside and said that this is the "public goods cabinet" where everyone in the world can share in unlimited food. Obviously a terrible mistake. I immediately corrected him; since the cabinet can only fit so many eager hands, it is clearly excludable and therefore a club good. To prevent this I called a meeting of the Ethereum core developers.
After several hours of arguing about whether the congestion algorithm was ZK-friendly, we eventually settled on a multidimensional EIP1559 curve which would independently manage the demand for the different food groups, as well as a sidecar entrance for more lightweight access to any food which might expire after 18 days.
We considered using the congestion fees to end world hunger, or pocketing them for ourselves, but ultimately determined that none of these solutions would be credibly neutral. Instead, we will use the proceeds to purchase more food, and place it back inside the infinite cabinet, thus increasing overall value for the existing food holders.
My friend opened a cabinet and said that this is the “public goods cabinet” where everyone in the house shares their food.
Obviously a terrible mistake. I immediately corrected him, saying that this is a commons and not a public good, as the food is excludable and rivalrous. I then shared Ostroms principles for how to govern the commons and flagged that some were not applied here which might put the commons at risk. To prevent this I called a meeting of the roommates in his house. After 30min of hot yoga and introduction sessions, we embarked on a 4 hour workshop to create a plan for governing the commons.
Now the cabinet is perfectly designed as a commons following Ostroms principles, governance over the commons are done via a quadratic time weighted Hypercert-powered voting scheme and a security council with a 3/5 multisig. 1 step closer to ethers Phoenix
2
3
25
19,375
peanut butter and jelly
beacon chain and ETH execution engine
tomato soup and grilled cheese
L1 chain and OE execution engine
@protolambda and @optimismPBC
2
21
CANNON CANNON CANNON
Hypeness of this repo cannot be understated.
The "preimage oracle" is one of the most powerful abstractions that we've ever realized in L2 and its usefulness even extends beyond fault proofs.
1
22
And that's all for now folks!
As always--if you want to work on solving deep challenges with the most diverse, exciting team in crypto -- you know where to find us 😉❤️ jobs.optimism.io
1
20
Working with this team is such a fucking honor and privilege.
With a fresh new $150m in the bank, it's far from over, but already feels like the journey of a lifetime.
Time to take this to the next level.
After over a year on mainnet, our milestones keep adding up: $1B in gas fees saved for users, thousands of smart contracts deployed, three separate forks...
And now: funds raised to the tune of $150M, giving us runway to keep shipping rain or shine.
medium.com/ethereum-optimism…
21
this was an absolute blast, @karl_dot_tech is infinite humanity-level hype
We just finished recording with @ben_chain and @karl_dot_tech from @optimismPBC on @bankless!
Optimism is one of the most hyped #Ethereum scaling solutions for cheap, fast transactions!
But is it also a path towards universal human values alignment?
Episode out tomorrow!
2
2
19
Cannon does have a shiny new RISC VM (only 400 lines of solidity!), but–on its own, this would be nothing new. Truebit pioneered this whole idea, using WASM as the “meat.”
And geth compiles to WASM.
So why hadn’t a weekend hacker put geth on Truebit yet?
3
2
18
Cannon solves things VERY differently. Instead of removing the database, it offers an entirely new way to think about the state DB.
At the core of the solution is a brand new VM primitive called the:
🔳 🔲 🔳 🔲 🔳 🔲
🔲 Preimage 🔳
🔳 Oracle 🔲
🔲🔳🔲🔳🔲🔳
2
3
18
It just clicked for me that EIP1559's impact on supply/demand is similar to the hysteresis curves that they taught us about in E&M. Can anyone point me to research on this? At equilibrium should we expect a cyclic loop which fluctuates around the target blocksize?
3
19
Vitalik actually investigated this, (ethresear.ch/t/evm-optimisti…) but there’s a core issue: state and the EVM trie. Truebit programs don’t have persistent DBs.
V’s propsal was to modify geth and remove the database, instead using stateless block witnesses. This is a hefty change.
1
17
Cannon was born of our search for an EVM-equivalent rollup. If you want to read more about that, check out this post: medium.com/ethereum-optimism…
In short, we became convinced that the only path to equivalence would involve running an existing implementation (e.g. geth) “on-chain.”
1
1
16
This a major breakthrough in how we think about fault proofs. What's absolutely bananas is that by leveraging the preimage oracle, the input to *the entire damn rollup* is reduced to a single hash: the L1 blockhash. Cannon just "unrolls" everything else it needs from there.
1
16
While minigeth compiles to our L2 MIPS VM, that isn't fundamental--you can also compile to x86--and we think this design could open big new doors for stateless Ethereum as a whole. Stay tuned. 📈
1
2
15
Another way to say it is: the preimage to an L1 blockhash *can always* be found! This makes it a *perfect* input to the Preimage Oracle. So long as you only put "real, blockchain-generated" hashes into it, you'll always progress the VM state.
1
14
The preimage oracle is a new type of state transition with no equivalent in other ISAs like WASM, RISC, etc.
The transition rule is dead simple, but powerful: given a 32-byte hash as the input, the preimage to that hash is placed into the VM’s memory.
github.com/ethereum-optimism…
1
15
LMFAO I go to burning man for a week and when I get back the world has done this...
Hey @ben_chain, we made you this honorary as part of our upcoming Rare OPepes NFT collection with @xtokenterminal - hope you like it!
Let us know your ENS or ETH address and we'll send it over 🥳
2
14
Building new a coordination layer for the internet is what took me down the rabbithole all those years ago.
The ETH whitepaper converted me from follower to believer, and I never looked back.
The Optimism Collective is a chance to do just that, and do it right.
Let's do this.
13
Even crazier: what if we did an inverse ice age, where blob parameters increase exponentially over time UNLESS L1 forks
Proposing the idea of blob parameter only forks for Ethereum. Keeping the scope super tight prevents scope creep and there must be quantitative evidence that the additional resource usage will not hurt home stakers. We need to scale to keep growing Ethereum
2
1
15
1,590
turns out the real transaction chain was the friends we made along the way
Not only is this intuitive--a new L1 block is EXACTLY what progresses L2 state--it ALSO allows theoretical minimum data cost. You literally don't even submit calldata to a smart contract, because it comes directly from the L1 block. ZERO gas aside from raw L1 data is needed.
1
2
14
PLASMA IS BACK BABY
Very fun convo with @unsafetdot. The philosophy of plasma will always have a special place in my heart.
1/ We have a VERY special installment of Devs on Devs hot off the presses, featuring @unsafetdot the core protocol developer of Plasma Mode (and by extension, Redstone), and @ben_chain, a co-founder of @Optimism, the collective behind the OP Stack.
lattice.xyz/blog/op-plasma-r…
1
2
12
3,527
EVM "compatibility"? 🚩🚩🚩🚩🚩🚩
This has been one of if not THE most important realization for us since moving from plasma to rollups. After 10 months on an EVM compatible mainnet, I just can't tell you how right it feels. Giddy.
A new gold standard for L2s is about to emerge.
It's time to talk about EVM Equivalence.
medium.com/ethereum-optimism…
2
11
the UX of dual-flush toilets always confuses me
am i supposed to press the big button when I go #1 because it is the #1 sized button? or did they make it bigger because it uses more water, so I should press the small button?
4
11
really didn't think an opossum would become an unofficial mascot but I'm here for it
Another big week for @optimismPBC. I just published the second edition of Opossum's Week in Optimism, a weekly roundup of what's going on in the Optimism ecosystem!
opweekly.substack.com/p/opos…
1
11
I will be at Devconnect! Who else will be there?
Come to this talk, or HMU if you wanna
- Make some music
- Jam on scalability endgame
- Help solve L2 resource pricing
Ben "Weird ETH Yankovic" Jones, a co-founder and Chief Scientist at @optimismPBC, will give an overview of Optimism's new fault proof, Cannon. If you want to learn something about fault proofs or just to have a chat on Ben's secret hobby, crypto music, come!
11
Yet another efficiency: each step goes just 1 level down the state trie, so the final on-chain step of the fault proof will be constant in the state size. No merkle branches required. We achieve this with a simple abstraction that can be easily ported to other ISAs.
1
10
Geth's StateDB already uses a mapping from b32 hash to value. This means that the preimage oracle integrates effortlessly--armed with the right preimages, it can fully validate a block, completely statelessly, with an insanely small code footprint vs. vanilla geth.
1
1
10
Speaking at #ethdenver in exactly 1 hour. Come for my melodica performance, stay to learn about the future of scaling.
Tomorrow morning @ben_chain will be giving a talk at #ETHDenver on key lessons learned from running an optimistic rollup for the last two years. Hope to see you there!
Time/Date: Friday Feb 18th - 11:40 AM
Place: Sports Castle Laser Stage
ethdenver.sched.com/event/xT…
1
11
So: that's what's awesome about the design from an L2 perspective.
But what's equally awesome is how cleanly it fits into geth. Minigeth is independently interesting as a brand new, stateless implementation of geth, because it introduces NO new witness validation code.
1
9
More Viable Plasma with @kelvinfichter and awesome friends ✨ ethresear.ch/t/more-viable-p…
11
Simultaneously HYPED to be transitioning to the Optimism Foundation and begin the next chapter of our journey alongside my co-founder @jinglejamOP as our Executive Director.
And with old friends and legends @evabeylin @abbey_titcomb joining the mix?
It's just tooooo OP 🔴_🔴
1
11
The same principle applies to the state trie itself--you basically can "unzip" any piece of state from the previous block's stateroot. It's like merklization in reverse, and so long as the blockchain was the thing which did the merklizing, it's perfectly safe to do.
1
2
10
I'm not sure about tx count--but in 5 years, 90% of tx VALUE will accrue in scaling solutions which are both secure and economically efficient. Plasma with state channels on top is bar none the best candidate for that today. (ZKPs will also take on a big role within 5 years)
1
3
11
༼ つ ◕_◕ ༽つ
Hey @UnipigExchange it's 0x6B8f64f889cB632218a1d2FD945a1769C853c9D7, give me some 🦄UNI and 🐷PIGI tokens on Layer 2! unipig.exchange #teamPIGI
1
10
gotta shout out @kelvinfichter 's classic from back in the day github.com/smartcontracts/mi…
1
10
This depends on how ETH2 is used—for example, optimistic execution schemes do allow for atomic cross-shard transactions!
1
1
9
get you an L2 that develops at these levels of openness
ICYMI: Last week we discussed a lot of exciting developments during our monthly developer call!
Hear directly from the nerds hard at work making Optimism the most elegant and developer friendly scaling solution for Ethereum. 🔴
piped.video/lOhxin56nJc
🧵
9
They just ain’t ready for it @gakonst
#darkmode "Keynote"
BoMEVian RhapsodETH
(lyrics coming soonTM)
- Piano + vocal @ben_chain
- Guitar @gakonst
1
1
10
This sounds a bit crazy on its own–after all, the whole point of hashes is preimage resistance, right? You can’t know them! How is this at all reasonable?
Well–some preimages, yes–but others are decidedly known. In fact, the *entire rollup model* relies on L1 being available.
1
7
Talking in an hour! Come for the rollup breakdown, stay for the memes.
live.ethonline.org
Our next Summit🔮 𝐓𝐡𝐞 𝐅𝐮𝐭𝐮𝐫𝐞 𝐨𝐟 𝐄𝐭𝐡𝐞𝐫𝐞𝐮𝐦
📅 12 PM ET Oct 23 - this Friday
➡️ How Eth2 complement Eth1, how Eth2's launch will enable near-term scaling, how you can participate in staking, and much more!
Register Now: ethonline.org/future/
2
8
Let's also not forget that "exploding" history size--aka downloads linear in block count--is the case for pretty much all blockchains today generally.
2
9
Great post--very glad to have folks like @barnabemonnot getting more into L2 economics. The "operator budget" is something we had to think through carefully in the early days and it never got love publicly.
This field will keep evolving, we have some fun stuff in the works.
I wrote a new post about rollup economics. This framework hopefully provides more clarity on the various parties co-existing in a rollup system, and helps guide discussions on fees and economic designs barnabe.substack.com/p/under…
1
8
FWIW this was a perfect storm of errors and was only possible because the L1 addy was created by WM *3 years ago* on an older version of the factory.
Any retail user using gnosis-safe.io/ since its launch on Optimism would not be at risk.
Last weekend an attacker was able to gain control of the Optimism addresses that correspond to various Gnosis Safe multisigs on Ethereum that had not yet been deployed to Optimism. A quick thread on security in the multi-chain world ~~
9
Scaling Ethereum as a public good isn’t just a code problem, it’s an incentive problem. Our first experiment?
😍💵 Make it profitable to build public goods.
optimismpbc.medium.com/retro…
7
FWIW at @plasma_group we have "I will include this" receipt signatures from the operator--could be used for a slashing condition in the future and also allows for a nicer confirmation UX for low-value transactions
1
6
The way it will work is if you've opened a channel on plasma, and censorship happens, plasma's dispute process resolves to an equivalent channel contract on the main chain. So the channel "remains a channel"
3
8
Innovation is always about placing old ideas in a new light. And that has value on its own.
It might not always get the "original citation," but it helps you coordinate your team and communicate to the world.
And it definitely helps you write clean, effective code.
2/3
1
7
We have formal specifications for particular implementations, but not for the general design space (very large! see: NOCUST).
I think a good sorting heuristic is "layer 2 solutions where off-chain data about on-chain commitments is used to provide custody guarantees."
1
1
8
Hey @synthetixl2demo it's 0x07E9caDF6AF7A1e21C6E34F238FBf865cBECCC3f, let me in to the L2 testnet trading competition! @optimismPBC @synthetix l2.synthetix.exchange
6
There's another path forward in the form of stateless block verification. You don't need L1 to preserve a separate state space if you have that--just takes being able to statelessly apply a block to an arbitrary *L2* blockhash from within the VM. This is hopefully easier.
1
5
But I know OP Labs remains in more than capable hands with my co-founder @karl_dot_tech, beacon-of-organization @liamihorne + @kelvinfichter @optimisticjosh @b0bby @boedec @kevinjho_ @tyneslol @mslipper and the rest of what's become a truly legendary squad.
1
7
time for the cannon to start firing on all cylinders
That's how cannons work, right?
Cannon (CANNON CANNON CANNON) is our next-gen fault proof architecture, and it’s coming soon.
It enables optimal data costs.
It effortlessly preserves EVM equivalence.
Its very first bug bounty goes live today. 💥
medium.com/ethereum-optimism…
6
It's crazy but I know that number is only going up from here, too--and it could be you! jobs.lever.co/optimism
7