FX168财经网_全球视野外汇黄金加密货币NFT资讯网

DeFi叙事失宠过气蓝筹如何重获市场关注？

在所有叙事之前， 2020 年开启的「DeFi 盛夏」如今却鲜少有人提及，作为加密世界叙事轮动转换的一个关键里程碑事件，如今三年过去了，DeFi 叙事也开始出现了一些值得关注的新变化。失宠的 DeFi 叙事自 2020 年「DeFi 盛夏」以来，整个 DeFi 赛道获得了长足发展，市场衍生出了去中心化成交、借代、衍生品、固定收益、算法稳定币、资产合成、聚合器等诸多细分领域。不过伴随着 2021 年 5 · 19 达到历史峰值以来，UNI、LINK、SUSHI、SNX 等传统 DeFi 蓝筹颓势渐显，无论是 Uniswap、Synthetix 这样老牌 DeFi 龙头，还是 OHM 等「DeFi 2.0 」新秀，似乎都逃脱不了逐步被市场热点遗忘的尴尬处境。尤其是在过去 2022 年加密世界的发展中，经历 NFT、DAO、元宇宙、Web3 等叙事的轮番繁荣，DeFi 已经被绝大部分市场参与者遗忘，成为失宠的市场叙事。究其根本原因，除了个别龙头产品的品牌和黏性之外，绝大多数产品所提供的服务都大同小异，大多只是依靠自身推出的 Token 激励计划在勉强维持：当有丰厚的流动性激励时，DeFi 新平台的资产规模（TVL）确实会快速膨胀，但这是不可持续的，因为资金本身不是真正意义上的「锁定」，一旦新的高收益率机会出现，或者原先协议的激励在一定 TVL 规模之后无法维持，那资金就会很快灵活地转移。这也是 2020 年以来 DeFi 产品尤其是其 Toke 的二级市场价格高开低走的原因所在——仅仅依靠 Token 激励来短时留住用户，势必不能长久。老 DeFi 开新花不过，暂时抛开纵向的 DeFi 协议 Token 在二级市场上的低迷表现，仅从 DeFi 赛道内部观察，还是有一些颇为有趣的变量正在发生，其中尤以 Curve、MakerDAO 等这些头部蓝筹项目的动作最为明显，最直接的信号便是 DeFi 巨头之间的边界感正在淡化。 MakerDAO 进军借代的 Spark Protocol 首先便是 MakerDAO 稳定币起家的 MakerDAO 开始布局借代赛道，于本月初启动基于 Aave V3 智能合约的借代协议 Spark Protocol，面向所有 DeFi 用户开放，该产品以 DAI 为中心，具有 ETH、stETH、DAI 和 sDAI 的借代功能。 Spark Lend 支持 MakerDAO 的 PSM 和 DSR，USDC 持有者也可以直接通过 Spark Protocol 官网主页由 PSM 将 USDC 转换成 DAI，并通过 DSR 来获得存款利息。除此之外，Spark Lend 的另一作用是引导 MakerDAO 未来推出的流动性质押衍生产品 EtherDAI，整体机制将会与 Frax Finance 相似，启动时也会提供 MKR 或 DAI 进行流动性区块生产。 Aave 布局 GHO 稳定币颇为有趣的是，以借代为基本盘的 Aave 与 MakerDAO 不谋而合，也计划推出去中心化、有抵押品支持、且与美元挂钩的 Aave DAO 原生稳定币 GHO。它和 DAI 的逻辑大同小异——是一种使用 aTokens 作为抵押品铸造的超额抵押稳定币，唯一的区别在于由于所有抵押品都是生产性资本，会产生出一定的利息（aTokens），这具体要取决于借代需求。上个月 Aave 创始人兼 CEO Stani Kulechov 发布稳定币 GHO 的进展更新，表示 GHO 代码已公开且已完成审计，目前 GHO 已在 Goerli 测试网发布，并正在进行漏洞赏金计划。其实这也未尝不是一项绝佳的对照试验组：作为业务互相渗透的两大 DeFi 蓝筹，MakerDAO 和 Aave 目前的稳定币在机制设计方面大同小异，借代机制也都是基于 Aave V3 智能合约，唯一的区别便是一个基于稳定币的自有 Token 铸造权进军借代市场，一个是基于借代场景搭建稳定币使用的扩展基础。那最终谁能跑出来，某种程度上就可以佐证到底是基于原生稳定币向借代领域渗透容易，还是基于借代协议扩展稳定币的使用场景更有优势。当然目前双方都还处于测试阶段，实际效果有待后期观察。 Curve 上线 crvUSD 此外，以大额资产兑换为主要战场的 Curve 也在近期推出自己的稳定币 crvUSD，前不久已部署 UI 并正式上线，目前支持 Frax Finance 旗下以太坊流动性质押产品 sfrxETH 进行抵押铸造，后续将进一步支持 stETH。不过目前 crvUSD 的总量还较小，不过依靠 Curve 自身的天然流动性激励优势，crvUSD 可谓是含着金汤匙出生。突飞猛进的 frxETH 其实前面的 MakerDAO、Aave、Curve 在各自的新赛道之外，也都同样在布局流动性质押这个大蛋糕——MakerDAO、Aave 的借代本身就可直接扩展 LSDfi 业务。但目前所有 DeFi 蓝筹中，Frax Finance 在 LSD 领域布局最为深入，仅从 frxETH 的增长数据便可见一斑： 2022 年 10 月 21 日，Frax Finance 推出的以太坊流动性质押产品 frxETH 上线，截至今日， 200 天左右的时间，frxETH 从 0 增长到近 22 万枚，价值约 4 亿美元。据 DefiLlama 数据显示，frxETH 目前质押数量仅次于 Lido、Coinbase 和 Rocket Pool，且过去 30 天增长幅度超 40% ，在上海升级后的增长速度更是一骑绝尘。某种意义上讲，Frax Finance 一年来的求变就是我们观察 DeFi 蓝筹突围的一个典型例证： 2022 年算法稳定币的变动一度让 Frax Finance 陷入危局，在紧要关头，一方面对于原有的稳定币布局，Frax 选择增加储备来彻底去除自身的算稳属性（变为完全抵押的稳定币）。同时进一步扩展新叙事，尤其是精准踩中了 LSD 这个风口——原先为了与 UST 组建 4 pool 而积累持有的 Convex 治理 Token CVX 也派上了新用场，给了 Frax 利用巨额汇率影响 Curve 的奖励排放，进而创造更高收益的可能（6% 左右）。这也是 frxETH 能够快速杀入 LSD 市场并站稳脚跟，同时快速抢占市场的关键。小结其实绝大部分 DeFi 项目在 2020 年的繁荣和 2021 年开始遇到的困局，从一开始就注定了——丰厚的流动性激励是不可持续的。也正因如此，当下的 DeFi 蓝筹们不设边界的尝试，正是众多 DeFi 协议从不同渠道入手，开展自我救赎的一个缩影，至于能否如愿迎来属于自己的突围，或者是孕育出全新的叙事，尚未可知，但值得关注。来源：金色财经

