FX168财经网_全球视野外汇黄金加密货币NFT资讯网_关键字搜索-FX168

全球数字财富领导者

财富汇｜美股投研｜客户端｜旧版｜｜

FX168 全球视野中文财经

登录 / 注册

Filecoin 及 FVM 生态开发又有新进展？一起看看
 go
Waterloo活动中，我们看到了一场黑客马拉松的精彩展现，这是对Filecoin和FVM生态持续发展的最好证明。活动的第二天，黑客们仍在继续他们的开发工作，我们期待看到他们的创新产品，每个参与者都在为Filecoin的FVM生态系统做出了自己的贡献。 FVM生态的发展不仅仅代表着Filecoin自身的进步，更体现了Filecoin对开放、创新和合作的承诺。FVM提供了一个开放的平台，让开发者能够利用Filecoin的优势，为全球用户构建有价值的应用程序。Filecoin通过持续的技术研发和协作，推动了FVM生态的繁荣。黑客马拉松作为一个开放的技术交流平台，使得世界各地的黑客和开发者能够共享知识，共同探索未来可能的解决方案。Filecoin的开发者社区一直是其成功的重要组成部分，他们不仅仅是技术实现者，更是创新的驱动力。通过这样的活动，开发者们得以将他们的创新精神与Filecoin的技术相结合，共同推动FVM生态的发展。此外，Filecoin也积极推进FVM生态的全球化。通过全球各地的黑客马拉松和技术交流会，Filecoin正在向全世界展示其作为区块链领域领先技术的能力，同时吸引全球开发者参与到FVM生态的建设中来。这不仅推动了Filecoin技术的全球化，也为全球用户带来了更好的使用体验。 #ETHGlobalWaterloo活动是FVM生态发展的一个缩影，我们可以清晰地看到，不管是Filecoin团队还是全球的黑客和开发者，都在持续地为FVM生态的发展付出努力。而这正是推动Filecoin持续发展的原动力，也是Filecoin在未来能够继续引领区块链技术进步的关键。总的来说，通过对FVM生态的持续投入和推动，Filecoin正在为全球用户提供更加安全、便捷的去中心化存储解决方案。大有也期待Filecoin在未来的日子里，能够带领FVM生态实现更多的突破，为区块链技术的发展注入更多的活力。免责声明：本文仅供参考，不构成投资建议。投资者在做出决定前应仔细研究。我们不对您的投资决定负责。来源：金色财经
金色财经2023-06-26
Bankless：Optimistic Rollup的繁荣与困境
 go
