Roberto Saltini

Roberto Saltini co-authored a fast confirmation rule for Ethereum's consensus protocol, with mathematical proofs of its safety and monotonicity.

14 talks by Roberto Saltini

• Formal Verification of Consensus Protocols in Lean
• Fast Confirmation Rule Breakout #12
• Fast Confirmation Rule Breakout #11
• Fast Confirmation Rule Breakout #10
• Fast Confirmation Rule Breakout #9
• Fast Confirmation Rule Breakout #8
• Fast Confirmation Rule Breakout #4
• leanConsensus Call #6: 3-slot finality
• A Fast Confirmation Rule for Ethereum | Devcon SEA
• A Fast Confirmation Rule for the Ethereum Protocol
• A Fast Confirmation Rule for Ethereum
• All Core Devs - Consensus #133
• Formal Specification and Verification of the Distributed Validator Technology protocol
• IBFT 2.0: a robust PoA BFT consensus protocol for Ethereum