安全多方计算模型：理想模型与现实模型的安全保证

安全多方计算模型中，存在两种模型：

理想模型：参与者将输入发送给一个可信第三方，这个可信方会协助参与者计算函数。
现实模型：参与者执行协议计算函数，没有可信方的帮助。
如果在理想模型中协议是安全的，那么只要攻击不能在理想模型中执行，我们就认为该协议是安全的。换句话说，只要协议在理想模型中是安全的，我们就可以认为它在现实模型中也是安全的。
因为在理想模型中没有攻击可以执行，所以我们可以保证协议的安全性。也就是说，如果协议在理想模型中是安全的，那么我们可以相信该协议在现实中也是安全的。

简单来说，3、4 两句的意思是：如果一个协议在理想模型中是安全的，那么它在现实模型中也应该是安全的。因为在理想模型中，攻击者无法获得任何额外信息，所以如果协议在理想模型中是安全的，就意味着在现实模型中攻击者也无法获取到额外信息，从而无法破坏协议的安全性。