案来减轻所有这些问题，并回到 DAO 黑客来解释为什么以太坊可能不会简单地摆脱困境。另一个主要漏洞。 Optimistic 的弱点顾名思义，Optimistic rollup 乐观地假设运营商向以太坊发布的 rollup 状态是正确的，除非另有证明，并从加密「欺诈证明」中获得其安全性。今天，Arbitrum 是唯一一个具有有效欺诈证明的主要 L2，目前只有被许可的参与者才能证明其状态是不正确的。如果参与者对链的状态有争议，rollup 协议将启动一个防欺诈证明计算，这是挑战者和 rollup 之间的一种链上对话形式，以确定状态是否有效。否则，交易状态改变被恢复，哈希被重置为可证明正确的状态根。Optimistic rollup 围绕着 7 天的标准挑战期，这给了善意的参与者足够的时间来质疑数据汇总的状态。然而，Optimistic rollup 的安全性基于两个核心假设： 1. 在无效状态的情况下，有人提交欺诈证明关于假设一，我们可以合理地预期，一个诚实的参与者会通过尝试发布欺诈证据来挑战无效状态。 2. 底层 L1 仍然是抗审查的以太坊的抗审查特性当然值得称赞。例如，当区块已满时，EIP-1559 会以指数方式增加基本费用 ( 交易费用的一部分 )。从理论上讲，这应该禁止参与者通过垃圾邮件交易对 L1 进行 DDos 攻击，以防止欺诈证据的发布，因为攻击所需的 gas 成本将很快超过在 7 天挑战期结束之前积累的价值。来源：推特不幸的是，即使在假设的未来世界中，所有 Optimistic rollps 都有无需许可的欺诈证明，一个令人担忧的攻击向量仍然存在。尽管不太可能，但仍然有可能阻止欺诈证据的发布，同时通过验证者勾结来规避 EIP-1559 指数级增长的 gas 费。竞争各方必须能够在 L1 级别提交欺诈证明，因为 rollup 协议将没有任何挑战解释为对其状态的隐含同意。由于在 L1 处串通而产生的欺诈证明的潜在审查会使第 2 点无效，从而使 rollup 的安全承诺无效。来源：推特不可避免的选择虽然他们 Optimistic 的对应方案更容易实现，并且在今天的以太坊 L2 领域占据主导地位，但 zkRollup 可能会破坏当前的范式，提供即时确认、更快的终局性、更高的吞吐量和原生隐私。与用欺诈证明来争论不正确的 rollup 状态不同，这类 rollup 选择了有效性证明，这是一种链下计算的形式，可以验证 rollup 操作者提交的交易的正确性，并证明 rollup 的正确性，而无需透露状态本身。虽然密码学上很复杂，但这种证明设计意味着发布的状态将始终反映 L2 的正确状态，并且意味着 zkRollup 仅依赖于以太坊的抗审查特性，而不是安全性，就像 Optimistic rollup 在其欺诈证明方案下所做的那样。其中一些 zkRollup 已经进入了主网，它们的快速采用显示了对建立在以太坊之上的零知识扩展解决方案的需求。领先的是 zkSync Era，它在用户和 TVL 方面都有最积极的流入 ( 很大程度上是由于空投的猜测 )，自 3 月底部署到主网以来，它的 TVL 已经积累了令人震惊的 1.55 亿美元。来源：Artemis 不可否认的是，竞争对手们一直在努力争取类似的成功，从 4 月初开始，Starknet 和 Polygon 的 zkEVM 都看到了大量的 TVL 流入。就在昨天，Polygon Labs 提议对现有的 Polygon PoS 链进行升级，在这个过程中，围绕什么是「rollup」的讨论进一步陷入了混乱。来源：推特然而，一个关键的区别是，将上面突出显示的 zkRollup ( 包括 Polygon 的 zkEVM Rollup) 与零知识有效性 ( 似乎是 Polygon PoS 链的未来 ) 分开。向以太坊发布有效性或「zk」证明确实保证了 Polygon PoS 状态转换的正确性，但用户仍将依赖 MATIC 网络来保持有效性的数据可用性和功能。来源：Polygon Labs 虽然这种方法无疑将削减交易费用并提高可扩展性，但通过将数据可用性外包到以太坊之外，为 Polygon PoS 提出的「有效性」愿景将不会继承以太坊支持的完整安全包和可用于真正的 zkRollup 的活跃性。 DAO 黑客在考虑未来任何潜在的黑天鹅事件时，回顾历史是有帮助的。以太坊上线不到一年，这个新生的生态系统就被迫面对一个灾难性的事件：DAO 黑客攻击。 DAO 于 2016 年 4 月启动，并通过赋予代币持有者前所未有的投票权，在短短四周的形成期内筹集了 1.5 亿美元。不幸的是，他们在筹款方面取得的前所未有的成功是短暂的，一个攻击者使用了重入攻击，耗尽了 DAO 控制的几乎所有 ETH。尽管白帽黑客组织「罗宾汉」尽了最大的努力来追回这些资金，但攻击者仍然留下了 4000 万美元的 ETH，相当于当时流通的以太币供应量的 5% 。在混乱的后果中，以太人达到了最终的重置按钮：不规则的状态改变！虽然以太坊经常采用协调硬分叉来实现协议升级，正如在 Merge 和 Shapella 期间所看到的那样，但清理 DAO 黑客攻击需要额外的步骤。这次硬分叉不仅修复了导致 DAO 崩溃的漏洞，还将所有被黑客攻击的资金归还给了它们的合法所有者。回滚 DAO 黑客攻击是一个有争议的决定，其中大部分阻力来自比特币支持者，他们认为不规则的状态链会降低以太坊网络的可信度，并规避区块链不变性的整个前提。最终，专业硬分叉者赢得了这场战斗，这一壮举之所以成为可能，是因为人们担心黑客大量集中的以太币 ( 5% ) 会让人们同样难以认真对待网络。如果 rollup 被利用，就会要求进行这样的重置——而且有充分的理由，因为它之前很好地解决了问题——但现在还不要交叉手指，这次没有人会来拯救你的加密项目。硬分叉的决定并不是轻易做出的，使用它来操纵账户余额确实损害了区块链技术的价值主张。实现类似硬分叉的请求在提案炼狱中陷入了停滞，比如 EIP-867( 旨在标准化资金回收请求 ) 和 EIP-999( 旨在撤销 513 k ETH Parity Wallet 灾难 )。以太坊魔术师 Vitalik Buterin 最近在他的文章「不要超载以太坊的共识」中对任何可能的回滚节点发出了严厉的谴责，他认为脆弱的社会共识会造成链分裂的高风险，并且在成熟的社区中应该谨慎使用硬分叉。虽然这篇文章主要讨论了再质押对社会共识造成的危险，但 Vitalik 明确指出，rollup 可能依赖以太坊来分叉和回收资金，这是一种高风险的共识应用，因此可能导致链分裂。来源：Vitalik Buterin 除非我们看到以太坊社区的守卫发生了根本性的变化，否则我们不太可能看到另一个 DAO 式的不规则状态变化来掩盖 rollup 漏洞。 TL;DR 说实话，我们仍然处于以太坊扩容之旅的早期阶段！ Optimistic rollup 代表了开发人员迄今为止扩展以太坊的最佳尝试，但它们仍然容易受到攻击，并且攻击面只会随着它们的日益成功而扩大。然而，面对以太坊的社会共识可能无法拯救被利用的 Optimistic rollup 的现实，寻求替代的扩展解决方案势在必行。虽然今天的缺点很明显，但不可避免的是，进一步的时间和发展将使各种 zkRollup 和类似 rollup 扩展方法背后的团队能够完善他们的解决方案，从而解决以太坊当前的扩展挑战。来源：金色财经
金色财经2023-06-26
起底账户抽象生态：有哪些值得关注的钱包与基础设施？
go
险。这种离线存储的方式大大降低了私钥被黑客入侵的可能性。其次，Braavos 使用多重签名技术，要求在进行重要操作，如资产转移，需要多个授权签名才能执行。这种机制增加了交易的安全性，即使用户的一台设备被入侵，黑客也无法独自完成重要操作。此外，Braavos 还支持生物识别技术，如指纹和面部识别，以增加额外的身份验证层级。这种双重身份验证确保只有授权用户才能访问其钱包和执行敏感操作。为了应对潜在的网络攻击，Braavos 还使用了防钓鱼技术和安全的网络通信协议。它会对发送到用户的信息进行验证，并确保用户只与经过身份验证的合法服务器进行通信。 Argent Argent 是一款基于以太坊的智能合约钱包，旨在提供简单、安全和易用的区块链体验。它为用户提供了一个直观的界面，使他们能够管理数字资产、发送和接收加密货币，并与 DApps 进行交互，而无需繁琐的技术步骤。Argent 也使用了多重签名，每笔交易都需要多个授权签名才能完成，这样即使黑客入侵用户的设备，也无法单独执行敏感操作。这种多重签名机制提供了额外的安全层级，确保用户资产不受未经授权的访问。 Argent 提供两种私钥管理选择，第一种是将私钥保存到 iCloud，并使用生物识别或 PIN 进行身份验证。这个方式确实非常方便，但鉴于已经发生过多起因为 iCloud 而被盗取私钥的事件，这种方式安全性较低。第二种是通过私钥共享，将私钥分成多份保存在不同监护人手中。由于 Argent 采用了一种称为 Guardian 模式的安全机制。用户可以选择信任和授权一个或多个受信任的联系人，作为他们的 Guardians。当用户进行敏感操作或遇到风险时，Guardians 将参与到交易确认和授权过程中。这种安全机制确保用户即使失去访问权限或遭遇问题，也能够通过 Guardians 来恢复和保护他们的钱包。用户可以根据需要设置任意数量的监护人，并定义自己的阈值，这增加了用户设置的灵活性。这种方式减少了设置过程中的复杂性，而且我们可以以私密且无需信任的方式进行配置。然而，它也有缺点，即我们创建的钱包与使用普通钱包标准的任何其他非托管钱包不兼容。我们需要时刻希望该项目不会倒闭，并且我们的监护人都能安然无恙。 Argent 还提供了一种高级的恶意行为检测系统。它通过分析用户的交易模式和行为模式来识别潜在的风险和异常活动。如果系统检测到可疑操作，它将发出警报并要求用户进一步确认或采取必要的安全措施。此外，Argent 还为用户提供了硬件钱包的集成支持。用户可以使用硬件钱包来存储他们的私钥，进一步增强其安全性。这种离线存储方式使得私钥无法被网络攻击获取，大大降低了潜在的风险。 Gnosis Safe Gnosis Safe 是一款支持多条 EVM 链的智能合约钱包，也是目前市场上最受信任的智能合约钱包之一。 Gnosis Safe 采用了多签名机制。这意味着在进行任何资产转移之前，需要得到多个授权人的批准。每个授权人都拥有自己的私钥，并且需要参与到转账操作中，确保资产只能根据事先设定的规则和条件进行转移。这种机制有效地防止了单点故障和潜在的安全风险，因为攻击者需要获取多个私钥才能够窃取资产。 Gnosis Safe 支持硬件钱包集成。用户可以将硬件钱包（如 Ledger 或 Trezor）与 Gnosis Safe 进行连接，这样私钥将安全地存储在硬件设备中，并且与其他签名者进行联合批准，从而提供了额外的安全层级。这种设计使得即使在存在恶意软件或网络攻击的情况下，用户的私钥也不会暴露在不安全的环境中。此外，Gnosis Safe 还支持模块化扩展。用户可以选择添加不同的模块来增强其钱包的功能和安全性。例如，可以添加执行智能合约的模块，或者添加审计模块以监测钱包中的交易活动。这种模块化的设计使得用户可以根据自己的需求和偏好来定制和增强钱包的安全性。 Avocado Avocado 是一种智能合约钱包，致力于提供安全可靠的加密资产管理和交易体验。它采用了一系列设计来确保钱包的安全性，并保护用户的资产免受潜在的风险和攻击。 Avocado 采用了加密算法对私钥进行加密，并在本地设备上存储，确保私钥不会被泄露给第三方。此外，它还通过传输层加密（TLS）协议来保护网络通信，防止中间人攻击和数据篡改。Avocado 也支持硬件钱包集成，且采用去中心化身份验证和多因素身份验证（如指纹、面部识别等）等技术，确保只有授权用户才能访问钱包和进行交易操作。这种设计有效地防止了未经授权的访问和资产盗窃。此外，Avocado 注重用户教育和安全意识。它提供了安全性提示、警告和建议，帮助用户了解常见的钱包安全风险和防范措施。此外，它还鼓励用户设置强密码、定期备份钱包、定期更新软件版本等最佳实践，以增强钱包的整体安全性。目前，还有像 Rhinestone、Soul Wallet、Ambire、Patch Wallet、Obvious Wallet、Nest Wallet 等等的 AA 钱包可供用户使用，他们与 Argent 或 Braavos 的主要差异在可以提供的特定功能和设计上。 II. AA 钱包基础设施 Biconomy Biconomy 提供了一种账户抽象机制，称为"Meta Transactions"，使用户无需拥有以太坊钱包或支付交易费用即可进行交易。用户可以使用第三方服务提供商作为信任代理，以代表用户发送和执行交易。这种账户抽象机制简化了用户与以太坊的交互流程，并降低了用户的交易成本。 Biconomy 的账户抽象方案还提供了高级的权限管理功能。用户可以根据自己的需求，配置和管理账户的各种权限设置。例如，用户可以设置不同级别的权限，以控制账户的转账、合约执行或敏感操作。这样，用户可以根据自己的风险偏好和安全需求，更好地保护和控制自己的账户。值得一提的是，作为账户抽象的一部分，Biconomy 引入了 bundlers 和 relayers 这两个角色进入可编程层，用于处理和执行用户的交易请求，并获得相应的报酬。这种设计使得 Biconomy 的账户抽象机制更具可扩展性和灵活性，使用户能够轻松地使用智能合约的功能，并通过 bundlers 或 relayers 实现更高效的交易处理。此外，Biconomy 还为开发者提供了自己的 SDK 开发工具包，使得开发人员可以轻松地集成和使用账户抽象功能，以提升智能合约钱包的体验。例如，它支持各种区块链网络和智能合约平台、提供了交易优化和成本优化的功能等等。目前 Biconomy 是整个 AA 生态中用量最大、用户最多的平台。 Gelato 首先，Gelato 通过引入账户抽象，允许用户将复杂的操作逻辑封装为可重用的智能合约，从而简化了智能合约的编写和使用过程。 Gelato 的智能合约钱包基础设施则提供了自动化执行智能合约的功能。用户可以在 Gelato 上创建自动化任务，并设置触发条件和执行操作。当触发条件满足时，Gelato 会自动执行相应的操作，无需用户手动介入。这种自动化机制可以帮助用户实现定时任务、条件触发等复杂逻辑，提高操作的效率和准确性。 Gelato 允许用户通过订阅服务来连接其账户和智能合约。用户可以选择订阅特定的智能合约事件或状态变化，当这些事件或状态发生时，Gelato 会自动执行相关的智能合约操作。这样，用户可以将账户与智能合约的交互抽象为更高级别的事件触发和自动化执行。 Gelato 同样引入了 relayers 以支持高效的交易处理。通过这些账户抽象的机制，Gelato 使得用户无需直接处理复杂的智能合约代码和底层协议，而可以使用更高级别的条件和事件触发来实现智能合约操作。这样，非技术用户也能够轻松地利用智能合约的能力，并自动化执行特定的操作，提高效率和便利性。 Pimlico Pimlico 提供了一个易于使用的用户界面，用户可以通过界面与智能合约进行交互。用户只需选择合适的操作选项并提供必要的参数，Pimlico 会代表用户执行相应的智能合约操作。这种方式消除了用户编写复杂合约调用代码的需求，大大简化了用户与智能合约的交互流程。另外，Pimlico 还引入了 Paymaster 服务机制。Paymaster 是一个智能合约，它充当了用户和智能合约之间的支付中介。当用户使用 Pimlico 与智能合约进行交互时，Paymaster 会负责处理支付事务。用户只需将支付金额发送给 Paymaster，然后 Paymaster 将相应的支付转发给智能合约。这样做的好处是用户无需为每个交易单独支付手续费，而是可以一次性向 Paymaster 支付，并由 Paymaster 代为转发。 Paymaster 服务机制还提供了更多的灵活性和安全性。例如可以实施不同的收费模型，如固定费用、百分比费用等，根据实际需求灵活调整，还比如验证用户身份、实施访问控制等，以增强交互的安全性和可信度。 Candide Candide 是一个基于 Substrate 的智能合约钱包基础设施，其特点是通过入口点合约实现账户抽象、账户恢复、以及使用 Paymaster 使用 ERC-20 支付 Gas fee 等功能。Candide 的愿景是通过 Voltaire bundler 推动以合约账户在以太坊和 EVM 网络上的采用。Voltaire bundler 是一个快速友好的 ERC-4337 兼容 bundler。 Unipass Unipass 是一款免费 Web3 账户与钱包，提供从私钥管理到 DID 和社交恢复的一站式服务。Unipass 提供了一系列功能，包括 SDK、多链支持、去中心化身份验证、去中心化交易等，以提供更好的账户抽象体验。可以预见的是，在不久的未来，AA 将在应用层大规模普及，账户抽象带来的变化同样蕴藏着生态爆发的可能性。在 Vitalik 最新的提案中展示中，Rollup + 账户抽象的技术路径受到了广泛的认可，截至目前，各个原生 Rollup 也纷纷推出了兼容账户抽象的新版本，例如 zkSync 和 Starknet。而随着 Rollup 的发展，可以与 Rollup 进行结合的账户抽象化一定也能发展出更优更精细的方案。来源：金色财经
金色财经2023-06-26
金色观察 | 一文速览57个Linea 生态项目
 go
