在这篇文章中，我将论证Cairo可以影响即将到来的可证明计算的浪潮，就像Solidity支持可组合计算一样。Cairo是StarkNet的原生编程语言，StarkNet是一种用于扩展以太坊的L2网络。
当我们把智能合约仅仅看作是金融的延伸(DeFi)或网络的泛化(web3)时，这是令人遗憾的。智能合约网络实际上是可组合计算的平台。
以太坊嵌入了一些允许其计算机程序互操作的标准：
透明字节码（没有隐藏的Web API）
标准化API结构（称为ABI）
保证正常运行时间（每个应用都托管在多台机器上，每个应用程序拒绝服务是不经济的）
内置支付基础设施（不依赖于Stripe等第三方）
完整的部署和交易沿袭
不同应用程序层（治理、所有权等）之间无摩擦的合约
ETH昨日平均算力跌至489.13 TH/s 创近2月新低:据OKlink数据，截止6月22日，ETH平均算力跌至489.13 TH/s，近2个月来首次跌下500 TH/s。[2021/6/23 23:59:54]
这些限制可能会降低开发人员的生产力，但也会以前所未有的规模激励有状态应用程序的组合和重用。
Solidity被创建为一种与上述标准兼容的简单语言。它提供了:
基本状态机功能(状态、访问、更新等)
无法访问不可组合的原语(例如，外部数据馈送)
合约对合约交互的接口（组合方式）
用于交易费用的内置gas计量
对底层虚拟机（程序集）的高性能访问
虽然现有的编程语言可以适应可组合计算，但它们需要扩展（为组合添加接口）和限制（消除所有形式的非确定性和外部访问）的组合，这很难合并。此外，在优化上其是与优化 Solidity 代码（gas 成本）完全不同的性能指标（执行足迹），这些语言的编译器就是这么被定义的。
PayPal CEO：看好比特币作为货币的实用性，BTC将与CBDC一起发挥作用:PayPal首席执行官Dan Schulman 22日在接受CNBC Squak Box采访时表示，比特币作为一种货币的实用性最终将压倒买入并持有的理念。他称，“我认为加密货币的使用案例会越来越多，这将使比特币得到更广泛的接受，更加稳定，并且可能随着时间的推移更有价值。”此外他还表示，央行数字货币是全球的必然。当这种情况发生时，加密货币的效用会越来越大，两者都可能在未来发挥重要作用。据此前报道，从明年年初开始，PayPal将允许用户在2800万家企业中使用加密货币作为融资工具进行交易。[2020/11/23 21:50:15]
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
科技的发展,消解了年味,也开始改变过年的方式。 节日是个纯意识的范畴,自带主观色彩,这种纯文化形态天然适合元宇宙相对虚无的环境。
游戏行业发生一件怪事：一群开发商突然排队表态与NFT做切割。 先是一家工作室公开谴责《百战天虫》开发商Team17的NFT计划,并终止合作关系,此举收获网友10万点赞。 随后两家游戏公司承诺永不涉足NFT的声明也收到大量点赞,其中包括《胡闹厨房》开发商。 压力之下,被谴责的Team17也终于宣布放弃NFT计划。
web2.0背后的生态失衡 当今天的我们拿起手机或者打开电脑浏览器,大部分的上网活动是在做围绕内容的浏览和互动,多数时候作为内容的消费者,偶尔也会是内容的生产者——随着智能手机的普及,制作一段内容从未如此容易。
参与2021年初NFT购买狂潮的社区相信,用于制造NFT的区块链技术给他们带来了巨大的好处。区块链是一个防篡改的账本,可以认证和定义原创数字作品,随着NFT作品的永久交易,它可以为艺术家提供版税。但现在很明显,这个价值超过400亿美元的行业所使用的技术结构较差,无法实现其承诺。 NFTs背后的技术的主要问题之一是数字艺术作品的存储方式。
2022 年 1 月 29 日,「无聊猿」BAYC 地板价突破 100 ETH,创下历史新高。在突破这一历史性里程碑之后,Rug Radio 播客和这个广受加密社区和许多名人明星欢迎的 NFT 项目创始人们聊了聊,下面就大家一起来了解下他们是如何实现这些令人惊艳的成就吧。
本文由公号"老雅痞"（laoyapicom）授权转载 用比特币发工资已经是许多人见惯不怪的了,但是如果用比特币购买,你认为这个行为在社会上应该怎么认定？ 随后我们再来想一下,如果一个人入狱后,其加密货币的追随者可以通过DAO帮助他尽早出狱吗？ 今天,老雅痞就给大家带来Ross Ulbricht现在的状态,没错。
链资讯