金色财经2023-05-24

比特币跌破27000 还会下跌吗？

，将投资AI、Web3等领域； 8. DeFi预言机RedStone Oracles完成天使轮融资，Aave创始人等参投； 9. 香港众安银行将在新发牌制度下向零售投资者推出虚拟资产交易服务； 10. 以太坊梦幻足球游戏Sorare发布针对法国玩家的替代方案； 11. Layer 1公链LUKSO主网已上线； 12. Layer 1区块链Vega Protocol推出链上期货市场。来源：金色财经

金色财经2023-05-24

TOPONE:全新量化交易模式为用户带来优质体验

数字资产量化领域深耕多年，凭借区块链、DeFi、智能合约、AI与量化算法、Layer 2、门限签名、MPC & SGX等底层技术，形成了智能化在Web3.0、元宇宙场景、数字货币交易所中赚取利润的“智能资管+高频交易”的量化策略体系。TOPONE允许用户通过生物识别技术实现快捷支付，享受更安全便捷的交易体验。用户可以随时随地对所拥有的数字资产进行管理，同时可以进行币币交换、交易所交易、OTC交易等。未来，TOPONE还将融入DApp、数据治理等场景，运用PoA活性证明机制，与全球用户一起创新数字资产交易模式。 TOPONE量化交易产品体系齐全 TOPONE具有丰富齐全的量化交易产品体系。在数字资产交易方面，TOPONE支持BTC、ETH、USDT、ETC等全球100多种市场主流数字货币的存储和流通，用户可以在TOPONE钱包中安全存储资产，轻松完成各类交易。在量化理财方面，TOPONE结合区块链和AI量化技术，既拥有独有的量化策略理财优势，用户可以在TOPONE交易平台上采用智能币进行量化交易，通过AI量化投资机器人、期货与期权投资、固定收益理财等优质交易工具，快速稳定赚取收益。结语在数字资产规模日益庞大的当下，TOPONE利用全面区块链技术体系，将打造出世界级的去中心化数字资产交易平台，变革数字资产交易模式，在给用户带来优质体验的同时，也为全球数字经济的发展提供了有力的支撑。来源：金色财经

金色财经2023-05-24

一文梳理Worldcoin App都集成了哪些Crypto应用？

金色财经2023-05-24

Aurora会议将全球科技领袖聚集在赫尔辛基探索芬兰在未来十年中的DAO治理前景