PI 是一种链上网络安全协议，旨在防止黑客和利用者跨各种区块链进行欺诈。 GameFi： Cataclysm 网站：https://www.cataclysm-game.com/zero-mission “大灾变:零任务”是一款迷你游戏，即将于2023 年底推出，同时也是链上加强版免费 PC 游戏“大灾变”的前奏。 Battlemon 网站：https://battlemon.com/ GameFi 生态系统围绕交互式 3D NFT 来构建，具有实用程序和具有结果概率的链上机制，玩家可以通过挖矿、游戏、质押来获得奖励。来源：金色财经
金色财经2023-06-26
Flow Ark – 为未来构建的去中心化数据传输网络
 go
中介的情况下验证交易，因此在传输过程中黑客攻击或盗窃的风险将降低。 - 能源效率：由于节点不需要像基于 PoW 的系统那样解决复杂的数学问题，因此它们消耗的能量更少。 - 可扩展性：随着越来越多的用户加入网络，与基于 PoW 的网络相比，电力消耗没有增加。方舟云计算简介为了激励用户进一步为Flow Ark网络贡献存储和计算资源，而不仅仅是CPF代币，将发行一个名为“方舟云计算”（ACC）的额外代币。ACC 可以通过 Flow Ark 生态系统内的分布式存储和云计算功能提供未使用的设备资源来获得。挖掘 ACC 涉及使用连接到单个计算机或服务器的硬件设备，这些设备为Flow Ark网络中的数据传输操作贡献未使用的存储空间和CPU周期。这些设备充当节点，负责代表参与验证过程的其他节点验证交易;从而定期为他们赚取以新铸造的 ACC 代币支付的奖励。结语 Flow Ark通过其基于区块链的分散式数据传输网络解决了传统网络传输的问题。通过在其共识机制中利用DPoS算法，分片实现可扩展性和基于DRG的验证者选择;Flow Ark为全球个人和企业提供可靠，稳定和高效的数据传输服务。 Flow Ark激励用户通过分布式存储和云计算功能为网络贡献未使用的存储和计算资源。这允许网络通过利用单个设备未使用的计算能力来进一步扩展，同时使用类似于CPF协议层的委托权益证明（DPoS）共识机制提供奖励作为交换。来源：金色财经
金色财经2023-06-26
前SEC互联网执法主任：加密货币犯罪已发展为犯罪分子的杀手级应用
 go
