概要：
STARKs证明了链上计算的完整性，使扩展成为可能
StarkEx是一个用于特定应用的扩容引擎
StarkNet是一个无需许可的Layer2网络
STARKs
在STARK方案中，只需要生成一份证明，计算结果就可以在简单几步内得到验证。?
有了STARKs，较大的计算可以在链下进行，减少了区块链上验证所需的计算量。只需几步链上操作，验证者就可以验证大规模的链下计算。
STARKs解决方案可以用单一STARK证明进行组合、计算以及验证成千上万的区块链交易，处理成本将分摊到一批交易的所有交易中，保证了Ethereum的安全性，降低了Gas费用。
Beosin：Skyward Finance项目遭受攻击事件简析:金色财经报道，根据区块链安全审计公司Beosin旗下Beosin EagleEye 安全风险监控、预警与阻断平台监测显示，Near链上的Skyward Finance项目遭受漏洞攻击，Beosin分析发现由于skyward.near合约的redeem_skyward函数没有正确校验token_account_ids参数，导致攻击者5ebc5ecca14a44175464d0e6a7d3b2a6890229cd5f19cfb29ce8b1651fd58d39传入相同的token_account_id，并多次领取了WNear奖励。本次攻击导致项目损失了约108万个Near，约320万美元。Beosin Trace追踪发现被盗金额已被攻击者转走。[2022/11/3 12:12:36]
低计算成本的好处在于，它将方便新类型的应用在链上完成搭建，改善了用户体验，降低了Gas成本，并确保了Ethereum的安全性。
Beosin：EthTeamFinance项目遭受到了漏洞攻击事件简析:据Beosin EagleEye 安全预警与监控平台检测显示，ETH链上的EthTeamFinance项目遭受漏洞攻击，攻击合约0xCFF07C4e6aa9E2fEc04DAaF5f41d1b10f3adAdF4通过LockToken合约的migrate函数没有正确验证_id和params的漏洞，将WTH，CAW，USDC，TSUKA代币从V2流动性池非法升级到V3流动性池，并且通过sqrtPriceX96打乱V3流动池的Initialize的价格，从而获取大量refund套利。共计套利了约1300多万美元。[2022/10/27 11:49:12]
StarkEx
慢雾：DEUS Finance 二次被黑简析:据慢雾区情报，DEUS Finance DAO在4月28日遭受闪电贷攻击，慢雾安全团队以简讯的形式将攻击原理分享如下:
1.攻击者在攻击之前先往DeiLenderSolidex抵押了SolidexsAMM-USDC/DEI的LP。
2.在几个小时后攻击者先从多个池子闪电贷借出143200000USDC。
3.随后攻击者使用借来的USDC在BaseV1Pair进行了swap操作，兑换出了9547716.9个的DEI，由于DeiLenderSolidex中的getOnChainPrice函数是直接获取DEI-USDC交易对的代币余额进行LP价格计算。因此在此次Swap操作中将拉高getOnChainPrice函数获取的LP价格。
4.在进行Swap操作后，攻击者在DeiLenderSolidex合约中通过borrow函数进行借贷，由于borrow函数中用isSolvent进行借贷检查，而在isSolvent是使用了getOnChainPrice函数参与检查。但在步骤3中getOnChainPrice的结果已经被拉高了。导致攻击者超额借出更多的DEI。
5.最后着攻击者在把用借贷出来DEI兑换成USDC归还从几个池子借出来的USDC，获利离场。
针对该事件，慢雾安全团队给出以下防范建议：本次攻击的原因主要在于使用了不安全的预言机来计算LP价格，慢雾安全团队建议可以参考Alpha Finance关于获取公平LP价格的方法。[2022/4/28 2:37:18]
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也为区块链的应用创造了更多可能。
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。