在这篇文章中,我将论证Cairo可以影响即将到来的可证明计算的浪潮,就像Solidity支持可组合计算一样。Cairo是StarkNet的原生编程语言,StarkNet是一种用于扩展以太坊的L2网络。
当我们把智能合约仅仅看作是金融的延伸(DeFi)或网络的泛化(web3)时,这是令人遗憾的。智能合约网络实际上是可组合计算的平台。
以太坊嵌入了一些允许其计算机程序互操作的标准:
透明字节码(没有隐藏的Web API)
标准化API结构(称为ABI)
保证正常运行时间(每个应用都托管在多台机器上,每个应用程序拒绝服务是不经济的)
Cairo公布路线图:新合约语法将与Starknet alpha v0.12.0共同推出:6月29日消息,编程语言Cairo公布其路线图,为了社区便利性,创建公共板以描述即将推出的一些新功能;很快将推出新的合约语法,与Starknet alpha v0.12.0一起发布,需要进行一些代码更改,很大程度上丰富了智能合约语言;通过Cairo1.1.0在Starknet主网上的推出以及即将到来的v2版本,已经达到了语言成熟度的一个重要里程碑。文档、书籍和Starknet Discord等资源足够帮助用户开始并从Cairo 0迁移。
随着新合约语法的发布,Cairo现在足够稳定和丰富,足以支持复杂的应用程序,并移植现有的Cairo 0逻辑。此外,Starknet的向后兼容性保证确保即使语言发生重大变化,用户也将有足够的时间(至少六个月)来完成合约的开发或审核和部署。[2023/6/30 22:09:25]
内置支付基础设施(不依赖于Stripe等第三方)
Stark Rocks将在用Cairo1.0重写合约后向用户空投Rock NFT:1月10日消息,StarkNet生态NFT项目Stark Rocks团队将在Cairo1.0中重写Stark Rock合约,为Rock持有者钱包快照并向这些钱包空投新Rock NFT。
据悉,Stark Ware推出第一个公开版本的Cairo1.0,而StarkNet主网上的NFT合约需在状态重置后用Cairo1.0重写,用户无需进行任何操作,状态重置后,旧NFT将失效,无法出售、购买、转让。[2023/1/10 11:03:58]
完整的部署和交易沿袭
不同应用程序层(治理、所有权等)之间无摩擦的合约
欧洲央行选择五个合作伙伴来开发数字欧元原型,包括CaixaBank和亚马逊:金色财经报道,欧洲中央银行选择了五个合作伙伴,包括CaixaBank和亚马逊来帮助其开发数字欧元原型。欧洲央行在 4 月份呼吁合作伙伴后收到了 54 份意向书,现在已经与Worldline、Nexi 和 EPI 一起选择了这家西班牙银行和美国科技巨头。
CaixaBank 将专注于使用数字欧元制作 P2P 在线支付的原型。在接下来的几个月里,它将开发一个移动应用程序,模拟个人将数字欧元转移到他们的账户和/或将数字欧元转移给其他人所需的步骤。Worldline负责开发P2P离线支付用例,而Nexi将致力于店内支付。[2022/9/16 7:02:13]
这些限制可能会降低开发人员的生产力,但也会以前所未有的规模激励有状态应用程序的组合和重用。
Caitex交易所上线FileCoin-HKDT合约:币核科技Bluehelix战略合作的数字合约交易平台Caitex上线FileCoin-HKDT合约。用户可以用HKDT参与到IPFS代币FileCoin的合约交易中来,FIL合约指数经过加权计算,以保证交易的公平性。HKDT高级副总裁William表示港元稳定币HKDT将为更多金融衍生品提供保证金支持。
Caitex成立于2019年,成立伊始便获得Bluehelix生态基金会数百万早期投资。
币核科技Bluehelix是领先的区块链金融信息技术服务商,致力于为客户提供专业的技术支持和服务,现阶段已经为全球超过260家机构提供区块链金融技术。[2020/7/13]
Solidity被创建为一种与上述标准兼容的简单语言。它提供了:
基本状态机功能(状态、访问、更新等)
无法访问不可组合的原语(例如,外部数据馈送)
合约对合约交互的接口(组合方式)
用于交易费用的内置gas计量
对底层虚拟机(程序集)的高性能访问
虽然现有的编程语言可以适应可组合计算,但它们需要扩展(为组合添加接口)和限制(消除所有形式的非确定性和外部访问)的组合,这很难合并。此外,在优化上其是与优化 Solidity 代码(gas 成本)完全不同的性能指标(执行足迹),这些语言的编译器就是这么被定义的。
StarkNet的可扩展性工具ZK-Rollups启用了一种被称为可证明计算的新范式。在这个范例中,我们保留了可组合计算的所有优点,但也允许程序证明它们已被执行,而无需重新运行。
这个简单想法允许我们从一个需要重新运行交易的网络(以太坊)转移到一个更好的网络(StarkNet),在这个网络中,通过验证交易已以特定结果执行的证明来验证交易,这是一个更经济的操作。
因为这个范式是如此不同,它也需要一个不同的计算模型,有效地将程序转换成数值理论方程,而不是在机器上执行它们。
我们可以用什么编程语言来实现呢?
考虑Solidity是很自然的。首先,它已经支持组合(调用其他智能合约),并被广泛采用。第二,在Solidity上部署了一系列应用程序,可以很容易地迁移到其他Layer 2解决方案(包括支持可证明计算的zkSync)。第三,Solidity有一个维护良好的多层编译器,可以适应不同的用例。
但是Solidity并不是可证明计算的固有特性。任何接受惯用的Solidity代码并将其转换为证明的编译器都会遇到以下问题:
依赖于低效的数据结构,如`uint256
语言层面的可变性
缺乏高效的内置插件
没有底层访问
技术细节:在实践中,有两种不同的技术来证明通用程序(SNARK和STARK)。SNARK青睐的指令集更适合作为Solidity等语言的编译目标。STARK提供了更多的可伸展性,同时具有不太自然的指令集。当我们说“Solidity 不是可证明计算的有效语言时,我们实际上是指两件事:1) Solidity 可以有效地编码为 SNARK,但它们不像 STARK 那样可扩展 2)Solidity不是编译到STARK的最佳语言,因为在 Solidity 中常见的构造对于 STARK 来说是“昂贵的”。
Cairo有上述所有解决方案:
一个称为felt的底层字段整数数据类型是可用的(与uint256类型一起)
Cairo语言习惯上只编写一次(类似于函数式编程语言)
正在为常见计算开发越来越多的内置非确定性提示
Cairo提供了对底层原语的完全底层访问
Cairo编程更具挑战性,生态系统工具仍在不断成熟。但扩展以太坊的全部意义在于超越现有的限制,构建更好的可组合应用。如果是这样,为什么止步于Solidity?
Source:https://medium.com/yagi-fi/provable-vs-composable-computation-or-why-cairo-will-supersede-solidity-6b00e69bfc9e
对于信仰者来说,开放、公共的区块链给建设数字经济提供了第二个机会。在这样的区块链上,建设的应用都能够互相协作,存储的信息人皆可见。这样的设想可追溯到互联网早期建筑师的理想主义,早在所有用户接受科技巨头的封闭花园之前.
1900/1/1 0:00:00这三年的退让、妥协和求生,满是扎克伯格的辛酸泪。过去很多年,Facebook似乎都是一家“迷信”改名可以改写命运的公司。可惜,这件事扎克伯格并不擅长,一改名字,运气就一路滑坡.
1900/1/1 0:00:00市场自12月至今仍然维持疲软走势,雪崩协议(Avalanche)token价格距离历史高点大约还有40%的上涨空间。然而,尽管币价有所下跌,但Avalanche的链上数据与生态系统的发展并没有因此停滞.
1900/1/1 0:00:002021 年 11 月,去中心化域名项目 ENS(EthereumName Service)发行其项目 Token 并向社区空投,空投覆盖近 13.8 万地址,早期贡献者最多可收获近 4.6 个 ENS Toke.
1900/1/1 0:00:00Cosmos生态目前是跨链生态里进度最前沿的网络,基于跨链网络的融合性,Cosmos未来产品的多样性是值得期待的。因此,本文里,我们将把Cosmos网络运行中重点部分的资料整理。可以基于这些资料来了解Cosmos的可能性.
1900/1/1 0:00:001.腾讯新闻上线航天主题数字藏品馆1月26日,为致敬中国航天事业及中国航天人,腾讯新闻、科技日报联合中国航天神舟传媒发起了“2022,太空寻宝”活动。结合当下元宇宙概念的兴起,腾讯新闻上线了数字藏品馆并于首次推出航天主题数字藏品内容.
1900/1/1 0:00:00