3 ms·From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean42 points by syumei 1y ago