原文:Avant Blockchain Capital
编译:GWEI Research
配景在畴昔的几个月里,东谈主工智能行业出现了多项破损。 GPT4 和 Stable Diffusion 等模子正在转换东谈主们生成软件和互联网以及与之交互的方法。
尽管这些新的 AI 模子具有令东谈主印象深入的功能,但一些东谈主仍然记忆 AI 的不能瞻望性和一致性问题。举例,在线劳动领域缺少透明度,其中大部分后端责任由 AI 模子运行。考据这些模子是否以预期的方法运行是一项挑战。此外,用户狡饰亦然一个问题,因为咱们提供给模子 API 的所稀有据都可用于改良 AI 或被黑客愚弄。
皇冠体育博彩平台为您提供最多样化的博彩游戏和赛事直播,以及最全面、最优质的博彩攻略和技巧分享,让您在博彩游戏中尽情享受乐趣和收益。我们的平台安全稳定,操作简便,充值提款便捷,为您提供最佳的博彩体验和最高的博彩收益。ZKML 可能是管制这些问题的新次序。通过将可考据和无需信任的属性注入机器学习模子,区块链和 ZK 期间不错酿成 AI 对王人的框架。
黑龙江省紧盯黑土耕地保护,严格落实黑土地保护利用条例,实施黑土地保护性耕作2553万亩。