的加密货币犯罪实施地。朝鲜的加密货币黑客正在为核末日铺平道路。朝鲜已悄然成为加密货币超级大国。它窃取了数十亿美元的比特币和以太坊，并将利润转移到核武器计划中。区块链的透明度并没有让抓捕罪犯变得更容易与此同时，美国执法部门往往无力调查与加密货币相关的犯罪，更不用说起诉了。据此，美国司法部最近报告称，犯罪分子在国际上利用加密技术进行创新、声称加密技术具有去中心化和匿名性功能。因此，数字资产技术的跨境性质需要在执法过程中与外国执法部门合作，这给识别、逮捕、引渡和起诉加密货币犯罪分子带来了极其复杂、有时甚至是不可能的挑战。加密货币仍然是一场可怕的瘟疫，它引发了规模空前的高科技犯罪浪潮，并给执法部门的追踪带来了巨大的挑战。至少就目前而言，严酷的现实是，大多数使用加密货币来实施犯罪的犯罪分子可能永远不会被抓获，他们的不义之财也可能永远不会被追回。那些传播“加密交易很容易追踪的神话”的人仍然是错误的。首先，如果加密货币如此容易被追踪，那么数以万计的勒索软件攻击者都会被抓住。但现实情况是，只有极少数人的身份被查明，更不用说被逮捕、指控、引渡和绳之以法了。存在太多与加密货币相关的工具来掩盖、伪装加密交易。例如，FinCEN 在 2022 年 11 月宣布，美国金融机构 2021 年在勒索软件付费方面花费了近 1.2亿美元，比 2020 年增加了一倍多，而与勒索软件有关的 1,251 笔勒索软件付款中，四分之三显然支付给了俄罗斯犯罪团伙。如果加密货币如此容易被追踪，那么勒索软件付款收集者的身份、行踪和详细信息就会被知晓，并且起诉也会随之而来。但这种情况很少（如果有的话）真正发生。其次，虽然加密支付（如果没有被掩盖或正确洗钱）在某些情况下可能会提供加密货币流向信息链，但该链无法识别加密货币将流向谁。最后，即使在加密货币追踪的最佳情况下（这种情况很少见，需要付出很大的努力，并且仅在某些情况下有效），实际持有者的身份通常是通过传票、搜查令、逮捕等方式找到的。当个人和实体居住在美国以外的国家时，这不是一件容易的事，他们不仅会对抗美国的执法努力，而且甚至会拒绝接受服务。（例如，SEC/Terraform一案中，Terraform及其创始人继续对抗SEC的传票，尽管有详细的裁决迫使他们这样做。）据此，美国财政部在2023年4月6日题为“去中心化金融中的非法金融风险评估”的报告中悲观地指出: “依靠公共区块链信息追踪来减少 DeFi 领域的非法金融风险存在一些局限性。首先，如上所述，公共区块链上的数据是匿名的。虽然监管机构、执法部门和公共区块链公司在某些情况下可以识别交易参与者，但在其他情况下，他们可能只有参与者的钱包地址而没有额外的识别信息。此外，用户可以通过使用混合器、跨链桥来混淆公共区块链上的交易追踪；其次，区块链追踪和分析通常需要初始识别的非法交易或地址作为起点，尽管新工具能够基于区块链识别潜在的可疑活；第三，DeFi 服务中的关键活动可能发生在链外，定位和获取这些数据存在挑战。” 混合器和翻转器不幸的是，除了混合器和翻转器之外的加密货币洗钱工具继续有了新的、更有效的迭代，继续流行，并继续呈指数级增加加密隐藏工具包，包括： - 嵌套且不受监管的加密货币交易所。美国对数字资产交易平台缺乏监管，这些所谓的 Web3 交易服务对投资者构成的巨大威胁，还延伸到了洗钱活动。犯罪分子可以在各种流行的加密货币交易平台上维护账户，允许客户使用这些账户进行交易。嵌套交换甚至无需 KYC 要求即可立即访问所有功能，直接向犯罪分子进行营销。例如，根据 CNBC 最近的一篇报道，加密世界中犯罪分子洗钱的主要方式是通过区块链发送数字资产，绕过可以跟踪和冻结交易的中心化服务。他们使用所谓的跨链桥来实现这一目标，并且涉案美元金额越来越大。根据区块链分析公司 Elliptic 的最新研究，自 2020 年以来，一种名为 RenBridge 的特殊跨链桥被用来洗钱，其中涉及至少 5.4 亿美元的加密货币。 - 隐私币（例如 Monero (XMR)、Zcash (ZEC) 和 Dash (DASH)）。例如，门罗币对区块链上的收件人地址进行加密，并生成虚假地址来掩盖真正的发件人。它还掩盖了交易金额。根据美国总检察长网络数字工作组 10 月 8 日发布的名为《加密货币：执行框架》的报告，隐私币可能会破坏现有的反洗钱法，并被用来资助恐怖主义。 - 跳链。美国司法部警告说，跳链“经常被用来清洗加密货币盗窃所得”，并涉及将一个人的加密资产与在比特币和以太坊等不同区块链上运行的其他人的加密资产进行交换。事实上，区块链分析和加密合规公司 Elliptic 最近的研究揭示了跨链桥和去中心化交易所 (DEX) 在很大程度上消除了网络犯罪分子的障碍。在 10 月 4 日题为“跨链犯罪状况”的报告中，Elliptic 研究人员 Eray Arda Akartuna 和 Thibaud Madelin 深入研究了他们所说的“加密货币洗钱的新领域”。报告总结称，由于跨链桥和DEX等新技术的出现，加密资产之间的资本自由流动更加不受阻碍。据 Elliptic 报道，自 2020 年初以来，网络犯罪分子一直在利用跨链桥、DEX 和代币互换来混淆至少价值 40 亿美元的非法加密收益。 - 点对点（P2P）加密网络。 P2P 去中心化网络允许用户在没有交易所的情况下交易加密货币，犯罪分子利用不知情的用户（钱骡）将资金发送到其他地址，最后发送到反洗钱标准很少的国家的交易所。例如，边玩边赚钱（P2E）加密游戏正在成为一种流行的区块链应用程序，它带来了很高的诈骗和洗钱风险。 P2E 加密游戏提供可以在游戏环境之外轻松出售的代币。然后，游戏玩家可以在中心化或去中心化交易所出售在不起眼的 P2E 加密游戏中赚取的加密资金，以换取在以太坊上运行的更具流动性的 ERC-20 代币，尤其是稳定币。然后，游戏玩家可以将更受欢迎的代币转换成他们选择的法定货币。 - 赌博平台。加密赌场现在在世界各地蓬勃发展。犯罪分子可以利用在线赌博网站将加密货币从一个国家发送到另一国家的犯罪分子所控制的钱包地址。因此，犯罪分子可能会购买带有加密货币的芯片，进行一些交易，然后将其“兑现”到由同一犯罪分子、另一名同伙或“嵌套服务提供商”控制的钱包地址“。非法商品的买家和卖家都持有同一提供商的赌博账户，然后他们在赌博账户之间进行玩家间转账，然后卖家将这笔钱“兑现”为赌博利润，这是销售非法商品的利润。沿着这些思路，FinCEN 正在关注提供体育博彩和加密支付选项的赌场，以应对潜在的洗钱问题。 - 不可替代代币（NFT）。 NFT 可以在专门的市场上使用加密货币进行买卖。美国财政部最近的一项研究发现，蓬勃发展的 NFT 市场可能成为洗钱和恐怖主义融资的目标，他们希望“清理”非法获得的资金。 NFT 可以立即从一方转移到另一方，没有任何地理界限或监管限制。 “例如，犯罪分子可以生成匿名 NFT，在区块链上出售，然后通过匿名且不受监管的数字钱包购买它，该钱包包含另一个司法管辖区的非法资金。NFT 最终可能会出售给不知情的用户，这些用户会用干净的资金购买 NFT。” 与 NFT 相关的洗钱指控非常普遍，甚至还有与 NBA NFT 市场相关的恶意指控。 - 链下。加密领域最大的神话是所有加密货币交易都记录在区块链上。事实上，根据反洗钱专家艾莉森·希门尼斯 (Allison Jimenez) 的说法，“只有一小部分加密交易被永久、不可改变、去中心化地记录在区块链上。大多数交易发生在链下、交易所内，交易所保存着私人账本。历史已经向我们展示了很多加密货币公司‘草率’或欺诈性记录保存的例子。” 司法部和抓捕加密货币窃贼是的，美国司法部偶尔会抓到某人（例如，在浴室爆米花罐毯子下的笔记本电脑中发现他们的加密货币），但这种逮捕和拦截的情况很少见。根据美国司法部的说法，数字资产技术的跨境性质使案件在处理时需要与外国执法伙伴合作，以查找和收集涉及离岸数字资产发行人、交易平台、服务提供商和其他在线基础设施的电子记录和数字证据；扣押并防止与犯罪相关的数字资产的进一步分发；并识别和追究那些利用Defi和区块链技术的匿名特征来逃避检测的犯罪行为者。同样，从用加密货币支付勒索软件，到使用数字资产规避制裁和其他限制，美国司法部正在发出警报，称加密货币正在扩展到该机构正在探索的每个领域。美国司法部国家加密货币执法小组 (NCET) 主任 Eun Young Choi 最近表示，美国司法部承认过去几年加密相关犯罪大幅增加： “我们看到加密货币和数字资产确实触及了我们调查的犯罪活动的各个方面……从本质上讲，该技术的创建是为了不依赖中介机构，跨境交易是不可改变和不可逆转的。执法部门可以冻结传统交易，但数字资产交易却无法做到这一点。” 展望未来在很大程度上，金融先驱通过支持互联网、移动电话和云计算等变革性技术，让我们的生活变得更加美好——他们理应获得 10 倍的利润。但区块链和加密并不是创新，也不是其他任何具有如此重大意义的东西。对我来说，加密货币仍然是交换数学泡沫的错误解决方案，解决不了美国的问题。但却开启了一个超乎想象的数字混乱时代，造成严重破坏，并将受害者变成加害者。加密货币有两个主要受益者： 1) 骗子，他们通过推销加密货币来吸引投资者，特别是如果这些投资者是受压迫的投资者，他们会在他们的计划中注入掠夺性的亲和欺诈元素（就像支票兑现服务和发薪日贷款一样）； 2) 犯罪分子利用加密货币的匿名性在全球范围内策划了一系列毁灭性犯罪。无论怎样的主义都无法对抗这个严峻的现实。来源：金色财经
金色财经2023-06-26
金色Web3.0日报 | 外媒：多家知名公司对FTX 2.0重启感兴趣
 go
