主要内容:
?Cairo1.0开源啦!这仅仅是StarkNet栈开源的第一步。
?我们为读者带来了对Cairo1.0编译器的初步介绍。大家可以开始尝试使用基本的Cairo1.0代码了。
?Cairo1.0的核心与Rust非常相似。
?考虑到这是首次测试,而不是正式版本,优化还在进行当中。第一版的编译器计划在明年一季度初推出。
?目前,StarkNet还不支持Cairo1.0,需要到明年第一季度,StarkNet才会支持Cairo1.0。
BlockFi财务报表:FTX的贷款使BlockFi高管减少8亿美元股权:1月12日消息,破产的加密货币借贷机构BlockFi今日公布了其财务报表。该文件详细说明了去年6月FTX的一笔贷款对BlockFi 13位高管的影响,BlockFi高管持有的股权减少了8亿美元,其中,其创始人兼首席执行官ZacPrince的股权价值减少了4.13亿美元,并通过加薪25万至40万美元作为补偿,而其他高管则获得了高达56万美元的加薪。该文件称,10月14日之后,BlockFi管理团队的任何成员都没有从该平台撤回任何加密货币,管理团队仅占全年77亿美元零售提款额的0.15%。但文件仍然显示高管的大量提款,包括ZacPrince在4月份从该平台中提取的超过900万美元,文件称这是为了支付美国联邦和州税,以及他在8月份提取的超过87万美元。大多数交易数据都是匿名的,法院将于下周考虑是否解封债权人信息。[2023/1/12 11:08:20]
介绍
CZ:仍持有FTX代币FTT:金色财经报道,币安CEO CZ在推特表示,币安仍持有一些加密货币交易所FTX的原生加密代币FTT。当被问到打算用它做什么时,CZ回复说没有什么,你会赢一些,也会失去一些。上周FTX申请破产,破产文件显示,其核心平台FTX持有的加密代币现有价值仅65.9万美元。[2022/11/19 7:48:01]
2020年,我们发布了Cairo,它是一种支持可验证计算的图灵完备编程语言。Cairo开始时是一种汇编语言,后来逐渐变得更具表达力。两个月前,我们宣布了Cairo1.0的诞生,它解决了当下一些主要问题:
?自诞生以来,虽然Cairo的语法结构已经有了很大的改进,但开发者的体验还是有改进的空间的。Cairo1.0是一个受Rust启发的完全类型语言,编写同样的逻辑会更加容易,并且出错的可能性更低。
?现有的编译器与StarkNet本身是在同一个repo中开发的,所以追踪语言变化的困难更大。Cairo1.0编译器是从头开始编写的,所以有更快的功能开发和更多的社区参与。
Web3短视频平台Cheelee完成800万美元融资,Veligera Capital参投:11月4日消息,Web3视频社交平台Cheelee完成800万美元股权融资,美国投资基金Veligera Capital、阿联酋Infinity Technology Fund、以及VC SILA等参投,该公司还获得了130万美元VC基金拨款支持。
据悉,Cheelee为新用户提供一个免费的“NFT眼镜”,该眼镜可以监测观看视频时间并根据时间长短转换成相应的积分,然后兑换代币奖励。此外,用户也能使用Cheelee的原生代币升级眼镜功能,比如内存、框架、镜片等,目前其服务正处于测试最后阶段,预计会在2022年四季度发布。(techbullion)[2022/11/4 12:16:51]
?现在每一次计算都是可以证明的。目前,一个Cairo程序可能在特定的输入指令下出现失败,使计算无法被证明。在Cairo1.0中,程序在每个可能的分支中都是可证明的。这对StarkNet中的DOS保护和抗审查尤为重要。
NFT评估公司Scratch宣布正式解散该公司原生代币以适应监管:10月22日消息,NFT研究和评估公司Scratch宣布正式解散该公司原生代币SCRATCH,以适应不断变化的监管环境。该公司曾推出过一个实时数据驱动的NFT估值工具,名为Scratch Engine。
关于未来计划,该公司预计通过出售股权筹集资金,同时也为项目早期采用者提供了拥有公司所有权的机会,SCRATCH代币持有者可以将代币转为新公司股权;用户也可以继续保留该代币,公司将在未来将那些未赎回的SCRATCH代币换成公司的数字资产。(prnewswire)[2022/10/22 16:35:31]
?今天,我们达到了上述目标方面的第一个里程碑,因为我们将开发工作转移到了公共repo,并将Cairo1.0开源!现在,开发人员可以编译和执行简单的Cairo1.0程序。由此,开发者可以开始尝试使用Cairo1.0,并逐渐适应新的功能,即使在这个阶段,他们还不能在StarkNet上实现。
中非共和国推出名为“Sango Coin”的国家加密货币:金色财经消息,中非共和国推出名为“Sango Coin”的国家加密货币。
“Sango Coin 将成为中非共和国的下一代货币,”中非共和国总统在讲话中说。
此前报道,中非共和国总统支持比特币。[2022/7/4 1:48:32]
目前的性能
目前,你可以编译和执行基本的原生Cairo程序。虽然许多语法/语言的优化仍在进行中,但你还是可以慢慢去习惯Cairo1.0,享受升级带来的好处。
请注意,目前仍然无法编写StarkNet合约。StarkNet语法会在未来几周内添加。
代码示例
为了说明旧的语法和Cairo1.0之间的差异,我们选择了几个不同的实现/类型模板来展示找到第n个斐波那契数。
例一:匹配表达式
在Cairo1.0中,你可以使用类似Rust的匹配表达式。你再也不用担心if/else语句会导致引用撤销了!
例二:数据类型
Cairo0使用的是felt和指针,而在Cairo1.0中,我们可以在语言中访问复杂的数据类型。下面你可以看到一个例子,它生成了一个前n个斐波那契数的数组。
如上所示,我们没有直接使用内存指针,而是使用`Array::<felt>`类型和`array_append`函数。
例三:结构体和所有权
下面的代码说明了Cairo1.0中结构体的用法。
下面这段话是为Rust开发者准备的。Cairo1.0管理内存的方式与Rust类似。而且,它使用了所有权和借用的概念。因此,通过访问`FibResult`结构体的一个成员,我们已经移动了`result`,这意味着除非FibResult是可复制的,否则我们不能在`result.index`中再次访问它。为了解决这个问题,我们在`FibResult`类型中添加了`#`属性。在未来的版本中,我们会为结构体添加自动解构功能。在不影响其他成员的情况下移动某个成员的所有权。
特别要注意的是,Cairo1.0完全抽象掉了Cairo原有的内存模型。
例四:错误传播
下面的代码是计算第n个斐波那契数,但与前面的例子不同,所有的输入指令都是uint128类型的。注意,这解决了Cairo0中处理uint的一个主要痛点。在这里,uint128是原生类型。
两个128个比特位的整数相加会导致溢出。上面的代码使用Option枚举和问号运算符来处理其中一个中间加法中的溢出情况。与目前的uint256加法语法相比,必须调用`unit256_check`函数来保证完整性。此外,在不久的将来,我们会在语言中加入`panic`的概念,像加法溢出这样的简单错误会是无法捕捉并自动传播的,也就是说,你在添加uint时不必使用`Option`或`?`。
赶紧试试吧
你现在可以编译和运行当前支持的Cairo1.0程序了。按照这些说明,学会使用`cairo-run`指令。注意,它的后台由Lambdaclass开发的RustCairoVM执行指令。
你可以在这里找到更多的例子帮助你入门。请注意,这只是对编译器开发的第一次测试;未来几周,我们会随着编译器改进CLI。
未来计划
第一版编译器的重点是支持Cairo1.0中StarkNet的所有功能,该版本计划在明年第一季度推出。此外,我们正在努力扩展Cairo1.0编译器的功能。未来几周,即将上线:
?StarkNet的性能——编写智能合约和使用系统调用。
?循环
?新的库函数
?优化的语言服务器
?StarkNetgas的概念
请务必保持关注并跟踪编译器的进展!
据MarsBit统计,11月26日至12月2日期间,加密市场共发生30笔投融资事件,其中DeFi领域5笔、链游和NFT领域7笔、Web3领域6笔。已披露投融资总金额超2.96亿美元.
1900/1/1 0:00:00UniswapLabs在11月30日发推宣布,其NFT交易聚合服务正式在Uniswap上线。此外还向Genie的历史用户空投约500万美元的USDC,并向前22,000名买家提供Gas回扣.
1900/1/1 0:00:00你是否在使用Bilibili时刷到过这样的视频——观众可以自行决定故事的走向,并体验不一样的结局.
1900/1/1 0:00:00MarsBitCryptoDaily2022年11月30日一、?今日要闻币安全资收购日本合规交易所SakuraExchangeBitCoin.
1900/1/1 0:00:00简介11月13日,ElonMusk为Twitter进行了1000多次RPC来呈现用户的主页时间线而道歉。乍一看,如此大量的RPC似乎很荒谬.
1900/1/1 0:00:00YugaLabs任命动视暴雪即将卸任的总裁兼首席运营官DanielAlegre担任其新任首席执行官。在Alegre卸任不到72小时内,宣布了其在YugaLabs的新职位.
1900/1/1 0:00:00