在过去的一年中,zk-SNARK的进展超出了预期。尽管普遍共识认为这些创新还需要数年时间,但应用程序,如ZK-EVM,正在出现。zk-SNARK的增强功能已使得探索区块链的新用例成为可能,尤其是,我们正在密切关注使用zk-SNARK解决由机器学习和人工智能增加使用带来的许多紧迫问题的研究。
随着机器学习的普及,它正在广泛应用于各种应用程序中。然而,其预测的可信度以及对不透明数据源的依赖性成为了一个主要问题。复制声称具有高准确度的模型的能力很难,而在实际产品中预测的一致性和正确性也没有保证。
本文旨在简要介绍为什么对基于zk-SNARK的机器学习(ZK-ML)系统产生了浓厚的兴趣,并讨论了该技术的一些潜在应用。
ZK-EVM Kakarot完成pre-seed轮融资,Vitalik、StarkWare等参投:6月2日消息,zkEVM 开发平台 Kakarot 完成Pre-Seed 轮融资,StarkWare、LambdaClass 和天使投资人 Vitalik、Nicolas Bacca、Rand Hindi 等参投。
Kakarot zkEVM 是 Cairo 实施的 EVM,利用 STARK 证明来证明交易和区块,确保透明度和安全性。据介绍,Kakarot zkEVM 发展分为三个阶段:1、作为 EVM 存在于 Starknet L2 上;2、和 Starknet 定序器 Madara 合力创建第 3 层 zkEVM;3、Kakarot 和 Madara 组合启用类型 1 zkEVM。[2023/6/2 11:54:47]
使用监督式机器学习时,输入被提供给已经用特定参数训练过的模型。然后该模型产生可被其他系统使用的输出。由于轻量级的机器学习框架和ONNX等格式,现在可以在边缘设备上运行这些推理,例如手机或物联网设备,而不是将输入数据发送到集中式服务器。这提高了用户的可扩展性和隐私性。
V神:以太坊不需要为Layer 1使用单一的ZK-EVM实现进行标准化:金色财经报道,以太坊创始人Vitalik Buterin发文解释了“不同类型的ZK-EVM和类似ZK-EVM的项目,以及它们之间的权衡”。V神例举了描述了多个EVM等价的不同“类型”的分类,以及尝试实现每种类型的好处和成本。
V神总结称,就我个人而言,我希望随着时间的推移,通过ZK-EVM的改进和以太坊本身的改进相结合,使其对ZK-SNARK更加友好,一切都将成为Type1。在这样的未来,我们将有多个ZK-EVM实现,它们既可以用于ZK汇总,也可以用于验证以太坊链本身。
从理论上讲,以太坊不需要为Layer1使用单一的ZK-EVM实现进行标准化;不同的客户可以使用不同的证明,因此我们继续从代码冗余中受益。但是,要实现这样的未来,还需要相当长的时间。与此同时,我们将在扩展以太坊和基于以太坊的ZK-rollup的不同路径中看到许多创新。[2022/8/4 12:02:16]
然而,需要注意的是,通常会将机器学习模型的输入和参数都保持私密并隐藏在公众视野之外。这是因为输入数据可能包含敏感信息,例如个人金融或生物识别数据,而模型参数也可能包含敏感信息,例如生物识别验证参数。
跨链DEX zkLink宣布在Solana上成功实现Groth16zk-SNARK证明系统:3月25日消息,跨链DEX zkLink宣布在Solana上成功实现了Groth16zk-SNARK证明系统。zkLink是一个基于ZK-Rollup技术的跨链交易平台,旨在链接多链,聚合不同生态的流动性。现订单簿模式的DEX Demo已上线测试网进行测试。[2022/3/25 14:17:51]
另一方面,使用ML模型的输出的下游系统,例如链上智能合约,需要能够验证输入是否正确处理以产生声称的输出。
机器学习和zkSNARK协议的结合提供了一种新的解决方案,解决了这些看似矛盾的要求。
有许多论文讨论了我们可以如何使用zk-SNARKs来改善我们未来的机器学习。ZK-ML社区提供了一个非常有用的决策树,让我们考虑这种技术的各种用例。
ZKSwap将在2到3周内发布100% ZK-Rollup版本:据官方消息,ZKSwap将在2到3周内发布100% ZK-Rollup版本。[2021/2/28 18:00:41]
这个决策树基于两个标准的交集:需要隐私和计算完整性,以及使用机器学习解决的启发式优化问题。换句话说,决策树用于确定是否适合使用涉及ZKML的用例,在这些用例中,隐私和计算完整性很重要,并且使用机器学习技术解决启发式优化问题,
以下是 zk 如何用于 ML 模型创新的一些方式:
zk-SNARK 可用于在不向模型的创建者或用户公开私有数据的情况下对机器学习模型进行训练。这允许开发可以在敏感或受监管的行业(如医疗保健或金融)中使用的模型,而不会损害使用个人数据的个人隐私。
zk-SNARK 可用于证明机器学习模型是在特定数据集上进行训练的,或者特定模型用于进行预测,而不会透露训练数据或模型的详细信息。这可以增加对机器学习模型结果的信任,这在信用评分或医学诊断等应用中非常重要。
zk-SNARK 可用于通过确保模型未被篡改或替换为不同的模型来保护机器学习模型的完整性。这在模型部署在不受信任的环境(如边缘设备或公共云)中的应用中非常有用。
像 ZKonduit 这样的项目正在将 ZK-ML 视为赋予区块链眼睛、让智能合约行使判断力、单人预言机以及通常以可扩展的方式在链上获取数据的关键。使用ZK-ML预言者提供了一种更简单、更快速、更高效的方式,将链下数据传输到区块链上,大大增加了将数据带到链上的潜力。ZK-ML可以使“智能法官”解释模糊事件。这可能为Web3带来不可想象的新用例,但以下仅是最近讨论过的一些用例:
能够证明一个人的身份与相应的身份证匹配,并且该身份证号码不在制裁名单上。虽然这项技术是可用的,但监管机构可能不会接受它,因为它们目前要求银行“了解”其客户,而不仅仅是验证他们不在制裁名单上。这是监管机构的一个新领域,必须采取措施防止不受欢迎的参与者使用去中心化项目。
智能合约或抽象账户添加了一个ZK-ML欺诈垃圾邮件检查,用于检测异常行为。这意味着可以通过分析活动模式并将其与已知的欺诈或垃圾邮件活动模式进行比较,使用零知识机器学习技术来检测和防止欺诈或垃圾邮件行为。这可以通过检测和防止恶意活动来帮助确保系统的安全性和完整性。
Zk-SNARKs技术允许以保护输入数据隐私的方式执行复杂计算,适用于需要保护敏感信息的情况。可以将机器学习算法集成到该技术中,以实现更先进的决策制定、评估和更高效、准确的通信系统。这些能力对未来的DAO内部动态可能至关重要。
将零知识证明集成到人工智能系统中,可以为用户和使用这些系统的公司提供新的安全和隐私保护级别。通过使人工智能能够证明其决策的有效性,而不揭示底层数据或算法,零知识证明可以帮助缓解数据泄露和恶意攻击的风险。此外,它们还可以通过提供透明和可验证的方式来证明其公平性和准确性,从而有助于建立人工智能系统的信任。
随着人工智能领域的不断发展和扩大,零知识证明的应用将越来越重要,以确保这些强大技术的安全和负责任的部署。
金色荐读
金色财经 善欧巴
Chainlink预言机
白话区块链
金色早8点
Odaily星球日报
欧科云链
深潮TechFlow
MarsBit
Arcane Labs
撰文:DefiNapkin编译:深潮 TechFlow本文是对的 ETH Shanghai 升级后的 ETH 质押数据以及 LSD 市场的概述,ETH 质押总量已经下降了 8%.
Lamina 1 是基于 Avalanche 的一个 PoS 公链,创始人是著名科幻小说《雪崩》的作者斯蒂芬森.
Pacman 是一个部署在Arbitrum上的去中心化杠杆挖矿协议。谈及杠杆挖矿,很多人第一时间想到的就是 Alpaca Finance.
来源:中华工商时报 近日,浙江省发改委等5部门联合印发《浙江省元宇宙产业发展2023年工作要点》(以下简称《工作要点》),定下加快“元平台”布局建设、强化“元技术”前沿攻关等16项重点任务.
文/William Peaster,Bankless作者;译/金色财经xiaozou就在一年前.
▌上海升级至今质押的以太坊数量净减少超11万枚4月15日消息,Token.unlocks数据显示,目前有价值31亿美元的148万枚以太坊等待被解除质押,其中包括质押的以太坊和质押奖励.