zkLLVM
订阅后,此标签的相关内容 将出现在首页「我的订阅」中.
共搜索到 5 篇相关快讯
Nil Foundation 推出由 zkLLVM 编译的 zkEVM1
Foresight News 消息,ZK 技术开发商 Nil Foundation 发推称,已推出由 zkLLVM 编译的 Type-1 zkEVM zkEVM1,并通过 zkSharding 扩容至以太坊。zkEVM1 电路自动编译,兼容 Type-1 字节码,易于审核与升级。
快讯 2023-12-13 00:27
Nil Foundation 公开发布基于 zkLLVM 核心构建的 Rust 电路编译器
Foresight News 消息,ZK 技术开发商 Nil Foundation 宣布公开发布基于 zkLLVM 核心构建的 Rust 电路编译器。与 C++ 一样,zkLLVM 将以 SDK 的形式为开发人员提供一些电路优化的算法和结构。zkLLVM 可以将高级源代码直接转化为算术电路,并且还部分自动化了电路定义的过程,从而加快了处理速度并降低了电路中人为错误的风险。
快讯 2023-10-31 13:28
Nil Foundation 与 Taceo 正在合作开发软件管道,将在以太坊主网上验证 ML 模型
Foresight News 消息,据 The Block 报道,ZK 技术开发商 Nil Foundation 与研究公司 Taceo 正在合作开发软件管道,使用 ZK 技术在以太坊主网上验证机器学习(ML)模型,使机器学习能够在智能合约中进行操作,而无需第三方信任。双方将于 2023 年第四季度发布 zkLLVM 在机器学习模型中的初步成果和可用性。
快讯 2023-09-15 11:27
Nil Foundation 已在以太坊 Sepolia 测试网推出 Proof Market
Foresight News 消息,ZK 技术开发商 Nil Foundation 发文称,Proof Market 已集成以太坊 Sepolia 测试网,为所有 EVM 应用程序实现可证明计算的可组合性。Proof Market EVM 端点使可证明计算与 EVM 应用程序兼容,这些应用程序不仅可以使用 zkLLVM 与 Proof Market 简化 zkProof 生成,还可以将证明排序原生集成到 Solidity 语言的应用程序代码中。通过该 EVM 端点,以太坊资产可以参与可证明计算,并将 Proof Market 集成到处理以太坊流动性的任何应用程序管道中。Proof Market 允许开发者按需处理 zk,从根本上降低了构建 zk 应用程序的复杂性。 [查看更多]
快讯 2023-07-28 06:10
Nil Foundation 发布新技术 zkLLVM,使开发人员能使用 Rust 和 C++ 构建零知识电路
Foresight News 消息,据 CoinDesk 报道,ZK 技术开发商 Nil Foundation 发布一项新技术 zkLLVM,使开发人员能够使用流行的编码语言 Rust 和 C++ 来构建零知识电路,从而想入减少工作负载。LLVM 代表「低级虚拟机」,指的是一组开源代码库,开发人员使用这些库将可读代码「编译」为计算机可以解释的格式。zkLLVM 项目还将自动插入 Nil Foundation 最近宣布的 ZK 证明市场,它创建该市场是为了帮助 ZK 团队分担他们的工作,并将某些类型的计算外包给第三方。 [查看更多]
快讯 2023-02-02 15:07
这已经是我的底线了
在 App 打开