原文标题：《分不清楚？STARKs、StarkEx、StarkNet分别都是什么？》
作者：StarkNetIntern
编译：Kxp，律动BlockBeats
本文梳理自StarkNetIntern在社交媒体平台上的观点，律动BlockBeats对其整理翻译如下：
概要：
STARKs证明了链上计算的完整性，使扩展成为可能
StarkEx是一个用于特定应用的扩容引擎
StarkNet是一个无需许可的Layer2网络
STARKs
安全团队：获利约900万美元，Moola协议遭受黑客攻击事件简析:10月19日消息，据Beosin EagleEye Web3安全预警与监控平台监测显示，Celo上的Moola协议遭受攻击，黑客获利约900万美元。Beosin安全团队第一时间对事件进行了分析，结果如下：
第一步：攻击者进行了多笔交易，用CELO买入MOO,攻击者起始资金（182000枚CELO）.
第二步：攻击者使用MOO作为抵押品借出CELO。根据抵押借贷的常见逻辑，攻击者抵押了价值a的MOO，可借出价值b的CELO。
第三步：攻击者用贷出的CELO购买MOO，从而继续提高MOO的价格。每次交换之后，Moo对应CELO的价格变高。
第四步：由于抵押借贷合约在借出时会使用交易对中的实时价格进行判断，导致用户之前的借贷数量，并未达到价值b，所以用户可以继续借出CELO。通过不断重复这个过程，攻击者把MOO的价格从0.02 CELO提高到0.73 CELO。
第五步：攻击者进行了累计4次抵押MOO，10次swap（CELO换MOO），28次借贷，达到获利过程。
本次遭受攻击的抵押借贷实现合约并未开源，根据攻击特征可以猜测攻击属于价格操纵攻击。截止发文时，通过Beosin Trace追踪发现攻击者将约93.1%的所得资金 返还给了Moola Market项目方，将50万CELO 捐给了impact market。自己留下了总计65万个CELO作为赏金。[2022/10/19 17:32:31]
在STARK方案中，只需要生成一份证明，计算结果就可以在简单几步内得到验证。?
慢雾：跨链互操作协议Nomad桥攻击事件简析:金色财经消息，据慢雾区消息，跨链互操作协议Nomad桥遭受黑客攻击，导致资金被非预期的取出。慢雾安全团队分析如下：
1. 在Nomad的Replica合约中，用户可以通过send函数发起跨链交易，并在目标链上通过process函数进行执行。在进行process操作时会通过acceptableRoot检查用户提交的消息必须属于是可接受的根，其会在prove中被设置。因此用户必须提交有效的消息才可进行操作。
2. 项目方在进行Replica合约部署初始化时，先将可信根设置为0，随后又通过update函数对可信根设置为正常非0数据。Replica合约中会通过confirmAt映射保存可信根开始生效的时间以便在acceptableRoot中检查消息根是否有效。但在update新根时却并未将旧的根的confirmAt设置为0，这将导致虽然合约中可信根改变了但旧的根仍然在生效状态。
3. 因此攻击者可以直接构造任意消息，由于未经过prove因此此消息映射返回的根是0，而项目方由于在初始化时将0设置为可信根且其并未随着可信根的修改而失效，导致了攻击者任意构造的消息可以正常执行，从而窃取Nomad桥的资产。
综上，本次攻击是由于Nomad桥Replica合约在初始化时可信根被设置为0x0，且在进行可信根修改时并未将旧根失效，导致了攻击可以构造任意消息对桥进行资金窃取。[2022/8/2 2:52:59]
有了STARKs，较大的计算可以在链下进行，减少了区块链上验证所需的计算量。只需几步链上操作，验证者就可以验证大规模的链下计算。
Force DAO 代币增发漏洞简析:据慢雾区消息，DeFi 量化对冲基金 Force DAO 项目的 FORCE 代币被大量增发。经慢雾安全团队分析发现： 在用户进行 deposit 操纵时，Force DAO 会为用户铸造 xFORCE 代币，并通过 FORCE 代币合约的 transferFrom 函数将 FORCE 代币转入 ForceProfitSharing 合约中。但 FORCE 代币合约的 transferFrom 函数使用了 if-else 逻辑来检查用户的授权额度，当用户的授权额度不足时 transferFrom 函数返回 false，而 ForceProfitSharing 合约并未对其返回值进行检查。导致了 deposit 的逻辑正常执行，xFORCE 代币被顺利铸造给用户，但由于 transferFrom 函数执行失败 FORCE 代币并未被真正充值进 ForceProfitSharing 合约中。最终造成 FORCE 代币被非预期的大量铸造的问题。 此漏洞发生的主要原因在于 FORCE 代币的 transferFrom 函数使用了`假充值`写法，但外部合约在对其进行调用时并未严格的判断其返回值，最终导致这一惨剧的发生。慢雾安全团队建议在对接此类写法的代币时使用 require 对其返回值进行检查，以避免此问题的发生。[2021/4/4 19:45:30]
STARKs解决方案可以用单一STARK证明进行组合、计算以及验证成千上万的区块链交易，处理成本将分摊到一批交易的所有交易中，保证了Ethereum的安全性，降低了Gas费用。
低计算成本的好处在于，它将方便新类型的应用在链上完成搭建，改善了用户体验，降低了Gas成本，并确保了Ethereum的安全性。
StarkEx
StarkWare为Ethereum扩容提供了两种解决方案：StarkEx和StarkNet。
StarkEx可以提供许可的、针对特定应用的扩容解决方案。有了StarkEx，链下计算的成本将大幅下降。STARK证明是在链外生成的，以验证执行情况，可以覆盖12000-500000个交易。同时，STARK验证器可以在链上验证该证明。
所有交易只用被验证一次，且每笔交易分摊下来的Gas成本低得惊人。
你可以在StarkEx上找到像dYdX、Immutable和Sorare、DeversiFi和Celer等应用。
为了满足市场和客户的需求，StarkEx正在进行扩容。
StarkNet
StarkNet是一个无需许可的Layer2网络，任何人都可以在这里部署智能合约。
StarkNet的生态系统类似于Ethereum，任何合约都可以与StarkNet上的任何其他合约互动，协议也可以进行自由组合。同时，非同步消息传递功能允许StarkNet与Ethereum合约进行通信。
StarkNet的排序器可以批量处理交易，而不像StarkEx那样由应用程序提交交易。目前，StarkNet的排序器由StarkWare运营，下一步将计划完成去中心化。
一旦应用程序部署了Cairo合约，就不再需要额外的运营商基础设施。StarkNet将支持Rollup数据的可用性，意味着Rollup状态与STARK证明将一起被写入Ethereum。
StarkNet的开发者构建了应用程序、工具和基础设施，而DeFi、游戏、投票、AI等功能已经可以在Testnet上运行了。另外，StarkNet还建立了开发者工具，如区块探索器、本地测试环境和几种语言的SDK。
在Shamans平台上，你可以自由提出改进意见、新功能以及最优方法。
总结
StarkEx和StarkNet都是基于STARK的扩容解决方案，每一个都兼备了可扩展性、低成本和安全性，只是操作参数有所不同。对于StarkEx来说，一个独立且兼容StarkEx的API的应用程序可能是最合适的选择。
对于那些与其他协议同步互动或需要比StarkEx提供更多功能的协议来说，使用StarkNet可能才是更优的选择。
STARKs彻底改变了Ethereum上的应用程序，与此同时，StarkEx和StarkNet也为区块链的应用创造了更多可能。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。