本文中的零常识机器学习(ZKML)是指在不透露模子输入或模子参数的情况下,使用zkSNARK(一种零常识阐明)来阐明机器学习推理的正确性。字据狡饰信息的不同,ZKML 的用例不错分为以下类型:
各人模子+独稀有据:
狡饰保护机器学习:ZKML 可用于在明锐数据上检会和评估机器学习模子,而无需向任何其他东谈主流露数据。这关于医疗会诊和金融诓骗检测等应用可能很进击。咱们也看到一些玩家在生物特征数据认证上使用 ZKML 来构建东谈主性阐明劳动。阐明:在大大都在线本色由 AI 生成的天下中,密码学不错提供真相的开始。东谈主们正在尝试使用 ZKML 来管制 deepfake 问题。独有模子+各人数据:
模子真确性:ZKML 可用于确保机器学习模子的一致性。这关于用户确保模子提供者不会懒惰地使用较低廉的模子或被黑客挫折可能很进击。去中心化的 Kaggle:ZKML 允许数据科学竞赛的参与者阐明模子在各人测试数据上的准确性,而无需流露检会中的模子权重公开模子+公开数据:
欧博网上投注去中心化推理:这种次序主若是愚弄 ZKML 的粗浅特色,将复杂的 AI 运筹帷幄压缩到近似于 ZK rollup 的链上阐明。这种次序不错将模子劳动的本钱分派给多个节点。由于 zkSNARK 将成为加密天下的一项特地进击的期间,ZKML 也有可能转换加密领域。通过在智能合约中加入AI智商,ZKML不错解锁更复杂的链上应用。这种集成在 ZKML 社区中被形容为“赋予区块链眼睛”。
蒙特卡罗大赌场期间瓶颈干系词,ZK-ML 带来了一些刻下必须管制的期间挑战。
皇冠hg86a
量化:ZKP 在场上责任,但神经蚁合在浮点数中检会。这意味着为了使神经蚁合模子 zk/blockchain 友好,它需要调度为具有齐全运筹帷幄追踪的固定点算术默示。这可能会葬送模子性能,因为参数的精度较低。
跨说话翻译:神经蚁合 AI 模子是用 python 和 cpp 编写的,而 ZKP 电路需要 rust。是以咱们需要一个翻译层来将模子调度为基于 ZKP 的运行时。常常这种类型的翻译层是模子特定的,很难假想一个通用的。
ZKP 的运筹帷幄本钱:ZKP 的本钱基本上会比蓝本的 ML 运筹帷幄高许多。字据 Modulus labs 的履行,关于一个 20M 参数的模子,字据不同的 ZK 阐明系统,生成阐明需要 1-5 分钟以上的时刻,内存糟践在 20-60GB 傍边。
近况即使濒临这些挑战,咱们也看到 ZKML 引起了加密社区的极大兴致,何况有一些优秀的团队正在探索这一领域。
菠菜电玩棋牌游戏平台基础法子皇冠客服飞机:@seo3687
模子编译器由于 ZKML 的主要瓶颈是将 AI 模子调度为 ZK 电路,一些团队正在磋议 ZK 模子编译器等基础层。从 1 年前的逻辑追思模子或轻视的 CNN 模子驱动,该领域还是快速参加更复杂的模子。
EZKL 格式咫尺赞助高达 100mm 参数的模子。它使用 ONNX 状况和 halo2 ZKP 系统。该库还赞助仅提交模子的一部分。ZKML库还是赞助GPT2、Bert和diffusion模子的ZKP!ZKVMZKML 编译器也属于一些更通用的零常识臆造机领域。
Risc Zero是一个使用开源RiscV指示集的zkVM,因此不错赞助c++和rust的ZKP。这个 zkDTP 格式展示了怎样将决策树 ML 模子调度为 Rust 并在 Risc Zero 上运行。咱们还看到一些团队正在尝试通过 Startnet(吉萨)和 Aleo(零重力)将 AI 模子带到链上。应用除了基础法子,其他团队也驱动探索 ZKML 的应用
Defi:DeFi 用例的一个示例是 AI 驱动的金库,其中机制由 AI 模子而不是固定计策界说。这些计策不错愚弄链上和链下数据来瞻望阛阓趋势并引申交游。 ZKML 保证链上模子一致。这不错使总计历程自动化且无需信任。 Mondulus Labs 正在构建 RockyBot。该团队检会了一个链上 AI 模子来瞻望 ETH 价钱,并构建了一个智能合约来自动与该模子进行交游。
皇冠 体育投注网址其他潜在的 DeFi 用例包括 AI 赞助的 DEX 和假贷左券。预言机还不错愚弄 ZKML 提供从链下数据生成的新式数据源。
Gaming:Modulus labs 推出了一款基于 ZKML 的外洋象棋游戏 Leela,所灵验户都不错与一个由 ZK 考据的 AI 模子提供赞助的机器东谈主全部玩。东谈主工智能智商不错为现存的十足链上游戏带来更多的交互功能。
NFT/创作家经济:EIP-7007:该 EIP 提供了一个接口来使用 ZKML 来考据 AI 为 NFT 生成的本色是否照实来自具有特定输入(辅导)的特定模子。该尺度不错启用 AI 生成的 NFT 纠合,以至不错为新式创作家经济提供能源。
Identity:Wordcoin 格式正在提供基于用户生物识别信息的东谈主性阐明管制决策。该团队正在探索使用 ZKML 让用户以无需许可的方法生成 Iris 代码。当生成 Iris 代码的算法升级后,用户不错自行下载模子并生成阐明,而无需去 Orb 站。
选择的关键洽商到东谈主工智能模子零常识阐明的高本钱。咱们以为 ZKML 的选择不错从一些信任本钱高的加密本机用例驱动。
咱们应该洽商的另一个阛阓是数据狡饰特地进击的行业,举例医疗保健行业。为此,还有其他管制决策,如联邦学习和安全 MPC,但 ZKML 不错愚弄区块链的可膨胀引发蚁合。
奖池更每每地大界限选择 ZKML 可能取决于东谈主们失去对现存大型 AI 提供商的信任。会不会出现一些事件,擢升总计行业的意志,促使用户洽商可考据的 AI 期间?
总结ZKML 仍处于早期阶段全球最大的足球赌博公司,有许多挑战需要克服。但跟着 ZK 期间的改良,咱们以为东谈主们很快就会发现几个具有很强居品阛阓契合度的 ZKML 用例。这些用例一驱动可能看起来很合适。但跟着中心化东谈主工智能的力量越来越大,渗入到每一个行业乃至东谈主类活命中,东谈主们可能会在ZKML中发现更大的价值。