，例如区块链和 Web3 技术，包括 DeFi、NFT、GameFi 和 AI。超过 20 家领先的行业公司将分享他们对即将到来的趋势、创新理念和产品的看法。该活动将在研讨会区域提供独家实践经验，行业先驱将指导与会者构建和扩展 Web3 项目。由于网络是会议的重要组成部分，Aurora 确保有机会与蓬勃发展的 web3 社区的成员建立联系。此外，参与者可以全天享受各种津贴和参与活动。一流的演讲者包括： Samuel Yim – 1inch Network 亚太区负责人兼副总法律顾问 Dennis Huisman – Near 开发者关系工程师 Marja Konttinen – Decentraland 前营销总监 Jari Pauna – Supremacy Games 首席执行官 Sima Baktas – Web3 律师，GlobalB Law Iryna Tsimashenka – 协议实验室开发者关系主管 Yevheniia Broshevan – CBDO 和联合创始人，Hacken Ferdinand Kobelt – Metaverse Advisory 首席执行官，瑞士联邦国防部高级顾问 Mikael Koskima – 联合创始人兼首席设计官，TX - Tomorrow Explored Anna Agu – 爱沙尼亚加密货币协会首席法律专家 Max Atllah – Nordic Law 合伙人 Jon Hautemäki – Nordic Law 合伙人 Heidi Hurskainen – Revon ventures 的创始人兼首席执行官 Aurora 是第一届赫尔辛基 Web3 周（26.05 – 04.06）的一部分和高潮活动，旨在弥合理解新兴技术的差距，并通过各种与 Web3 相关的活动拉近大众意识。 Web3 Week 由 Web3 Builders 和 Convergent Reality 联合制作。两家芬兰初创公司专注于北欧 Web3 生态系统的发展。为什么选择芬兰？芬兰以其强大的技术基础设施、创新友好的环境、技能人才库、政府支持以及强大的加密和区块链社区而闻名，拥有扎根于芬兰的领先公司，如 Aave、Membrane Finance、Phaver、Equilibrium、Kleoverse。何时何地？ 6 月 4 日，芬兰，赫尔辛基 – Kafé Koma，位于赫尔辛基市中心的海滨场地。关于极光大会网站：https://aurora3.xyz/ 领英：https://www.linkedin.com/company/web3.builders/ 推特：https://twitter.com/auroraconf Instagram：https://www.instagram.com/web3.builders/ 媒体联系人： Anastasiia Kruglova, info@3web.builders https://www.linkedin.com/in/asya-kruglova-936716133/ 来源：金色财经

金色财经2023-05-24

一周5亿TVL 深挖PulseChain异军突起背后的故事

的融资之一。截至 5 月 23 日，DeFiLlama 显示的 PulseChain 上的项目仅有 PulseX 一个，而 PulseX 的 TVL 为 5 亿美元，这就使得 PulseChain 的 TVL 直接升至第八，超过了 Solana、Fantom 等老牌公链，甚至是新兴公链 Aptos 和 Sui 的十倍。在 PLS、PLSX 高市值的带动下，PulseX 上流动性挖矿的收益率几乎都在 1000% 以上。而因为从以太坊上跨链到 PulseChain 的需求太多，官方跨链桥一度瘫痪，曾经大多数资金都卡在跨链桥上，不能正常到达。根据 PLSburn.com 的数据，目前 PLS 和 PLSX 的价格分别对应牺牲价格的 2.52 倍和 1.13 倍，这可能让 HEX 社区的凝聚力进一步增强。曾经高市值的 HEX，通过这种方式完美转移到新项目中，且在加密市场下行阶段获得利润。 PulseChain 中的风险 PulseChain 获得了快速发展，同时也伴随着极大的风险。PulseX 中流动性挖矿发放的为 INC 代币（Incentive Token），随着 PulseX 中流动性的上升，INC 的价格也不断上涨。根据 GeckoTerminal 的数据，INC 的价格从 5 月 19 日到现在已经上涨超过 10 倍。而 INC-WPLS 和 INC-PLSX 中的流动性均超过 4000 万美元。 PulseX 中流动性最高的交易对为生态内部的 PLSX-WPLS，该交易对的流动性为 2.13 亿美元，与之对应的 APR 只有 65% 。USDC、USDT、ETH 等主流币对应的流动性却不多，相关交易对中最高的 WETH-WPLS 流动性为 2244 万美元。说明 PulseX 中的资金主要来自 HEX 和 PulseChain 生态，对外部资金还是缺乏吸引力。 PulseX 中的挖矿几乎都需要和 PLS 组成交易对，而流动性最高的 PLSX-WPLS APR 已经相对较低，一旦这部分资金开始卖出或者 INC 开始下跌，都容易造成死亡螺旋，导致流动性和代币价格双双下跌。总之，PulseChain 是 Richard 及其追随者一起构建的，Richard 拥有极强的营销能力，HEX 社区对此也有非常强的共识。PulseChain 和 PulseX 在短期内吸引了大量资金，但大多数资金都来自 HEX 和 PulseChain 内部。目前 PLS 市值 340 亿美元，PLSX 市值 160 美元，已经相对较高，且挖矿需要购买 PLS，风险较高。Richard 个人也颇受争议，很多人认为他做的项目都是骗局，投资需注意风险。来源：金色财经

金色财经2023-05-24

zkML：zk+机器学习新兴项目和基础设施

