分类
外汇交易平台排名

投資加密貨幣其實超簡單?

一个典型的递归证明流程

一词定义以太坊目标:hyperregenization

ETH中文2022-08-12 19:16:53

作者 | Dr. Paul J. Dylan-Ennis

在熊市,区块链文化直面着自己的本质。最近的崩盘揭露了去中心化金融 (DeFi) 市场其实是一个的复杂金融工具的迷宫,具有传染属性。

DeFi 并没有为传统金融系统带来一个开放的、无需许可的替代方案,而是成为了它的加速主义镜像。是一种通过 Metamask 扩展的赌场资本。

人们天然地将责任归咎于不负责任地进行杠杆化的对冲基金和借贷平台。他们说,问题在于中心化金融,即 CeFi,它们角色扮演为 DeFi,而实际上 DeFi 本身没有问题。

然而,这种认为 "这次会不同",一旦 DeFi "获胜",金融行动者都会理智行事的想法,只是瘾君子的自欺欺人逻辑。

这篇文章摘选自 “The Node”,即 CoinDesk 的区块链和加密新闻重要事件的每日综述。你可以订阅获取完整的新闻通讯。

事实是这种中心化问题将再次发生,因为发生在以太坊 ( DeFi 发源地) 上的政治最终图景还不明朗。以太坊也有一个技术最终图景——一个开源、透明的世界计算机。

相较而言,比特币的政治最终图景可以被概括成一个词:超比特币化(hyperbitcoinization)。比特币旨在从法定货币体系过渡至比特币标准。