Fi项目Discord服务器遭入侵，有黑客发布钓鱼链接。在团队重获其服务器的控制权之前，请勿点击任何链接。 4.Messari：Optimism完成主网Bedrock升级后，每笔交易gas费用下降约70% 6月25日消息，Messari发推称，Optimism完成主网Bedrock升级后，降低了约47%的费用并缩短了存款时间。每笔交易的gas费用下降了大约70%，使Optimism主网成为代币兑换中最便宜的以太坊L2网络。Bedrock让Optimism更加接近“超级链”。此前消息，Optimism已于6月7日凌晨完成主网Bedrock升级。据悉，Bedrock是由OP Labs开发的新一代去中心化Rollup基础架构，旨在为Layer2网络提供模块化、简单性和以太坊等效性。本次升级旨在提升区块链性能，将存款确认时间从10分钟减少到1分钟，并将gas费用降低40%。 5.贝莱德高管：只有在DeFi中实施KYC和反洗钱措施，机构才会真正采用区块链技术 6月25日消息，贝莱德(BlackRock)战略生态系统合作关系负责人Joseph Chalom周四在金融专业人士礼堂上表示，股票、债券和其他传统资产将会实现代币化，但速度将“比人们预期的要慢”。此外，他强调，只有在KYC和反洗钱做法在DeFi中被接受和实施之前，区块链技术才会在机构中得到真正的采用。Chalom称，我认为，无论有多少流动性，受监管的大型机构都很难在没有这些阻碍的情况下参与进来。我只知道，如果我们不知道与谁交易，我们就会进监狱。元宇宙热点 1.元宇宙游戏开发商AlterVerse天空之城内测第二期已开启 6月25日消息，元宇宙游戏开发商AlterVerse天空之城第二轮封闭测试已启动，持续4天，并将于6月26日结束。据此前报道，2022年10月，AlterVerse宣布完成一轮私募轮融资，Binance Labs、Polygon Ventures、Ankr、Baselayer Capital、EnjinStarter等参投。 2.通州区政府工作报告：试点和深入实施元宇宙创新发展三年行动计划金色财经报道，2023年北京市通州区政府工作报告提出，继续保持千亿以上投资规模，不断优化投资结构，推动投资向高精尖产业、民生等领域倾斜，有效带动社会投资。具体到产业方面，北京通州区将重点打造“四区三镇三园”十大重点产业功能区。2023年将进一步丰富金融业态，建设“基金财富港”，加快打造全球财富管理中心、全球绿色金融和可持续金融中心。另外，推动金融业数字化创新与试点和深入实施元宇宙创新发展三年行动计划。免责声明：金色财经作为区块链资讯平台，所发布的文章内容仅供信息参考，不作为实际投资建议。请大家树立正确投资理念，务必提高风险意识。来源：金色财经
金色财经2023-06-25
加密货币是史上最大骗局？爱好者和批评者的十年恩怨史
 go
