1月5日,StarkWare宣布正式推出编程语言Cairo1.0公开版本,正式取代为期两年的测试、预览版本,也标志着使用该语言在StarkNet上编写智能合约已经成为可能,同时也会兼顾高效的执行效率,成为ZK系Layer2Rollup技术派的里程碑事件。此次更新的功能可归纳为三点,分别是智能、效率和安全。更为智能:实现Sierra设计,确保Cairo代码可证明,StarkNet智能合约将在下一个版本中实现。更加高效:跟进Rust语言的强类型、所有权机制和借用等设计思路,兼顾执行效率和编写规范性;更为安全:保持图灵完备性,STARK机制的安全性由数学证明来保证;Cairo1.0公开版的工作流程将与以往有所不同,最主要的开发方向将是在智能合约编写能力和开发者友好方面进行持续改进。两全:走向ZK-EVM
在本轮的Layer2缠斗中,ZK系中的STARK和SNARK成为两大主流路线,但EVM兼容性和执行效率也成为各方关注的焦点,更好的兼容性将会获得以太坊主网的安全性加持,而较高的执行效率则会加快L2自身的执行速度。但这其中存在一个悖论:EVM兼容性和执行效率往往无法兼得,越好的L1兼容性则会降低L2执行效率,反之则存在安全性问题。因此StarkWare希望能使用Cairo语言作为两者之间的黏合剂,通过其编写的智能合约不仅可在StarkNet上全速运行,也可和以太坊主网保持较高的兼容性,这也是ZK-EVM的真正含义。在本次更新中,Cairo将会支持完整的Cairo-VM,其中的关键就在于中间表示层Sierra。简单而言,Sierra将作为Cairo语言编写的代码和其底层字节码之间“翻译层”,并且这种翻译将在确保安全性的基础上进行提速,而无需设置交易的执行状态,直接可根据当前状态开展证明。这是Cairo自身的语法改进,除此之外,StarkWare的智能合约也将逐步过渡到完全的Cairo语言上去,以完成自身的语言标准的统一。
Cobo区块链安全团队公开0xDAO潜在盗币漏洞发现过程及技术细节解析:4月2日消息,0xDAO v2原计划上线前的几个小时,Cobo区块链安全团队启动对该项目的DaaS投前例行安全评估工作,随后在github开源的项目代码中发现了一个严重的安全漏洞。经评估,如果 0xDAO v2此时继续上线,该漏洞预计会造成数亿美金的资产损失。Cobo区块链安全团队立即启动应急预案,快速通过多个渠道联系到0xDAO项目方,提交该漏洞的完整攻击流程,紧急叫停了项目上线,随后协助0xDAO项目方对该漏洞进行了修复。
日前,0xDAO官方发布推文向Cobo区块链安全团队表示了感谢,并且表示会按照严重漏洞级别给予Cobo区块链安全团队漏洞赏金奖励。[2022/4/2 14:00:31]
由于保持了相当程度的以太坊主网兼容性,Cairo和Solidity编写的智能合约之间的转换也将更为简易,以太坊客户端Nethermind的转译器Warp已经支持将UniswapV3重写为Cairo代码。实际上,在2022年10月末,StarkNet便宣称使用Cairo开发出ZK-EVM,而在接下来随着StarkNet的真正投入生产环境,这种兼容性的实际效果便可一验真伪。新芽:基于Rust的平衡特性
BitDNS入选火种源计划,将为BitCherry生态应用提供域名解析服务:据官方消息,2021年4月14日,BitDNS成为首批加入BitCherry分布式商业生态的合作伙伴。BitDNS将为BitCherry链上应用提供分布式域名解析服务,实现一键去中心化,帮助企业和个人用户更加便捷、安全的参与数字资产交易,管理链上价值数据信息。BitCherry将携手BitDNS打造去中心化的网络生态系统,建立安全便捷的链上分布式商业生态体系。[2021/4/14 20:18:34]
事实上,Cairo本身可以视为Rust语言写就的语言,其继承了较多的Rust特性。Rust本身不同于Python/Go等所谓的现代语言,其运行效率高度接近于较为底层的开发语言,但同时又兼顾了可读性,比如特殊的内存管理机制——所有权和借用等特殊设计。准确而言,Cairo/Rust的所有权是指管理内存的显性要求,由于区块链特殊的节点运行机制,其是典型的内存敏感性开发环境,以C/C++、Java为例,目前主流有三种内存资源利用机制:C/C++:手动管理内存,得益于现代设备的进步,大多数开发者并未养成及时释放内存的习惯,会造成严重的资源浪费;Java:自动回收资源机制,JVM是Java运行时的虚拟机,其具备自动管理内存的功能,但一般为保证运行效率,JVM会保持一段的内存资源,也会造成供需不匹配的问题;Cairo/Rust:所有权机制管理内存资源,Rust中的任何变量必须指定所有者,并且一次仅能有一个,当变量执行后即被释放,不能继续存在内存中。这样的所有权机制设计可以保证宝贵的内存资源仅在执行时调用,即可以兼顾C/C++的运行效率,但又避免了内存泄漏等问题,内存资源无需时刻准备着,对于减轻智能合约的整体大小具有重要意义。其次是强类型的思路,Cairo/Rust涉及众多智能合约的编写和运行,而其上承载的都是高价值的Token、NFT以及个人数据,需要特殊对待,并且每次改变都需要慎重对待。强类型语言和弱类型语言是相对于变量的定义而言的,简单而言,强类型要求变量在使用前进行“数据类型"方面的定义,如整数、浮点数、字符串等,未经明确的类型变换操作,不可随意更改其定义。弱类型语言并无此严格规定,变量的数据类型可灵活改变。在智能合约的编写中,资产类型和数量必须被显性对待,以确保其归属权清晰和交易、转换等流程明确,而Cairo/Rust的可读性强,其对开发者较为友好,便于避免更多的安全问题。
声音 | 鲁春丛:推动区块链的创新技术在标识解析中深度应用:据中国信通院官网,8月15日,在中国工业互联网标识大会上,工业和信息化部信息通信管理局副局长鲁春丛演讲表示,大力推进标识解析技术,标准研制,搭建规模性基础技术创新以实验的环境,联合产学研用各方面力量,促进新型标识体系的研制,推动区块链的创新技术在标识解析中深度应用。据介绍,标识解析体系是工业互联网的核心基础设施,是新一代互联网的“中枢神经”。[2019/8/18]
按照官方进度,Cairo1.0的编译器将在今年一季度面世,届时,将和StarkNet进行更深度的融合,而借助Rust的语言特性,有望从底层提高执行速度,从而将其TPS抬升到日常可用的水平。重生:开发者友好
Cairo1.0肩负着打通L2和以太坊主网的重任,根据其官方的Regenesis计划,StarkNet将在2023年一季度完全过渡到Cairo之上,结束目前的割裂状态,从而进入生态竞争的新发展阶段。
分析 | USDT听证会解析:瑞海君看币观点:一、预计听证会围绕的主题有如下两个:
1.Bitfinex和Tether不顾美国法律和监管,为纽约州居民提供了相关服务。
2.Bitfinex和Tether之前在美国的业务,触犯了美国的反法(这个才是对USDT具有巨大杀伤力的议题)。
二、?今晚可能达成的几种结果:
1.BFX和Tether违规为美国居民提供服务罪名成立,会导致两家共识会继续被调查,且会被美国要求提供更多的运营资料,的事情没结果,但是也要提交更多资料自正清白,这是利空!会导致USDT这个雷持续悬在整个币圈的头上,然后美国来一条新闻,币圈震动一次,简直就是噩梦。(概率中性)
行情影响:短暂反弹,然后继续震荡阴跌。
2.两项罪名都没结果,短暂利好,BFX继续和美国扯皮,大家松一口气暂时?,价格可能出现反弹。(可能性较大)
行情影响:短暂反弹,后市宽幅震荡为主。
3.两项罪名都成立,不可想像(可能性较小)!
行情影响:区块链局。
罪名直接成立可能性也较小,调查没那么快,所以请大家系好安全带,等待靴子落地,两只靴子到底如何落地,落地几支,只有静候今晚的听证会了。[2019/7/29]
而缺乏真正杀手级的应用,再叠加上dYdX等头部项目的出走,StarkWare的晋级之路仍然布满荆棘。在目前的公链/L2/dApp开发格局中,Solidity占据了近98%的垄断地位,而Cairo仅占据不到1%的市场空间,基本上目前只有StarkWare能够支撑起运行。自从StarkNet和StarkEx设立以来,由Cairo驱动的dApp已经处理了超过3亿笔交易,铸造了超过6500万个NFT,并处理了价值7000亿美元的交易,并且这些交易都利用以太坊上作为最终结算层。在Cairo1.0真正应用至StarkNet之前,开发者的体验是争夺其进入StarkWare生态的第一步,除Nethermind的Warp支持之外,ConsenSys也和StarkWare达成合作,将为Cairo提供智能合约提供安全审计服务。根据官方说明,目前Cairo0的各项功能开发进度如下,我们也可从中参照Cairo1.0的发展方向,并且说明StarkWare将会遵循将全部StarkNet开源的计划,Cairo将是其开迈出的第一步。相关阅读:盘点StarkWare生态:StarkEx共7个应用,StarkNet105个生态项目
可以从中发现,Cairo的功能开发进度较快,并且预计实现的功能也较多,而StarkNet也将在Cairo实现后补齐目前的功能缺口,而最终实现StarkNet系统级调用的全功能模块。目前可以适当参考下StarkEx的数据,不同于StarkNet的通用化路线,StarkEx面向主要几个大型项目,包括ImmutableX、Sorare、Rgino.Fi和dYdX,使用过服务的用户数达2千万人次,日均月活在数万量级。
借助和成熟的DeFi和链游进行合作,StarkEx的市场化之路整体较为顺利,但是StarkNet将作为通用Layer2参与各个L2竞争之中,Cairo将有望进一步带动StarkNet市场占有率的提升。结语
Cairo1.0并非简单作为语言更新,而是要承担更为丰富的角色,包括激活StarkNet的EVM兼容性和执行效率,通过借助Rust成熟的编程范式,如所有权、强类型等,减轻了开发难度。同时需要注意,Cairo1.0仍有些未完全实现的功能,其完全状态可能需要更长的开发周期,其代币发行时间也会随之进行调整。总之,Cairo在结束StarkNet目前的“非完全”版具有重要意义,结合Sierra、编译器等新工具,以及和主流开发工具的结合,显著减少开发者在其上编写智能合约的压力。
2022年无疑是加密货币历史上的多事之秋。在这一年里,随着价格的暴跌重新洗盘,这个行业发生了巨大的变化。在尝试盘点2022年的发生的大事时,有太多的东西需要涉及.
今天晚间,华尔街日报报道称,灰度首席执行官MichaelSonnenshein在一封致投资者的信中表示,若最终无法将灰度比特币信托转换为比特币ETF,将考虑对已发行的流通股进行要约收购.
加密货币诞生于重新发明货币并将其以分散的方式耦合到数字环境的想法。如果没有实体干预其价值,它的价值将完全由公正的供求规律赋予.
Odaily星球日报译者|念银思唐 摘要: -TimDraper通过旗下DraperVentureNetwork推出Web3联合解决方案“DraperRoundTable”.
2022年是负面事件频发的一年,同时也是加密监管倒逼行业合规划至关重要的一年,而加密财务透明合规可审计和加密税收也是重要的监管方向之一.
自从自然宇宙从混沌中变成一个有序的世界之后,经过无数次的变异、演化,终于出现了人类。有了人类,有了人类的思想,即物质和精神.