· 对付那些像 SHA-256 那样众所周知计较开支很大的操纵，我们正试着把那些函数换成对 STARK 友好的操纵。我们今朝受基金会的扶助来举办这些研究，并且在 2020 年第一季度，很多暗码学大牛会提交给我们他们的替代方案发起。预计对 STARK 友好的哈希函数在证明时仅比某些高效的哈希算法（譬喻 SHA-256）的直接计较慢 100 倍。通用计较开支（STARKs 越用越好用）
然而，有时基础无法利用快速撤款。对付非同质化资产（可能是一些非主流同质化资产）就没法利用（可能应用的本钱很高）：
· 可拓展性更强（链上）
在上一篇阐明（编者注：中译本见文末）中，我们较量了 VP 和 OR ，前者只会在某状态转换被严格证明有效的环境下执行该状态转换，尔后者则答允任意的状态转换（因此是 Optimistic ，乐观的），参加方可以针对无效的状态转换提交织误性证明。我们的上一篇文章聚焦安详性阐明，明晰指出了一种能在 OR 中实施、且会导致 OR 中所有资金被盗的进攻手段（其它可行的进攻手段也在后续不绝接头）。上的基本架构办理方案必需足够结实，要能支撑来自金融世界、天天万亿级此外资金交互负载。VP 和 OR 别离奈何胜任？由于在 OR 中窃取资金的本钱和收益巨细无关，所以一旦系统承载了足够多的成本，使得粉碎系统变得有利可图，那理性的参加者必定会想方设法通过进攻牟利。与 OR 相反，VP 不会转换到任何无效的状态，使得无论承载几多资金都不会被盗。对付大局限的金融系统，VP 更结实，而 OR 更懦弱。
· 在计较方面，至少能到达沟通的效率
· 非同质 Token（NFT）：正如早先由 Vitalik 先容那样，假如一只名叫 Mitzi 的宝贵 CryptoKitty 存在了链下，他的所有者没法要求在链上再收到一只 Mitzi ，因为世界上有且只有这一只叫 Mitzi 的 CryptoKitty。
STARK：由于验证进程的计较开支微不敷道，它只需要一个实体 —— 证明者 —— 举办大量的计较。验证的计较开支有多微不敷道呢？此刻我们甚至可以用一台简朴的智妙手机对一大批计较功效做验证，因此可以忽略验证的计较耗损。人们常说证明者的计较开支是原有任务的 10000 倍，因为证明需要耗损大量的计较来生成。但实际上 StR 需要的计较开支仅仅是 100 倍，因此特另外计较开支和 OR 大抵相当。之所以说 StR 的计较开支仅有 100 倍，是基于以下来由：
总的来说，OR 明明要耗损更多的链上资源，也因此比 StR 更快地顶到拓展性天花板。
在这种快速撤款机制无法应用的场景下，用户只能选择期待尺度撤款窗口竣事，VP 则要比 OR 快 1000 倍。
OR：由于 100 个验证者相互监视根基上可以或许担保整个计较的正确性，因此当提到 OR ，验证者的数量都数以百计。到了验证阶段，每一个验证人都需要举办一遍计较任务，因此在 OR 中做通用计较的开支是原任务的 100 倍。
可拓展性（链上）
资金效率
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