的基本原则，解决 DeFi 领域频繁的黑客攻击需要更多的中心化。事实上，DeFi 在 2020-2021 年确实面临一些技术限制，导致愿景与实际之间的脱节变得越来越明显： DeFi 面临 Gas 费用过高的问题，降低了对低资本用户的吸引力 DeFi 的 De（去中心化）水平越来越值得怀疑，因为在所有协议中，团队都在集中控制开发和更新更重要的是，DeFi 协议及其治理由少数富有的“持币巨鲸”所主导，其中大部分是协议创始人一切都超额抵押，增加资金机会成本在交易、杠杆和合成资产方面，DeFi 远远落后于其想要取代的中心化平台区块链的不变性意味着用户与 DeFi 协议交互的错误是不可逆转的，代价高昂。在 DeFi 此后的三年发展中，有很多新的协议都在试图改变这些问题。但有趣的是，最初以“让有银行的人去银行化”为使命的 DeFi，现在似乎优先考虑追求更高的收益率，而不是其最初的目的。权力下放的幻想为各国央行服务的国际金融机构 BIS 也在其 2021 年季度报告中对 DeFi 的去中心化水平提出了质疑。该组织认为 DeFi 的完全去中心化是一种幻想：由于不可避免的中心化治理需求和区块链共识机制权力集中的趋势，DeFi 存在“去中心化幻想” DeFi 固有的治理结构是公共政策的自然切入点（事实证明，已有多个 DAO 被起诉）由于高杠杆、流动性错配、内在互联性以及缺乏抗风险能力，DeFi 非常脆弱。 BIS 认为，这三个方面使得 DeFi 生态系统特别容易受到金融不稳定所带来的冲击。 DeFi 中的杠杆：一把双刃剑尽管大多数 DeFi 都倡导超额抵押，但 DeFi 用户对杠杆的使用引发了担忧。（在一笔 DeFi 交易中借入的资金可以在其他交易中被重新用作抵押品）这使得投资者能够在一定数量的抵押品上建立越来越大的敞口，虽然这在牛市中有利，但在熊市或市场低迷期间可能会导致重大损失。 “加密货币是一种邪教” 此外，加密货币社区文化经常被比作“邪教”，例如，比特币最大化主义者和以太坊爱好者等派系都会宣扬他们不同的愿景。彭博社的文章《加密货币寒冬的故事》描述了加密货币社区如何在熊市期间保持热情。加密货币研究员 Molly White 将加密货币社区称为是“掠夺性”的，被誉为“全女性主导项目”的 Fame Lady Squad NFT 实际上是由三名白人男子创建的。《金融时报》的专栏作家 Jemima Kelly，多次将加密货币称为“邪教”：在加密货币社区中，一切都充满乐观情绪，让你保持在狂热之中。你肯定非常熟悉的流行语，比如“Hodl”和“Wagmi”(鼓励加密货币持有者不论面对何种风雨，都要继续持有代币)，在外人看来，听起来有点怪异。一些持有者通过说“我们还早”，向其他持有者保证他们没有错过致富的机会。那些即使有理由出售代币但仍持有代币的人，会被称赞为拥有“钻石手”。在加密货币社区中，批评常常被视为“FUD”（恐惧、不确定性、怀疑），或者被诸如“你根本不明白”之类的言论所驳回。批评者常常遭到断然拒绝，被回以“享受贫穷的乐趣”。骗局，不是骗局？取决于未来总体而言，“反加密运动”拥有大量追随者，即加密货币批评者正在增加。例如，Reddit 子版块 Buttcoin 拥有 15.9 万会员，他们聚集在一起的目的只是想要一起庆祝加密货币的最终失败。他们的座右铭：“Buttcoin - 这是一个骗局，我们对此很诚实！” 有趣的是，加密货币爱好者和批评者都在诈骗、中心化和拉高抛售等问题上都达成了共识。骗局，不是骗局？区别在于未来。作为加密货币的支持者，我相信我们可以塑造一个更健康的生态系统，并让批评者相信区块链确实能为改善社会带来独特的好处。风险提示：根据央行等部门发布的《关于进一步防范和处置虚拟货币交易炒作风险的通知》，本文内容仅用于信息分享，不对任何经营与投资行为进行推广与背书，请读者严格遵守所在地区法律法规，不参与任何非法金融行为。来源：金色财经
金色财经2023-06-25
EDGE全球AI和Web3投资峰会揭幕:创新合作在香港孕育突破
 go
