IOSG：解放以太坊性能，超越EVM瓶颈的创新之路

46 0 0

Bonsai网络设计的美妙之处在于计算可以初始化，验证，输出全部做到链上。所有这些听起来都像是乌托邦，但STARK证明也带来了问题——验证成本太高。

(来源：IOSG Ventures）

STARK证明假设低阶测试的安全性，用于验证多项式的低阶性质。它们还假设哈希函数表现得像随机预言机一样。

SMPC网络依赖于以下几点：

OTM是一种多方计算协议，旨在保护参与者的隐私。它通过使参与者在计算中不公开其输入数据来实现隐私保护。因此，“诚实但好奇“的参与者不会存在，因为他们无法通过与其他节点通信来试图访问底层信息。

使用ZK可验证计算的好处是它是安全和隐私保护的，但它没有内置的秘密共享功能。证明生成和验证之间的不对称使它成为可验证外包计算的理想模型。如果系统使用纯粹的zk验证计算，则计算机(或单个节点)必须非常强大才能执行大量计算。为了在保护隐私的同时启用负载共享和平衡，必须有秘密共享。在这种情况下，像SMPC或NMC这样的系统可以与像Lurk或RiscZero这样的zk生成器相结合，以创建强大的分布式可验证外包计算基础设施。

在ZK证明方案的竞赛中，可能不会出现赢家通吃的情况。每种证明方法都针对特定类型的计算进行了优化，并且没有一个适合所有类型的模型。计算任务的类型有很多种，也取决于开发人员在每个证明系统上做出的权衡。笔者认为基于STARK的系统和基于SNARK的系统以及它们未来的优化在ZK的未来都有一席之地。

风险提示：防范以"数字货币""区块链"名义进行非法集资的风险。以上信息仅供交流，不构成任何投资建议；根据央行等部门发布“关于进一步防范和处置虚拟货B交易炒作风险的通知”，不对任何经营与投资行为进行推广与背书，请读者严格遵守所在地区法律法规，不参与任何非法金融行为。本内容仅供广大爱好者科普学习和交流，不构成投资意见或建议，请理性看待，树立正确的理念，提高风险意识。
温馨提示：仅提供区块链&数字货币平台信息分享服务，所有产品及展示信息均来源于发行方或者互联网。炒币属于投资行为，不等同于银行存款。市场有风险，投资需谨慎。投资虚拟货币有极大的风险，本网站提供的任何信息都不构成投资建议、财务咨询、交易咨询，或任何其他建议的依据，领域OK并不推荐您购买、售出或持有任何虚拟货币。在做出任何投资决定前，请先充分衡量风险。如有损失，请自行承担后果。