间。下面来看一些加密原生应用：（1）DeFi · 可验证的链下ML预言机。继续采用生成式AI可能有助于推动行业为内容实施签名方案。签名数据可随时应用于ZK，使数据具有可组合性且可信。ML模型可以对签名数据进行链下处理以进行预测和分类（例如，对选举结果或天气事件进行分类）。这些链下ML预言机可以通过验证推理并在链上发布证明，以无需信任的方式解决现实世界的预测市场、保险协议合约等问题。 · ML参数化的DeFi应用。DeFi有很多方面可以更加自动化。例如，借贷协议可以使用ML模型实时更新参数。今天的借贷协议主要信任由组织运行的链下模型来进行抵押品事宜、LTV、清算门槛等相关决策，但社区训练的开源模型可能是更好的替代方案，这类模型可以由任何人运行和验证。 · 自动交易策略。展示财务模型策略的回报状况的一种常见方法是，MP向投资者提供各种回测。然而，在执行交易时，是没有办法验证策略是否遵循了模型的——投资者必须相信策略确实遵循了模型。zkML提供了一个解决方案，MP可以在进行特定位置部署时提供财务模型推理证明。这对于DeFi管理的金库来说特别有用。（2）安全性 · 智能合约的欺诈监控。ML模型可以用来检测潜在的恶意行为并暂停合约，而不依靠缓慢的人工治理或中心化主体来控制是否暂停合约。（3）传统ML · Kaggle的去中心化、无需信任的实现。可以创建这样一个协议或市场，允许MC或其他相关方在MP不披露模型权重的情况下验证模型的准确性。这对于模型销售、模型准确性竞争等会很有用。 · 生成式AI的去中心化prompt（提示）市场。生成式AI的prompt创建已经演变成一种复杂的工艺，最好的prompt输出通常包含许多modifier修饰符。外部各方可能愿意从创建者那里购买这些复杂的prompt。zkML可以在这里发挥两方面作用：1）验证prompt输出，以向潜在购买者确保prompt确实创建了所需的图像；2）允许prompt所有者在prompt被购买后仍然保有prompt的所有权，对购买者匿名的同时仍然为他们生成经过验证的图像。（5）身份验证 · 用保护隐私的生物识别身份验证取代私钥。私钥管理仍然是web3用户体验最大的摩擦之一。通过面部识别或其他独特因素提取私钥是zkML的一种可能的解决方案。 · 公平的空投和贡献者奖励。ML模型可用于创建详细的用户角色，以根据多种因素确定空投分配或贡献奖励。当与身份解决方案结合使用时，这种功能会特别强大。在这种情况下，有种可能性是让用户运行一个开源模型来评估他们在应用程序中的参与度，以及更高层的生态参与度（比如治理论坛帖子），以推断他们的分配额度。然后，他们向合约提供此证明以接收代币分配。（6）Web3社交 · web3社交媒体过滤功能。web3社交应用程序的去中心化性质将导致更多的垃圾邮件和恶意内容。理想情况下，社交媒体平台可以使用社区同意的开源ML模型，并在选择过滤帖子时发布模型推理的证明。 · 广告/推荐。作为一个社交媒体用户，我可能愿意看到个性化的广告，但希望对广告商保密我的偏好和兴趣。我可以选择根据我的喜好在本地运行一个模型，该模型向媒体应用程序提供信息，然后展示我想要的内容。在这种情况下，广告商可能愿意为终端用户付费，但这些模型可能远没有当前的目标广告模型那么复杂。（7）创作者经济/游戏 · 游戏内经济再平衡。ML模型可用于动态调整代币的发行、供应、销毁、投票阈值等。一种可能的模式是，如果达到一定的再平衡阈值，并且推理证明得到验证，那么合约就可能受激励以重新平衡游戏内经济。 · 新型链上游戏。可以创建人类对抗AI的合作游戏和其他创新的链上游戏，此时无需信任的AI模型充当非玩家（NPC）角色。NPC采取的每一个行动都会被发布到链上，并带有一个证明，任何人都可以验证该证明以确定运行模型的正确性。在Modulus Labs的Leela vs. the World案例中，验证者希望确保正在下棋的是1900 ELO AI，而非棋手Magnus Carlson。另一个例子是AI Arena，这是一款Super Smash Brothers风格的AI战斗游戏。高风险竞争环境中的玩家希望确保他们训练的模型不受干扰或者不会出现作弊行为。 4、新兴项目和基础设施 zkML的生态系统可以大致分为四大类： · Model-to-Proof Compilers（模型到证明编译器）：将模型从现有格式（例如Pytorch、ONNX等）编译成可验证计算电路的基础设施。 · 通用证明系统：用来验证任意计算轨迹的证明系统。 · 特定zkML证明系统：专门用于验证ML模型的计算轨迹的证明系统。 · 应用程序：处理独特zkML用例的项目。（1）Model-to-Proof Compilers（模型到证明编译器）在研究zkML生态系统时，大多数注意力都集中在模型到证明编译器上。通常，这些编译器会将使用Pytorch、Tensorflow或类似语言编写的高级ML模型转换为ZK电路。 EZKL是一个库和命令行工具，用于在zk-SNARK中对深度学习模型进行推理。使用EZKL，你可以在Pytorch或TensorFlow中定义计算图，将其导出为ONNX文件，一些样本输入包含在JSON文件中，并将EZKL指向这些文件以生成zkSNARK电路。随着最新的性能改进，EZKL现在可以在大约6秒内占用1.1GB RAM证明一个MNIST大小的模型。到目前为止，EZKL已经有一些重要的早期采用，被用作各种黑客马拉松项目的基础设施。 Cathy So的circomlib-ml库包含Circom的各种ML电路模板。电路包含一些最常见的ML功能。同样由Cathie开发的Keras2circom是一个python工具，它使用底层circomlib-ml库将Keras模型转换为Circom电路。 LinearA为zkML开发了两个框架：Tachikoma和Uchikoma。Tachikoma用于将神经网络转换为纯整数形式并生成计算轨迹。Uchikoma是一个将TVM的中间表示转换为不支持浮点运算的编程语言的工具。LinearA计划支持Circom和Solidity，前者使用域算法，后者使用有符号和无符号整数算法。 Daniel Kang的zkml是一个用于在ZK-SNARKs中构建ML模型执行证明的框架。在撰写本文时，它能够证明一个使用大约5GB内存运行约16秒的MNIST电路。更通用的模型到证明编译器还有Nil Foundation和Risc Zero。Nil Foundation的zkLLVM是一个基于LLVM的电路编译器，能够验证使用流行编程语言（如C++、Rust和JavaScript/TypeScript等）编写的计算模型。与本文提到的其他一些模型到证明编译器相比，它是通用的基础设施，但仍然适用于像zkML这样的复杂计算。当与证明市场相结合时，该功能将格外强大。 Risc Zero面向RISC-V开原指令集构建了一个通用的zkVM，因此支持现有的成熟语言，如C++和Rust，以及LLVM工具链。这将支持主机和客户端zkVM代码之间的无缝集成，类似于Nvidia的CUDA C++工具链，但使用了ZKP引擎代替GPU。与Nil类似，可以使用Risc Zero来验证ML模型的计算轨迹。（2）通用证明系统证明系统的改进是zkML实现的主要推动力，特别是custom gates（自定义门）和lookup tables（查找表）的引入。这主要是由于ML对非线性的依赖。简而言之，非线性是通过激活函数（例如ReLU、sigmoid和tanh）引入的，这些函数应用于神经网络内线性变换的输出。由于受数学运算门的限制，在ZK电路中这些非线性实现是有难度的。Bitwise decomposition（逐位分解）和lookup tables（查找表）可以通过将非线性的可能结果预先计算到查找表中来帮助解决这个问题，有趣的是，这在ZK中计算效率更高。由于这个原因，Plonkish证明系统往往是zkML最流行的后端。Halo2和Plonky2的table-style（表式）算法方案可以通过lookup参数很好地处理神经网络非线性。此外，Halo2有一个充满活力的开发者工具生态系统，再加上它非常灵活，使其成为包括EZKL在内的很多项目名副其实的后端支柱。其他证明系统也有自己的优点。基于R1CS的证明系统包括用于小型证明的Groth16和处理超大电路和线性时间证明器的Gemini。如Winterfell证明者/验证者库这样的基于STARK的系统也非常有用，特别是当通过Giza的工具实现时，Giza工具将Cairo程序的轨迹作为输入值，并使用Winterfell生成STARK证明来证明输出值的正确性。（3）特定zkML证明系统在有效的证明系统设计方面已经取得了一些进展，这些系统可以处理复杂的、电路不友好的高级ML模型操作。Modulus Labs的基准报告证明，像zkCNN这样基于GKR证明系统的系统，或者像Zator这样使用复合技术的系统，通常比通用的同类系统性能更高。 zkCNN是一种使用零知识证明来证明卷积神经网络（convolutional neural networks）正确性的方法。它使用sumcheck协议来证明快速傅里叶（Fourier）变换和卷积，其线性证明时间比渐近计算结果更快。交互式证明引入了若干改进和通则，包括验证卷积层、ReLU激活函数和最大池化。zkCNN特别有趣，因为Modulus Labs的基准报告发现，zkCNN在证明生成速度和RAM消耗方面都优于其他通用证明系统。 Zator是一个旨在探索使用递归SNARKs来验证深度神经网络的项目。目前验证深层模型的约束条件是将整个计算轨迹拟合到单个电路中。Zator提出使用递归SNARKs一次验证一层，可以渐进增量验证N步重复计算。他们使用Nova将N个计算实例缩减到一个实例中，这个实例可以通过单个步骤进行验证。通过这种方法，Zator能够snark一个具有512层的网络，这与当今大多数生产式AI模型一样深。对于主流用例来说，Zator的证明生成和验证时间仍然太长，但是其复合技术还是很有趣的。（4）应用程序鉴于zkML仍处于早期阶段，它将大部分重心都放在了上述基础设施方面。然而，目前有一些项目正在进行应用开发。 Modulus Labs是zkML领域中最多样化的项目之一，致力于应用范例和相关研究。在应用方面，Modulus Labs通过RockyBot（链上交易机器人）和Leela vs. the World（一种国际象棋游戏，所有人与经验证的Leela国际象棋引擎实例对决）展示了zkML的用例。该团队还涉足研究领域，撰写了The Cost of Intelligence（智能的成本）一文，对不同大小模型的各种验证系统的速度和效率进行了基准测试。 Worldcoin正在应用zkML，试图建立一个保护隐私的人格证明协议。Worldcoin正在使用定制硬件来处理高分辨率虹膜扫描，这些扫描被插入到他们的Semaphore实现中。然后，可用于执行有用的操作，如成员资格认证和投票。他们目前使用具有安全enclave的可信运行环境来验证摄像头签名的虹膜扫描，但他们最终的目标是使用ZKP来证明神经网络对加密级别安全保障的正确推理。 Giza是一种可以以一种完全无需信任的方法在链上部署AI模型的协议。它使用的技术栈包括用于表示机器学习模型的ONNX格式，用于将这些模型转换为Cairo程序格式的Giza Transpiler，用于以可验证和确定性的方式执行模型的ONNX Cairo Runtime，以及用于部署和执行链上模型的Giza Model智能合约。虽然Giza也可以属于模型到证明的编译器类别，但它们定位为ML模型市场是当今更有趣的应用之一。 Gensyn是一个去中心化硬件供应网络，用于训练ML模型。具体来说，他们正在设计一个基于梯度下降算法的概率审计系统，并使用模型检查点使去中心化的GPU网络能够为大规模模型训练提供服务。虽然他们的zkML应用明显特定于自身用例——他们希望确保当节点下载和训练模型的一部分时，他们对模型的更新是诚实的——但却展示了ZK和ML结合的强大功能。 ZKaptcha专注于web3的bot问题，为智能合约提供captcha（验证码）服务。它们目前的实现是让终端用户通过完成captcha来生成人类工作的证明，captcha由链上验证者验证，并通过几行代码由智能合约访问。今天，它们主要只依赖于ZK，但计划在未来实现zkML，类似于现有的web2 captcha服务，分析鼠标移动等行为，以确定用户是否是人类。 zkML市场仍处于相当早期的阶段，但很多应用程序已经进行了黑客马拉松级别的试验。这些项目包括AI Coliseum（一个使用ZK证明来验证机器学习输出的链上AI竞赛）、Hunter z Hunter（一个使用EZKL库来验证带有halo2电路的图像分类模型输出的照片寻宝游戏），以及zk Section 9（它将AI图像生成模型转换为用于铸造和验证AI艺术的电路）。 5、zkML面临的挑战虽然zkML正在以光速进行改进和优化，但该领域仍然存在一些核心挑战。这些挑战涉及到技术和实践方面，具体如下： · 高精度的量化 · 电路的大小（特别是多层网络） · 矩阵乘法的有效证明 · 对抗攻击量化是将大多数ML模型用来表示模型参数和激活函数的浮点数表示为定点数的过程，这在处理ZK电路的域算法时是必不可少的。量化对机器学习模型精度的影响取决于所使用的精度水平。通常，使用较低的精度（即更少的bits）会导致准确性降低，因为它会应用四舍五入和近似误差。然而，有几种技术可以用来最小化量化对准确性的影响，例如在量化之后微调模型，以及使用量化感知训练等技术。此外，zkSummit 9上的一个黑客马拉松项目Zero Gravity已表明，为边缘设备开发的替代神经网络架构（如无权重神经网络）可用于避免电路量化的问题。除了量化，硬件是另一个关键挑战。一旦机器学习模型通过电路进行了正确表示，由于ZK的简洁性，验证其推论的证明既便宜又快速。这里的挑战不在于验证者，而是在于证明者，因为随着模型越来越大，RAM消耗和证明生成时间会迅速增加。某些证明系统（例如使用sumcheck协议和分层算法电路的基于GKR的系统）或复合技术（例如wrapping Plonky2，它有高效的证明时间，但在较大模型的有效证明大小方面表现很差，使用Groth16，它不会随着模型的复杂性加大而增加证明大小）更适合处理这些问题，但是管理权衡是构建zkML项目的核心挑战。在对抗方面，还有工作要做。首先，如果一个无需信任的协议或DAO选择实现一个模型，在训练阶段仍然存在对抗攻击的风险（例如，训练一个模型在看到一个可用于操纵后续推理的输入时表现出特定的行为方式）。联邦学习（federated learning）技术和训练阶段zkML可能是最小化这种攻击面的一种方法。另一个核心挑战是，当一个模型属于隐私保护模型时，存在模型窃取攻击的风险。虽然模型的权重可以被混淆，但理论上仍可以在有足够的输入-输出对的情况下对权重进行反向工程。虽然这种风险主要针对小型模型，但风险就是风险。 6、扩展智能合约尽管优化这些模型以符合ZK运行条件还存在着这样那样的挑战，但优化改进正在以指数级的速度进行，有人预计，假设在进一步的硬件加速条件下，我们将很快扩展更广泛的机器学习领域。zkML已经从2021年0xPARC的zk-MNIST演示（展示了如何在可验证的电路中执行小型MNIST图像分类模型），发展到Daniel Kang在不到一年后对ImageNet-scale模型做了同样的验证。2022年4月，ImageNet-scale模型的准确率从79%进一步提高到92%，尽管目前的验证时间较慢，但像GPT-2这样大的网络在短期内是可行的。我们认为zkML是一个丰富且不断发展的生态系统，它希望扩展区块链和智能合约的功能，使其更加灵活、适应性更强、更加智能。虽然zkML仍处于早期开发阶段，但它已经开始显示出光明前景。随着技术的发展和成熟，我们有望看到出现更多链上zkML的创新用例。来源：金色财经

