
Roberto Saltini
56 posts

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




1/ Why Ethereum Needs a Dynamically Available Protocol. Ethereum's next consensus protocol should have a provably secure, fast “heartbeat” layer that never stops producing blocks, regardless of how many validators are asleep. ethresear.ch/t/why-ethereum…










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 🫵







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)


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.

Ethereum 3 slot finality deep dive - thank you @luca_zanolini and @robsaltini for a great talk youtube.com/watch?v=6tTayG…




🔥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… 🧵👇

