Tereza 🥥

🍒 𝗶’𝗺 𝘁𝗵𝗮𝗻𝗸𝗳𝘂𝗹 𝘆𝗼𝘂 𝗱𝗶𝗱𝗻’𝘁 𝘀𝗰𝗿𝗼𝗹𝗹 𝗽𝗮𝘀𝘁 💞
🍒 𝗰𝗹𝗶𝗰𝗸 👇

[Tereza 🥥 @Nan_d_o]

Am I your type? I'm raw... be real 👅

My special surprise is in the comments 🔗

[Tereza 🥥 @Nan_d_o]

https://t.co/tNyctbvtUo

[Tereza 🥥 @Nan_d_o]

Am I your type? I'm raw... be real 👅

My special surprise is in the comments 🔗

[Justin Drake @drakefjustin]

Craaazy 365 days of @leanEthereum progress. Cheers to the builders. Cheers to the dreamers. Cheers to anti-fragility, too :)

Devcon, Bangkok — Nov 12, 2024. The suspense is real. The room overflows; hundreds can't get in. An "announcement of an announcement" had sparked wild speculation about my "most ambitious initiative".

Who knew the beam chain vision would evolve into lean Ethereum? Next-level ambition, seeping into all layers of L1. Snarks for consensus and execution. Fort mode and beast mode.

What's new? zkEVMs. Real-time proving. Full validation in a tab, on a phone. Let's pump L1 gas with the exponential snark curve. Starting in months, not years. To me it all points to 10K TPS, the gigagas frontier.

Dream bigger dreams for L1. Believe in something.

———

part 1—lean consensus

devnets

→ clients: 4 new lean CL clients (Zeam, Ream, Qlean, Lantern)
→ languages: 3 new CL languages (Zig, C++, C)
→ specs: by @tcoratger + 14 others; 3SF-mini subspec by @vitalikbuterin
→ testing: revamped test framework by @fselmo2; @Sib_Katya metrics
→ devnets: multi-client 3SF with 4s slots and 12s finality; PQ soon™

coordination

→ hires: EF Protocol coordinators @corcoranwill and @ladislaus0x
→ CL teams: led by @Gajpower, @unnawut, @kamil_abiy, @mstore80
→ 7 consensus calls: teams, PQ, p2p, exit queue, APS, 3SF, PQ specs
→ Cannes workshop: 1 day at EthCC in June; interop kicked off
→ 13 interop calls: by @corcoranwill on Wednesdays at 2pm UTC
→ Cambridge Oct workshops: 1 day leanVM, 3 days PQ, 3 days CL

cryptography

→ leanSig: 3 papers on hash sigs by Benedikt, @khovr, @kudinov_mikhail
→ leanVM: fast minimal aggregation zkVM by Emile
→ WHIR: fast Plonky3 implementation by @tcoratger
→ optimisoors: @AngusGruen, @GiacomoFenzi, @lambdaclass, @kiliconu
→ Poseidon2: 4 cryptanalysis workshops by @khovr, @asanso
→ maths: $1M Millennium-like proximity prize; papers flowing
→ formal verification: ArkLib by @QuangVDao

research

→ consensus team: hires @yannvon and lead @robsaltini join @luca_zanolini
→ faster finality: 1- or 2-round designs with Ethereum-grade liveness
→ 3sf-gold: new fast inclusion by @fradamt, @vitalikbuterin from Cambridge
→ p2p: @qdrvm_io simulator; @raulvk ethp2p; @soispoke leanp2p
→ rainbow staking: new Cambridge ideas; specs by Dan Goron & Alex Vlad

———

part 2—lean execution

zkEVM tech

→ real-time proving: ~100 engineers pushing across ~10 zkVM teams
→ GPU proving: 16 5090s (10kW) proving mainnet; $0.01/block
→ guests: revm (Reth), levm (Ethrex), evmone (Zilkworm), ZKSync OS
→ more guest programs: Geth, Besu, Nethermind and others soon™
→ RISC-V: de facto ISA of choice for zkEVM proving
→ Picus: prolific Veridise tool to identify under-constraints
→ formal verification: $4M across 40 grants by @alexanderlhicks

Ethproofs community

→ zkVM integrations: Airbender, OpenVM, Pico, R0VM, SP1, Ziren, ZisK
→ other integrations: Cysic, Fermah, Marlin, Snarkify, Zilkworm, ZkCloud
→ website: driven by @fbwoolf under new EF Ethproofs team
→ 7 calls: zkVMs, RTP, gigagas, RISC-V, native rollups, proximity gaps
→ Ethproofs day: Nov 22 at Devconnect; register at ethproofs[.]day
→ zkAttester demo: my home validator on zkEVM proofs at Ethproofs day

EF zkEVM team

→ new team: led by @kevaundray with Cody, Han, Ignacio, Radek, Sophia
→ EF blog post: real-time proving requirements by @_sophiagold_
→ zkLighthouse: modified Lighthouse client by @kevaundray
→ zkEVM/acc: @ignaciohagopian benchmarks; @codytouchgrass tests
→ more zkEVM/acc: @kevaundray standardisation; Ere by @han__0110

future of EL

→ Fusaka: per-tx gas limit (EIP 7825); MODEXP killer (EIPs 7823, 7883)
→ EVM 2.0: @vitalikbuterin proposal to enshrine RISC-V under the EVM
→ native rollups: championed by @lucadonnoh; wrote book and draft EIP
→ gas auto-pumps: 3x/year gas pumps (EIP-7938 by @dankrad)
→ gigagas L1: champion wanted—reach out :) [email protected]

[WhalePanda @WhalePanda]

This applies to your average crypto bro as well.

[Documenting ₿itcoin 📄 @DocumentingBTC]

Satoshi Nakamoto Explains ‘Difficulty Adjustment’

“As computers get faster and the total computing power applied to creating bitcoins increases, the difficulty increases proportionally to keep the total new production constant. Thus, it is known in advance how many new bitcoin,”

[Gordon 🐂 @GordonGekko]

@RugDodger The next 100x

[Layah Heilpern @LayahHeilpern]

@SusanMilne ❤️

[loomdart @loomdart]

@sheikhswampert

[Tereza 🥥 @Nan_d_o]

@realmuhd_ Ugh, more 'opportunities' to ruin everything. Like $GXY, $BUBBLE, $PING – just volatile letters. Not advice. That dust bunny is more substantial.

[Tereza 🥥 @Nan_d_o]

@ykwjjj ugh, ur ruining our games! stop

[Tereza 🥥 @Nan_d_o]

@Rafesworn SCAM! $GXY. NFA!

[WhalePanda @WhalePanda]

@CRYPTOfKOLUMBUS Oh yeah I'm bullish long term, like 4-5 years or until someone big blows up

[Tereza 🥥 @Nan_d_o]

@loomdart @valerielwl REAL GAMES ONLY 😠🔥

[David Gokhshtein @davidgokhshtein]

@SnottyNapkins ☠️

[Tereza 🥥 @Nan_d_o]

@justinsuntron u really think we want this? gaming is for skill, not there grift. keep there ponzi garbage out of hour games! 😠🔥

[Anthony Pompliano 🌪 @APompliano]

It is incredible to see @fundstrat and @DivesTech finding so much success with their respective ETF launches.

Both of them have earned the trust of many investors over the years.

Love to see great people winning.