金色财经2023-05-24

LayerZero发币在即？

性协议，LayerZero 也与包括 DeFI、NFT 赛道中的多个协议进行集成合作。团队 LayerZero Labs CanadaInc.（公司编号：1355847-9）于 2021 年 11 月 30 日根据《CanadaBusiness Corporations Act》在加拿大注册。Caleb Banister、Ryan Zarick 和 Bryan Pellegrino 被列为公司董事。据LinkedIn披露，目前LayerZero有29名成员，核心成员具体情况如下： Caleb Banister，LayerZero Labs和Stargate Finance的联合创始人，2010年毕业于美国新罕布什尔大学，2005.06 – 2010.12担任UNH互操作性实验室的软件开发师；2010.09 – 2021.02担任Coder Den（一家软件咨询公司）的联合创始人；2018.03 – 2021.02担任80Trill（一家加密公司，专门为区块链相关项目编写和审计智能合约）的联合创始人；2019.06 – 2021.02担任Minimal AI（一家ML/AI公司）的联合创始人；2021.02 – 至今，创立LayerZero。 Bryan Pellegrino，LayerZero Labs联合创始人兼CEO，2008年毕业于美国新罕布什尔大学，2010.10 – 2013.01担任Coder Den的联合创始人兼COO；2011.06 – 2013.01担任BuzzDraft的CEO（2013年被收购）；2017.10 – 2019.08担任OpenToken的联合创始人；2016.06 – 至今，担任Rho AI的首席工程师；2021年创立LayerZero至今。在创立 LayerZero 之前，Pellegrino 曾是一位职业扑克选手，成功地把一套自己编写的机器学习工具销售给了一支 MLB（美国职业棒球大联盟）球队，还在人工智能领域发表过期刊报告。 RyanZarick，LayerZeroLabs联合创始人兼CTO，2011年毕业于美国新罕布什尔大学，2006.08 – 2011.05担任UNH互操作性实验室的软件开发师和研究生助理；2011.11 – 2013.03担任BuzzDraft的CTO；2010.09 – 2020.13担任Coder Den的联合创始人；2018.01 – 2020.03担任80Trill的联合创始人；2019.06 – 2021.01担任Minimal AI的联合创始人；2021年创立LayerZero并担任CTO。生态系统 LayerZero是一种全链互操作性协议，作为一个链与链信息传递之间的枢纽，LayerZero可以做的不仅仅是资产跨链，在实现了跨链消息传递之后，LayerZero还可以实现跨链状态共享、借贷、治理等。此外，不同于目前市面上的传统跨链桥的模式，LayerZero无需在各个连接的链上去运行节点，无需在每条新链上部署一个新的节点，从该点出发，LayerZero将新链并入网络的速度会更快，并且成本更低。截至2022年11月11日，LayerZero已经支持了Ethereum、BNB Chain、Avalanche、Aptos、Polygon、Arbitrum、Optimism、Fantom等总计13条链。 LayerZero创新的技术加之更快的部署速度和一定的成本优势，以及早期著名VC和社区具有影响力KOL的推动，使得LayerZero生态在短短一年左右的时间内得到了快速的扩张，并且在DeFi、NFT和稳定币等方向都取得了不小的成绩。代币 LayerZero Labs目前暂未发币，不过还是有很多消息来源说26号发币。但是LayerZero员工0xLamps在其官方Discord表示，“目前没有代币空投或上市计划，请查看我们的官方Twitter页面以获取正确信息。我们一直专注于构建和创造良好的开发体验” 不过团队在其官方文档的代码中披露了$ ZRO token 的信息，通过下图我们可以看出$ ZRO 未来可能会被用来支付其链上Gas费。空投的代币数量还没有得到确认，但们相信这将是一个相当大的数量。技术 LayerZero是一个全链互操作性协议，它只专注于链与链之间的消息传递，能够向支持的任何链上的任何智能合约发送消息，也就是一个消息传输层，用于区块链之间的智能合约通信，不负责资产的跨链。据 LayerZero 白皮书显示，协议核心有三个组件，分别是端点（Endpoint）、预言机（Oracle）和中继器（Relayer）。其运行流程：路线图威：hexf488888 或 web3889900 来源：金色财经

