Roberto Saltini

56 posts

Roberto Saltini

Roberto Saltini

@robsaltini

Researcher in Distributed Systems & Formal Verification at @ethereum | ex-Consensys

Katılım Mart 2010
168 Takip Edilen366 Takipçiler
raulk • p2p/acc
raulk • p2p/acc@raulvk·
I think this website could benefit from: 1. a clear walkthrough of what needs to happen for assumptions to break; i.e. the sequence of conditions that need to stack at once 2. a historical analysis of when those conditions have been met (or been close) over the lifetime of the chain One obvious rule is that FCR should be disabled locally at fork boundaries and during degradation. Not sure if it’s sufficiently clear that FCR on/off is a dynamic local choice, and what vital stats are worth monitoring.
English
2
0
6
122
dannyryan
dannyryan@dannyryan·
fastconfirm.it The fast confirmation rule is incredible So many years in the making. Super excited to see it finally ship!
English
35
115
585
95.1K
Roberto Saltini retweetledi
Luca Zanolini
Luca Zanolini@luca_zanolini·
Seoul is officially home! Found the perfect way to mark my first local appearance: speaking at @buidl_conf! Thanks @ekang426 for the invite. I’ll be sharing our work at the @ethereumfndn on consensus & fast confirmation! Builders, let’s connect! #BUIDLAsia #Ethereum #Seoul
Luca Zanolini tweet media
English
1
4
32
1.4K
Roberto Saltini retweetledi
Ben Edgington
Ben Edgington@benjaminion_xyz·
I left paid work almost a year ago saying that only something spectacular would drag me out of retirement. Well, it happened - I am now with @ethereumfndn helping to shepherd fast finality to Mainnet. It's going to be quite the journey, but I am very excited! 🚀
English
131
109
1.4K
179.8K
Roberto Saltini retweetledi
Luca Zanolini
Luca Zanolini@luca_zanolini·
Finality is the belief that some things won’t change in the future. In our new post, we unpack how this belief works in blockchains: why it’s conditional, and how its strength evolves over time. Together with @ittaia and @VitalikButerin, we explore this conditional notion of finality. decentralizedthoughts.github.io/2025-11-23-fin…
English
29
71
251
93.7K
Roberto Saltini retweetledi
Francesco
Francesco@fradamt·
And here we are, < 1M active validators. Important to keep this momentum going, and even accelerate. EIP-8061 (increasing the churn limit) can make the process fast once the ball gets rolling, while EIP-8062 (withdrawal fee on the sweep) can incentivize 0x02 adoption
Francesco tweet media
Francesco@fradamt

Baby steps, but worth celebrating: 0.5% of validators hold 10% of stake. The validator set shrunk by >85k from the peak, and is heading towards <1M. The goal: another 10x reduction, to unlock much faster finality. Call your staking pool and let them know Ethereum needs them 🫵

English
2
7
52
3.8K
Roberto Saltini retweetledi
joshdavis.eth 🐙
joshdavis.eth 🐙@joshdavislight·
1/🧵 Applications for the EF 2026 Internship Program are now open. A paid, full-time, 12-week opportunity to work directly with the teams advancing the Ethereum protocol and ecosystem.
English
19
85
438
61.4K
Roberto Saltini retweetledi
joshrudolf.eth
joshrudolf.eth@rudolf6_·
L2 interop working group + special focus this week on accelerating L1 fast finality 🔥🔥 Highly recommend watching / taking a look at the notes below to get the latest on: 1. Fast Synchronous Finality (aka the fast confirmation rule) 2. ENS-based chain registry 3. Sync composability designs from ssv network 4. L2 withdrawal windows Notes and recording: @rudolf/interop-15" target="_blank" rel="nofollow noopener">notes.ethereum.org/@rudolf/intero… thanks to this week's guests @robsaltini @mkalinin2 @unruggable_eth @wonderland @ssv_network
joshrudolf.eth tweet mediajoshrudolf.eth tweet mediajoshrudolf.eth tweet mediajoshrudolf.eth tweet media
English
39
43
159
17.2K
Roberto Saltini retweetledi
Caspar
Caspar@casparschwa·
I'm so excited for this research center! Tim is a powerhouse and incredible magnet for talent. I can't wait to see all their contributions to Ethereum (and blockchain protocol design more generally). Super bullish on such cross-pollination between academia and practitioners!
Tim Roughgarden@Tim_Roughgarden

Brief video about the new center @cu_eth_research (also on the center's page on @endaomentdotorg that we're using to accept donations and unlock additional matching funds from @ethereumfndn)

English
1
3
23
2.1K
Roberto Saltini retweetledi
Luca Zanolini
Luca Zanolini@luca_zanolini·
With @robsaltini, we dive into adapting 3SF to ePBS, FOCIL & PeerDAS — features the original protocol didn’t consider. We examine how these components interact and whether their integration could create challenges or incompatibilities in this new context. ethresear.ch/t/integrating-…
English
0
6
22
2.3K
Roberto Saltini retweetledi
Valentin Wüstholz
Valentin Wüstholz@vwuestholz·
Our new fuzzer for zkVMs discovered a critical soundness bug in RISC Zero! 🔥 @RiscZero Thanks a lot for the shout-out! We're happy to contribute to making RISC Zero more safe! 🚀 Building complex ZK infrastructure? Let us help you secure it. Get in touch! ✉️
RISC Zero@RiscZero

RISC Zero Security Disclosure A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2. This vulnerability was reported by Christoph Hochrainer via our @HackenProof bug bounty program. We have evaluated the severity of the vulnerability as “Critical,” and paid a $50K bounty. The issue has been patched and all partners have been migrated over to 2.1.0. RISC Zero remains committed to providing the highest level of transparency, proactive security, and integrity.

English
4
7
77
7.5K
Ben Edgington
Ben Edgington@benjaminion_xyz·
So, news is spreading that I left @OPLabsPBC, and people are asking what's next. Tl;dr - I'm getting back to The Book (Upgrading Ethereum, sometimes known as the Eth2 Book). 👇
English
43
24
451
27.3K
Roberto Saltini
Roberto Saltini@robsaltini·
It was a pleasure to present our work on a Fast Confirmation Rule for Ethereum at #PEEPanEIP! This is a joint effort with @adiasg @fradamt @luca_zanolini and Chenyi Zhan. Thank you for having me!
Pooja Ranjan | ranjan.eth@poojaranjan19

🔥A Fast Confirmation Rule for Ethereum?🔥 A new research could significantly reduce block confirmation times to just 12 seconds ⏳ Watch this deep dive from @robsaltini and @EthCatHerders on #PEEPanEIP▶️ 🎥youtube.com/watch?v=dZU-Ch… 🧵👇

English
1
2
16
2.6K
Roberto Saltini retweetledi
EF Ecosystem Support Program
💡 The 2025 Academic Grants Round is live! 💡 $2M in funding is available to support cutting-edge research in domains like protocol design, client engineering, humanities, and more. 📝 Explore our wishlist and submit your proposals by March 16! esp.ethereum.foundation/academic-grants
English
19
78
253
70.1K