的活动，包括引人入胜的数字时装创意秀、黑客⻢拉松和开创性的AIGC元宇宙时装秀。创新项目Demo Day、主题演讲以及备受期待的LightCycle元宇宙之夜将点燃想象力，激发合作热情。元宇宙之夜将邀请全球音乐、体育和艺术界的知名人物共同呈现一场精彩绝伦的元宇宙时装秀；同时，与最具活力的投资者、企业家和艺术家们互动的独特机会不容错过。请准备迎接一个超越时尚的夜晚，一个充满活力，让创意和技术交融的夜晚。入选EDGE全球AI和Web3投资峰会尊贵嘉宾阵容的皆是备受瞩目的个人和组织。参与者将有机会与行业领袖人物互动，例如: • Lord Ian Botham- 英国上议院议员，板球教父 • Moshe Schlisser - Shefa Capital管理合伙人和Oobit Technologies主席 • Manuel Stotz - Kingsway Capital总裁 • Jean-Luc Bonnefoy - GEM副总裁 • Ander Tsui - VertexLabs和SCC创始人 • Dr. Ben Goertzel - SingularityNET的CEO和创始人、OpenCog Foundation和AGI Society的领导者，以及Humanity+的主席除了夺目的活动和晚会，EDGE峰会还将设置多个分论坛，围绕Web3技术、金融科技、AI领域等多个维度展开深入讨论。全球前沿技术代表、行业领袖、知名投资机构代表以及监管机构代表将⻬聚一堂，探讨Web3的发展趋势、投资机会和监管政策前瞻。作为全球最大、最具影响力的人工智能和Web3投资峰会，EDGE峰会与全球投资机构和创新者合作，举办重要的Demo Day活动。这个平台将为创业者提供展示项目、吸引投资和获得宝贵反馈和洞⻅的机会。对于初创企业和早期⻛险投资者而言，这是推动他们在全球舞台上取得成功的终极展示平台。 EDGE峰会的使命将超越商业边界，提供一个兼容并蓄的讨论平台，深入到广泛的问题中，例如：探索 DAO和数字城邦的潜力，为透明和⺠主的社会治理模式铺平道路；深入探讨智能城市领域，如何应用人工智能和Web3技术创建包容性基础设施，提高人们生活质量。此外，EDGE峰会还将研究人工智能技术如何重塑生产关系、劳动力市场和社会结构，探讨其在各行业的广泛应用以及对就业机会和技能要求的影响。这些讨论的核心在于人工智能的法律框架和道德原则，以及促进人工智能领域可持续发展的社会责任。 EDGE峰会致力于奏响全球智慧和合作的交响乐章，团结来自不同背景的思想领袖，探索人工智能和 Web3技术的变革力量。通过这个里程碑式的峰会，为建设一个更包容、可持续和繁荣的未来社会做出贡献。 “EDGE全球AI和Web3投资峰会”作为创新合作成就新时代的里程碑，期待让您身临其境地⻅证，当全球力量汇聚时，产生的巨大可能性和创新突破；与您共同把握尖端技术潜力风向，共同推动未来发展。来源：金色财经
金色财经2023-06-24
深入剖析ZKML赛道：智能合约智能性的下一步
 go