金色财经2023-05-24

为什么说在比特币上发展生态是缘木求鱼？

则系统做的足够复杂的话，是可以用来做 DeFi 的，Ordinals 把规则的复杂性做到极致，甚至可以让自己图灵完备，可以实现任何合约逻辑。但我不认为这是比特币生态！这只是Ordinals 生态。如果其他铭文系统，比如 RGB，也做了这样一套规则，那是 RGB 生态，而不是比特币生态。RGB 生态和 Ordinal 生态不互通，也不能依靠比特币提供互操作性。这种感觉就像，以太坊上的一个合约无法访问和调用另一个合约… 比特币L2是什么？首先要定义一下L2，L2 是指将安全性依附于其他 L1 的链。比特币 L2 就是安全性依附于比特币的链，或者说比特币 L2 是与比特币共享安全性的链。如果以这个标准来看，Rootstock、Liquid、Stack 都不是比特币的 L2，只能算是比特币的侧链。Stack 宣称在下一个版本的更新中会实现与比特币的共享安全性，但没有披露具体方案。目前各种宣称是比特币 L2，事实上是侧链的项目提出的各种花里胡哨的方案都没有办法与比特币共享安全性，包括：把区块头写比特币链上（类似以太坊已经淘汰掉的 Plasma 方案）用比特币来作为网络质押代币在比特币链上选举出块人与比特币链同步出块激励比特币矿工成为 L2 网络验证者无效行为想要与比特币共享安全性，并不是没有办法。我们可以试想，如果 Ordinals 协议不止在比特币链上通过铭文来存储账本数据，而是将 Ordinals 的整个定义数据有效性的规则（即 Ordinals 协议的源码）也放到比特币链上呢？在这种情况下，尽管依旧需要通过“客户端验证”来实现一系列操作过程中的验证。但任何主体都可以通过写在链上的“规则”和脏账本，运行出一个干净的账本来，并得到一个一致的状态转换记录和最终状态。这种形式并不是新事物，而是 Arweave 提出的存储共识范式——SCP，这种方式适用于构建对互操作性要求不高，但对性能要求较高的重型应用。Arweave 积累多年，其上已经有 100+ SCP 应用。如果要基于比特币去构建SCP应用，技术上是可行的，但经济上受到制约，只能构建形态较为简单的应用，因为频繁的在比特币上铭文不是一般的贵。小结说了这么多，我并不是想彻底否定在比特币上构建各种服务的努力。我理解 PoW 支持者对以太坊升级的不满，也理解比特币矿工在减半预期之下寻求增收的需要，比特币网络当然可以通过铭文的方式去做一些 meme 代币和收藏品，但故事应该适可而止，不应该再去浪费时间在比特币上复刻以太坊生态（无论是“铭文”的方式，还是L2的方式），因为这并不能给整个 Web3 创造什么新的价值。归根结底，在比特币上做生态，相当于以一个蹩脚且成本更高的方式在做以太坊本就可以做的事情，在比特币生态中，诞生不了什么新事物。我不否认围绕“比特币生态”概念的价格奇迹和造富神话可能会继续，但作为长期主义者，我更关注能创造实际价值，拓宽Web3使用场景、让Web出圈的新叙事。来源：金色财经

