7h agoVitalik Buterin argues consensus security requires formal mathematical proofs, asking if Ethereum's Fast Confirmation Rule is formalized in LeanHe warns growing economic reliance increases incentives to compromise consensusSentimentSentimentPos100%Neg0%Users thank VitalikButerin and ethPandaOps for clarifying why consensus security needs mathematical proofs rather than empirical back-testing, while also praising his long-term charitable donations.4 comments with sentiment. View comments.