Prover
订阅后，此标签的相关内容
将出现在首页「我的订阅」中.
共搜索到 10 篇相关快讯
Vitalik：我们需要能够达到密码学极限的协议，同时优化效率和提升安全性
Foresight News 现场报道，2024 香港 Web3 嘉年华中，以太坊联合创始人 Vitalik Buterin 在由 DRK Lab 主办的「Web3 学者峰会 2024」发表主旨演讲《Reaching the Limits of Protocol Design》，其表示，「ZK-SNARKs、MPC、FHE（完全同态加密）和 BLS 聚合等基于高级密码学的协议虽发展迅速，但同时也存在效率和安全问题，其中效率问题可用并行化和 aggregation trees、提升效率（用 SNARK 算法和哈希），以及 ASIC 来解决；ZK-SNARKs 电路漏洞问题可由安全委员会、multi-provers 来解决，未来可用 AI 形式验证来解决。我们需要能够达到密码学极限的协议，同时优化效率和提升安全性。」
快讯 2024-04-09 10:49
Immutable zkEVM 主网下个发布阶段是与 Polygon Labs 推出的 Prover 集成
Foresight News 消息，Web3 游戏开发者平台 Immutable 宣布 Immutable zkEVM 正在分阶段推出，Immutable zkEVM 主网的下一个发布阶段是与 Polygon Labs 发布的 Type 1 Prover 集成。 [查看更多]
快讯 2024-02-10 13:39
去中心化 ZK-RaaS 平台 Opside 升级品牌为 Lumoz
Foresight News 消息，去中心化 ZK-RaaS 平台 Opside 正式宣布品牌升级为 Lumoz，开启 ZK-RaaS & Decentralized Prover Network 路径，使用户更好理解和应用 ZK-Rollup 技术，推动以 zkEVM 为基础的应用链大规模落地。 [查看更多]
快讯 2023-10-10 15:00
Immutable 计划今年 12 月至明年 1 月期间上线 zkEVM 主网
Foresight News 消息，Immutable 发布主网启动路线图，其中 11 月计划对 Immutable zkEVM 测试网进行重建，将其首个 EVM 客户端从 Polygon Edge 升级到 Geth，确保 Immutable zKEVM 尽可能接近以太坊，同时与整个以太坊工具生态系统完全兼容；12 月至明年 1 月上线 zkEVM 主网，在向公众开放之前分组邀请开发者加入；2024 年 Immutable 将提供专用的应用程序链，其技术堆栈和功能与 Immutable zkEVM 相同，但具有独特的定制级别；最后将引入 zk-prover， 并提供一个无需信任的以太坊与 Immutable zkEVM 跨链桥。 [查看更多]
快讯 2023-10-05 13:16
StarkWare 将于 8 月 31 日开源 STARK Prover
Foresight News 消息，StarkWare 宣布将于 8 月 31 日在 Apache 2.0 许可证下开源 STARK Prover（更名为 Stone Prover），开发人员将能够在未经许可的情况下独立地审查、利用 Stone Prover 并在其基础上进行构建。StarkWare 表示，开源 Prover 是 Starknet 去中心化的重要一步。 [查看更多]
快讯 2023-08-22 22:26
Fuel Labs 即将推出混合证明解决方案 FuelProver
Foresight News 消息，以太坊模块化执行层 Fuel 开发商 Fuel Labs 宣布即将推出混合证明（Hybrid Proving）解决方案 FuelProver。FuelProver 是一个 Optimistic 和 ZK 的融合，可以支持所有最新的通用 Prover，还可以减少提款窗口并实现高吞吐量。FuelProver 最初将使用一个 Prover，目的是发展为多 Prover 模型以增强正确性。FuelProver 打算支持多种证明机制，包括 Risc Zero、zkSync、Powdr 等。 [查看更多]
快讯 2023-08-08 22:48
Opside 联创 NanFeng：Opside 将于第二季度推出 Pre- Alpha 测试网，明年上线主网
Foresight News 现场报道，在「2023 香港 Web3 嘉年华」中《Web3 技术基础设施：Layer 2 二层网络》论坛上，去中心化 ZK-RaaS 平台 Opside 联合创始人兼 CEO NanFeng 发表了主题为《RaaS 的机遇与挑战》的演讲。NanFeng 表示，目前公链的发展已经从多链时代迈入多 Rollup 时代，Opside 作为专注于 ZK- Rollup as a service（ZK-RaaS ）的平台，针对 Rollup 仍受限于底层 L1、应用缺乏主权、数据可用层、缺乏安全性且不够去中心化、项目方仍需搭建自身的 ZKP 计算能力等挑战，设计出了基于 base chain + based rollup + 去中⼼化的 prover 的三层架构，并创新性的推出了 PoS+PoW 混合共识机制。 [查看更多]
快讯 2023-04-13 17:04
L2 网络 Taiko 公布路线图：二、三季度启动更多 Alpha 测试网，明年年初启动主网
Foresight News 消息，基于 zkRollup 的以太坊二层网络 Taiko 公布项目路线图，将于第二、三季度启动更多的 Alpha 测试网，三、四季度启动 Beta 测试网，主网启动时间在 2024 年年初。Taiko 核心原则包括安全、设计简单、Robust、无需许可、以太坊等效以及 proposer 和 prover 是去中心化的。 [查看更多]
快讯 2023-03-10 10:13
StarkWare 将开源加密证明生成引擎 STARK Prover
Foresight News 消息，StarkWare 宣布将在 Apache 2.0 许可下开源加密证明生成引擎 STARK Prover，STARK Prover 为 StarkNet 和 StarkEx 提供支持，用于在保持以太坊安全性的同时实现大规模扩瞳。这是 StarkWare 在开源 Cairo 1.0、Papyrus Full Node 和 StarkNet 新 Sequencer 之后的又一开源举措。 [查看更多]
快讯 2023-02-05 19:40
以太坊扩容项目 Scroll 本周改进 v2 桥和 ZK 架构，即将引入 The Graph
Foresight News 消息，以太坊扩容项目 Scroll 发布本周更新，包括：构建和准备系统，以便之后在 Goerli 测试网上部署；改进 v2 桥和 ZK 架构，将 prover 内存需求从 870GB 降低到 275 GB；为开发者推出更多的基础架构，即将引入 The Graph 支持；将 Uniswap v3 部署到 Scroll 测试网上；推进账户抽象。
快讯 2023-02-04 16:43
这已经是我的底线了
日历
数据请求中
在 App 打开