金色财经2023-05-24

2023年以太坊大会EDCON Super Demo胜选项目速览

s Protocol 一句话简介：用于DeFi资产管理的自定义链上金库。 Aspis是一个无代码平台，使用户能够创建自定义资产管理保险库，同时还为被动投资提供友好、透明和安全的替代方案。其目标是为去中心化自治基金的创建、筹集资金和运行提供了一个工具集，旨在通过将法律条款清单背后的逻辑转移到智能合约来管理金库创建者/经理与投资者之间的关系。 Aspis由三个主要组件组成： Aspis用例：为资产管理创建量身定制的保险库、通过Launchpad 为用户金库筹集资金、以最高级别的透明度管理 Vault 的资产、直接从 Vault 的余额访问主要的 DeFi 场所、链上关键会计流程自动化、自动向贡献者释放代币、通过有限的活动清单和管理限制来控制管理人员的支出、 • 通过链上投票参与决策。 Nerif Network 一句话简介：去中心化跨链智能合约自动化平台 Nerif Network可跨多个链自动化dApp执行过程，而无需依赖任何链下程序。其工作机制如下： 1、设置执行触发器：定义将触发工作流程的链下或链上事件或条件； 2、添加操作：根据触发器指定工作流应执行的操作； 3、激活工作流：使自动化工作流程上线并准备好运行； 4、监控和管理dApp自动化：使用全面的监控和管理工具毫不费力地监督和控制自动化工作流程。来源：金色财经

金色财经2023-05-24

24小时热点