StarkNet上线由Cairo通用计算支持的递归证明

[StarkNet上线由Cairo通用计算支持的递归证明]8月11日消息，零知识证明技术开发公司 StarkWare 宣布由 Cairo 的通用计算提供支持的递归证明 Recursive Proving 现已在主网上线，可以通过单一证明来扩展 StarkEx 应用和 StarkNet。

递归证明的优点包括可通过将多个证明压缩至 1 个来实现降低链上成本、减少延迟，并开启了向 StarkNet 提交证明的可能性，因为 statement 可以被纳入 StarkNet 智能合约，这允许在公共 StarkNet 之上构建 L3 部署。

其它快讯：

Cobo安全团队详解Stargate漏洞：可能导致伪造的交易receipt通过MPT验证:3月29日消息，Cobo安全团队撰文对Stargate跨链桥底层协议LayerZero的安全漏洞进行分析，称原始漏洞代码在进行MPT 验证时，没有限制pointer 在proofBytes 长度内，这个漏洞有可能让攻击者伪造hashRoot，导致伪造的交易receipt 可以通过MPT 验证。最终可造成的后果是，在预言机完全可信的前提下，Relayer 仍可以单方面通过伪造receipt 数据的方式来实现对跨链协议的攻击。

值得注意的是，此次爆出漏洞的代码是LayerZero协议中最核心的MPT交易验证部分的代码，是整个LayerZero及上层协议（例如Stargate）正常运作的基石。Cobo安全团队还表示，LayerZero项目的关键合约目前大都还被EOA控制，没有采用多签机制或者时间锁机制。如果这些特权EOA的私钥一旦泄漏，也可能会导致所有上层协议的资产受到影响。[2022/3/29 14:24:49]

Gate.io已于5月12日22:00开启SKRT认购Startup项目:据官方公告，Gate.io已于5月12日22:00 至5月13日19:00开启Startup项目Sekuritance(SKRT)认购通道，22小时内有效下单同等对待。用户需要达到VIP1和以上级别才能参与认购，VIP等级越高的用户认购额度越高。用户下单后到结束认购后2小时内，请务必保证现货交易账户中有不低于认购金额的足够金额，金额不足将自动排除在有效订单之外。[2021/5/13 21:56:58]

Bitstamp新用户注册数超过100000个:在2017年，加密货币交易所的用户数量大幅增长，据Bitstamp数据，目前每天新增用户数在10万左右。这一方面是件值得欣喜的事，另一方面也对交易所的基础设施与服务水平提出了更高的要求。[2017/12/17]

郑重声明： StarkNet上线由Cairo通用计算支持的递归证明版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。