另请参阅:《以太坊政治哲学解释》 | 投資加密貨幣其實超簡單? Paul Dylan-Ennis(https:投資加密貨幣其實超簡單? //www.coindesk.com/markets/2021/07/09/ethereums-political-philosophy-explained/)

以太坊政治光谱

密码朋克:以太坊根植于较早期的隐私和技术倡导的传统中,它认为程序员应该使用加密和计算来构建中立的基础设施,其他人也可以赋予意义。以太坊的政治学是它非政治的立场,有时也称为“算法权威”,它唯一的关注点是创建几乎不需人类中介的开源工具。这与以太坊的“核心”开发者有关。

实验性自由主义:以太坊治理实验(比如,灵魂绑定通证)和做市模式(比如,二次方投票)的结合可以产生新的自由民主政治创新。这个观点与以太坊网络创始人 Vitalik Buterin 以及微软的 Glen Weyl 有关。

太阳朋克(Solarpunk):去中心化自治组织(DAO)赋能下的社会协作,可以在更广泛的社会上创造正外部性,将有温度的人文主义氛围嵌入它的美学中。Gitcoin 创始人 Kevin Owocki 和 Scott Moore 还有 DoinGud 创始人 Manu Alzuru 与之相关的例子。

月亮朋克(Lunarpunk):发生在以太坊原生技术(DAO、DeFi、NFT)上的零知识证明的不同实现增强了隐私,这对于保护加密文化免受现代监视资本主义的影响来说是必不可少的,通常采取的是一种阿哥拉主义者(agorist)或者左派/激进自由主义的立场。这种哲学运动与 DarkFi 的 Rachel-Rose O'Leary 和 Amir Taaki 有关。

Degens(译者注:敢于豪掷的老手或赌徒):以太坊是一个构建具有高度投机特质的金融工具的平台,而其用户唯一的目标就是积累财富,甚至以一种不道德的方式敛财。本质上是一种市场虚无主义。

在整个光谱上,以太坊的目标是从一个基于不可持续实践上不断恶化的传统金融系统转型,也要从 degen 文化及其推动者、风投资本公司和对冲基金这些实践的不同实现中转型。

我的论点是,以太坊政治光谱上的这些分散点可以被纳入“以太坊到底是用来干嘛的?”这个问题的一个总体回答中。

如果没有这个问题的答案,人们总是怀疑答案就是:为了哄抬以太币的价格、产生收益,也为了从速转卖 NFT 等等。

为了寻求整个光谱的共识,以太坊的政治图景可以被总结为一个词:超再生化(hyperregenization)

超再生化

1. 再生经济学而不是虚幻的无限增长:以太坊通过二次方募资机制提供可追溯的、积极主动的公共物品募资的服务。

它包含着将这种超越以太坊和 web3 的中立公共物品的密码朋克机制,扩展到传统政治世界的潜力,正如太阳朋克所提倡的,他们专注于正外部性。

2. 再生公民资格而非无灵魂的个人主义投机:以太坊可以通过追溯性的空投奖励良好的公民,比如参与了 Gitcoin 轮、治理投票、测试网和社区频道。

3. 再生去中心化而不是中心化这种衰退:以太坊是一种资讯共享空间或共有知识池。当中心化集群出现时,尽管并不是没有挑战,但是透明度使我们能够识别他们。

最近为再去中心化客户端多样性以及当前为再去中心化质押所做的努力,揭示着以太坊阻止中心化的文化本能依旧是完好如初的。为了做到一点,我们将需要有密码朋克开发者文化中的“守夜人”心态。

什么是Chiplet技术,为啥突然热起来了

2022年 三月份出现的UCIe, 即Universal Chiplet Interco nnect Express,是Intel、 AMD、ARM、高通、三星、台积电、日月光、Google Cloud、Meta和微软等公司联合推出的Die-to-Die互连标准,其主要目的是统一Chiplet(芯粒)之间的互连接口标准,打造一个开放性的Chiplet生态系统。 UCIe在解决Chiplet标准化方面具有划时代意义。

到目前为 止,已经成功商用的Die-to-Die互连接口协议多达十几种,主要分为串行接口协议和并行接口协议 。 比较而言,串行接口一般延迟比较大,而并行接口可以做到更低延迟,但也会消耗更多的Die-to-Die互连管脚; 而且因为要尽量保证多组管脚之间延迟的一致,所以每个管脚不易做到高速率。

UCIe 成员分为三个级别: 发起人、贡献者和采用者。 发起人由董事会组成并具有领导作用。 贡献者和发起者公司可以参与工作组,而采用者只能看到最终规范并获得知识产权保护。

免责声明: 该内容由专栏作者授权发布或转载自其他媒体,目的在于传递更多信息,并不代表本网赞同其观点,本站亦不保证或承诺内容真实性等。如若文章内容侵犯您的权益,请及时联系本站删除。侵权投诉联系: [email protected]

芯片巨头的又一次豪赌

存储领域的再战再退

早在2006年,英特尔就与美光科技联合成立了IM Flash Technologies公司,共同生产NAND闪存。2015年7月,英特尔和美光科技推出了3D XPoint的非易失性存储器技术。同年10月,英特尔还将大连12英寸厂从过去的处理器业务变成Nand闪存芯片业务。2017年3月,英特尔发表了第一款采用3D XPoint存储的固态硬盘(SSD),英特尔将这类SSD品牌名定为Optane,也就是我们熟知的傲腾业务。

据当时的消息显示,与NAND相比,3D XPoint技术在速度及耐用性方面均实现了高达1000倍的提升,比传统存储器的存储密度提升高达10倍。就当人们猜测英特尔能否凭借傲腾业务再登存储龙头宝座之时,事情又出现了变化。由于经验理念不同,2018 年7月,美光科技和英特尔达成共识,于 2019 财年下半年,在完成第二代节点结束3D XPoint 技术的联合开发工作之后,两家公司将独立推动自己的未来技术路线图。

简单地说,就是英特尔和美光“分手了”,能够制造3D XPoint的晶圆厂归美光所有(英特尔将所持有的股份卖给了美光),这也意味着英特尔失去了制造3D XPoint的能力,冥冥之中,可能就注定了傲腾业务的结局。

其实在2020年的时候,英特尔就已经开始有了淡出存储业务的苗头,其以90亿美元的价格向SK海力士出售了其NAND闪存以及存储业务,不过当时仍保留了傲腾业务。虽然今年年初,据据Blocks & Files报道英特尔副总裁 Kristie Mann 表示即将宣布 Optane Gen 3,但数据中心内存和存储解决方案部门(包含傲腾业务)副总裁兼总经理Alper Ilkbahar的辞职、相关承诺和计划的缺失,以及业务长年的亏损等,都让业内对其产生了疑虑。

数据显示,2017年开始,傲腾业务就一直处于亏损状态,2017、2018 年英特尔在 3D XPoint 业务上损失了 20 亿美元,2019 年仍损失了 15 亿美元,2020年傲腾业务的亏损仍达到5.76亿美元,据估计2021年的亏损大概在5.29亿美元。连续5年的亏损,纵使是英特尔,也有些抵挡不住了。在最新一季的财报中,英特尔正式宣布,将彻底关停(wind 投資加密貨幣其實超簡單? down)其一直处于亏损状态的傲腾(Optane)技术相关业务。

在知乎上,有个问题就是“如何评价英特尔终止 Optane 持久内存业务?”从众多回答来看,价格过于昂贵是傲腾的最大劣势,就像“木头龙”在回答中所说的“半导体产业的发展,必须要有足够规模的消费级基础,曲高和寡的技术再高大上,前景再好也是死路一条。”无论是X86,还ARM架构,其成功的原因都离不开大量的用户和开发者,用相对廉价的开发平台聚拢起数以千万计的应用开发人员,通过快速的迭代提升性能、修复缺陷、增加功能,开发出多种应用进一步提高销量,才能一点点扩大市场规模。

读懂starkNet零知识递归证明「STARK」

2020年夏天,Cairo第一次出现在以太坊主网之上。Cairo是CPU Algebraic Intermediate Representation的缩写(中央处理器代数中介码(AIR)),并包含单个 AIR 来验证这个 “CPU” 的指令集。Cairo为更复杂的商业逻辑、更多样化计算语句打开了大门,并以一种更快、更安全的方式进行编码验证。Cairo程序可以证明单个应用程序执行的逻辑,而且一个Cairo程序也可以是多个此类应用程序的串联——即SHARP。

SHARP

要了解递归证明的全部好处,我们首先要了解 SHARP 是如何执行(非递归)证明的。下图 描绘了一个典型的非递归流程:

一个典型的非递归证明流程

一个典型的非递归证明流程

什么是递归证明

一个典型的递归证明流程

一个典型的递归证明流程

在这个例子中,四个状态声明被发送到 SHARP(可能来自四个不同的来源),这些状态声明都是平行证明的,然后,每对证明都由递归验证器(一个验证 STARK 证明的 Cairo 程序)进行验证,并为此生成下一个证明,而这个证明(Proof12或Proof34)说明了前两个证明已被证实。接下来,通过递归验证器语句再次合并两个证明,最终生成了一个证明了四个原始状态的证明--Proof123。然后,该证明在主链上提交,并由 Solidity 验证者智能合约进行验证。

递归证明的好处

降低链上成本

当我们实现了将多个证明 "压缩 "为一个,这意味着每个交易的链上验证成本降低(每个声明可包含多笔交易)。

降低交易延迟

  • 传入的状态数据可以并行证明处理(而不是等着去证明一个非常大的组合状态)。
  • 无需等到组合状态数据池中的最后一条的到达,即可开始证明,这意味着加入组合状态池的最后一条数据的延迟大致是证明最后一条状态所需的时间加上证明最终的递归验证时间之和。

促进L3发展

其他好处

应用型递归(Applicative Recursion)

每个STARK都证明了应用于某种输入声明的正确性,这种输入被称为 "公共输入"(Cairo中被称为 "程序输出")。从概念上讲,STARK递归将两个输入的证明压缩为一个,虽然证明的数量减少了,但源头的数量是保持不变,而这些输入通常被用于应用程序或者L1上的状态更新(如,更新一个状态根或执行链上的提款)。

应用递归示例

应用递归示例

应用性递归的另一个重要例子是压缩多个证明的汇总数据。例如,对于想StarkNet 这样的 Validity Rollup,L2 上的每个存储更新也作为 L1 上的传输数据包含在内,以确保数据可用性。其实,我们没有必要在同一个存储元素发送多个更新,因为数据可用性只需要那些经过了验证交易的最终值。这种优化已经在单个StarkNet区块内实现。通过为每个区块生成证明,应用递归可以跨多个L2 的区块汇总压缩此数据,这可以显着降低成本,使L2上的块间隔更短,还不牺牲L1可扩展性。