经得到了一些显着的早期采用，被用作各种黑客马拉松项目的基础设施。 Cathie So 的 circomlib-ml 库包含了用于 Circom 的各种 ML 电路模板。电路包括一些最常见的 ML 函数。由 Cathie 开发的 Keras 2c ircom 是一个 Python 工具，使用底层的 circomlib-ml 库将 Keras 模型转换为 Circom 电路。 LinearA 开发了两个用于 zkML 的框架：Tachikoma 和 Uchikoma。Tachikoma 用于将神经网络转换为仅使用整数的形式并生成计算轨迹。Uchikoma 是一个工具，将 TVM 的中间表示转换为不支持浮点运算的编程语言。LinearA 计划支持使用域算术的 Circom 和使用有符号和无符号整数算术的 Solidity。 Daniel Kang 的 zkml 是一个基于他在《Scaling up Trustless DNN Inference with Zero-Knowledge Proofs》论文中的工作构建的 ML 模型执行证明的框架。在撰写本文时，它能够在约 5 GB 的内存和约 16 秒的运行时间内证明一个 MNIST 电路。在更广义的模型到证明编译器方面，有 Nil Foundation 和 Risc Zero。Nil Foundation 的 zkLLVM 是一个基于 LLVM 的电路编译器，能够验证用流行编程语言（如 C++、Rust 和 JavaScript/TypeScript 等）编写的计算模型。与这里提到的其他模型到证明编译器相比，它是通用的基础设施，但仍适用于复杂的计算，如 zkML。当与他们的证明市场结合使用时，这可能尤为强大。 Risc Zero 构建了一个通用的 zkVM，针对开源的 RISC-V 指令集，因此支持现有成熟的语言，如 C++和 Rust，以及 LLVM 工具链。这允许在主机和客户 zkVM 代码之间实现无缝集成，类似于 Nvidia 的 CUDA C++工具链，但是使用 ZKP 引擎代替 GPU。与 Nil 类似，使用 Risc Zero 可以验证 ML 模型的计算轨迹。 02 广义证明系统证明系统的改进是使 zkML 取得成果的主要推动力，特别是自定义门和查找表的引入。这主要是由于 ML 对非线性的依赖。简而言之，非线性是通过激活函数（例如 ReLU、sigmoid 和 tanh）引入的，这些激活函数应用于神经网络中线性变换的输出。由于数学运算门的限制，这些非线性在 zk 电路中实现起来具有挑战性。按位分解和查找表可以通过将非线性的可能结果预先计算到查找表中来帮助解决这个问题，有趣的是，这在 zk 中的计算效率更高。出于这个原因，Plonkish 证明系统往往是 zkML 最受欢迎的后端。Halo 2 和 Plonky 2 及其表式算术方案可以通过查找参数很好地处理神经网络非线性。此外，前者拥有充满活力的开发人员工具生态系统和灵活性，使其成为包括 EZKL 在内的许多项目的实际后端。其他证明系统也有其优势。基于 R 1 CS 的证明系统包括 Groth 16 ，因其小型证明尺寸而闻名，以及 Gemini，因其处理极大电路和线性时间验证器而闻名。基于 STARK 的系统，例如 Winterfell 证明器/验证器库，尤其在通过 Giza 的工具将 Cairo 程序的追踪作为输入，并使用 Winterfell 生成 STARK 证明来验证输出的正确性时，非常有用。 03 zkML 特定的证明系统在设计能够处理先进的机器学习模型的复杂、电路不友好的操作的高效证明系统方面已经取得了一些进展。基于 GKR 证明系统的 zkCNN 和基于组合技术的 Zator 等系统往往比通用证明系统更具性能，这一点在 Modulus Labs 的基准测试报告中有所体现。 zkCNN 是一种使用零知识证明来证明卷积神经网络正确性的方法。它使用 sumcheck 协议来证明快速傅里叶变换和卷积，具有线性的证明时间，比渐近计算结果更快。已经引入了几个改进和泛化的交互证明，包括验证卷积层、ReLU 激活函数和最大池化。根据 Modulus Labs 的基准测试报告，zkCNN 特别有趣的地方在于它在证明生成速度和 RAM 消耗方面优于其他通用证明系统。 Zator 是一个旨在探索使用递归 SNARK 来验证深度神经网络的项目。验证更深层次模型的当前限制是将整个计算轨迹适应单个电路中。Zator 提出使用递归 SNARK 逐层进行验证，可以逐步验证 N 步重复计算。他们使用 Nova 将 N 个计算实例减少为一个可以通过单个步骤进行验证的实例。采用这种方法，Zator 能够对具有 512 层的网络进行 SNARK，这与大多数当前的生产 AI 模型一样深。Zator 的证明生成和验证时间仍然对于主流应用案例来说过长，但他们的组合技术仍然是非常有趣的。应用领域鉴于 zkML 处于早期阶段，其关注点主要集中在上述基础设施上。然而，目前也有一些项目致力于应用开发。 Modulus Labs 是 zkML 领域中最多样化的项目之一，他们既开展示例应用，也从事相关研究。在应用方面，Modulus Labs 通过 RockyBot（一个链上交易机器人）和 Leela vs. the World（一个人类与经过验证的链上 Leela 国际象棋引擎对战的棋盘游戏）展示了 zkML 的用例。该团队还进行了研究，编写了《智能的代价》，对不同模型规模下的各种证明系统的速度和效率进行了基准测试。 Worldcoin 正在尝试应用 zkML 来创建一个保护隐私的人类身份证明协议。Worldcoin 使用定制硬件处理高分辨率虹膜扫描，并将其插入到 Semaphore 实现中。然后可以使用该系统执行诸如成员资格证明和投票等有用操作。他们目前使用受信任的运行时环境和安全的安全区域来验证相机签名的虹膜扫描，但他们最终的目标是使用零知识证明来验证神经网络的正确推理，以提供加密级别的安全保证。 Giza 是一种协议，采用完全无信任的方法在链上部署 AI 模型。它使用包括 ONNX 格式表示机器学习模型、Giza Transpiler 用于将这些模型转换为 Cairo 程序格式、ONNX Cairo Runtime 用于以可验证和确定性的方式执行模型，以及 Giza Model 智能合约用于在链上部署和执行模型的技术堆栈。尽管 Giza 也可以归类为模型到证明编译器的类别，但他们作为一个 ML 模型市场的定位是目前最有趣的应用之一。 Gensyn 是一个分布式硬件供应网络，用于训练 ML 模型。具体而言，他们正在开发一个基于梯度下降的概率审计系统，并使用模型检查点来使分散式 GPU 网络能够为全尺度模型提供训练服务。尽管他们在这里的 zkML 应用非常特定于他们的用例——他们希望确保当一个节点下载和训练模型的一部分时，他们对模型更新的诚实性——但它展示了将 zk 和 ML 相结合的强大力量。 ZKaptcha 专注于 web3 中的 bot 问题，为智能合约提供验证码服务。他们目前的实施让最终用户通过完成验证码来生成人类工作的证明，验证码由他们的链上验证程序验证，并通过几行代码由智能合约访问。今天，他们主要只依赖于 zk，但他们打算在未来实现 zkML，类似于现有的 web2 验证码服务，分析鼠标移动等行为以确定用户是否是人类。鉴于 zkML 市场还很早，许多应用程序已经在黑客马拉松级别进行了试验。项目包括 AI Coliseum，一个使用 ZK 证明来验证机器学习输出的链上 AI 竞赛，Hunter z Hunter，一个使用 EZKL 库来验证带有 halo 2 电路的图像分类模型输出的照片寻宝游戏，以及 zk Section 9 ，它将 AI 图像生成模型转换为用于铸造和验证 AI 艺术的电路。 zkML 面临的挑战尽管在提高和优化方面取得了飞速的进展，但 zkML 领域仍然面临一些核心挑战。这些挑战涉及技术和实践等方面，包括：以最小的精度损失进行量化电路规模，特别是当网络由多个层组成时矩阵乘法的高效证明对抗攻击量化是将浮点数表示为定点数的过程，大多数机器学习模型使用浮点数表示模型参数和激活函数，在处理 zk 电路的域算术时，需要使用定点数。量化对机器学习模型的准确性的影响取决于所使用的精度级别。一般来说，使用较低的精度（即较少的比特数）可能会导致准确性降低，因为这可能引入舍入和近似误差。然而，有几种技术可用于最小化量化对准确性的影响，例如在量化后对模型进行微调，以及使用量化感知训练等技术。此外，zkSummit 9 上的一项黑客马拉松项目 Zero Gravity 显示出，针对边缘设备开发的替代神经网络架构（例如无权重神经网络）可以用于避免电路中的量化问题。除了量化之外，硬件是另一个关键挑战。一旦通过电路正确地表示了机器学习模型，由于 zk 的简洁性，验证其推理的证明将变得廉价且快速。这里的挑战不在于验证者，而在于证明者，因为随着模型规模的增长，RAM 消耗和证明生成时间会迅速增加。某些证明系统（例如使用 sumcheck 协议和分层算术电路的基于 GKR 的系统）或组合技术（例如将 Plonky 2 与 Groth 16 相结合，Plonky 2 在证明时间方面效率高但对于大型模型的高效证明大小较差，而 Groth 16 在复杂模型的复杂度上不会导致证明大小增长）更适合处理这些问题，但在 zkML 项目中管理权衡是一个核心挑战。在对抗攻击方面，仍然有待努力。首先，如果一个无信任的协议或 DAO 选择实施一个模型，在训练阶段仍然存在对抗攻击的风险（例如训练模型以在看到特定输入时表现出特定行为，这可能被用来操纵后续的推理）。联邦学习技术和训练阶段的 zkML 可能是最小化这种攻击面的一种方式。另一个核心挑战是当模型保护隐私时存在模型盗窃攻击的风险。虽然可以混淆模型的权重，但在给定足够的输入输出对的情况下，从理论上讲，仍然有可能反向推导出权重。这主要是对小规模模型的风险，但仍然存在风险。智能合约的可扩展尽管在将这些模型优化为在 zk 的限制条件下运行时存在一些挑战，但改进工作正在以指数速度进行，一些人预计在进一步的硬件加速下，我们很快就能与更广泛的机器学习领域达到同等水平。为了强调这些改进的速度，zkML 从0x PARC 在 2021 年展示了如何在可验证电路中执行小规模 MNIST 图像分类模型的演示，到 Daniel Kang 在不到一年后为 ImageNet 规模的模型做同样的工作的论文。在 2022 年 4 月，这个 ImageNet 规模的模型的准确性从 79% 提高到 92% ，并且像 GPT-2 这样的大型模型在近期内有望成为可能，尽管目前的证明时间较长。我们认为 zkML 是一个丰富而不断发展的生态系统，旨在扩展区块链和智能合约的能力，使其更加灵活、适应性强和智能化。尽管 zkML 仍处于早期开发阶段，但它已经开始显示出有希望的结果。随着技术的发展和成熟，我们可以期待在链上看到更多创新的 zkML 用例。来源：金色财经
金色财经2023-06-24

上一页
1
•••
241
242
243
244
245
•••
381
下一页

24小时热点

最新话题更多