论文导读系统形式化验证Smart Casual Verification of the Confidential Consortium FrameworkSmart Casual Verification of the Confidential Consortium Framework