Norbert Vadas 是一位研究员和产品负责人,专门研究零知识 (ZK) 证明基础设施、去中心化证明网络以及密码协议的经济安全性。他是 ZkCloud 的产品负责人。他的工作主要集中在 以太坊 和 Layer 2 可扩展性的系统上,重点是提高证明效率和去中心化。 [2]
Vadas 于 2011 年在布达佩斯考文纽斯大学获得国际关系与事务硕士学位。 [1]
Vadas 在匈牙利开始了他的职业生涯,从事金融服务和技术支持工作。2004 年至 2008 年,他曾在 Brokernet Ltd./Global Partners Ltd. 担任金融客户经理,负责抵押贷款、保险和投资等金融产品的销售和客户管理。之后,他转入信息技术领域,于 2009 年至 2010 年在 YGOMI Ltd. 担任 IT 支持专家,提供一级技术支持。2010 年,他成为 GHF Ltd. 的自营交易员,专注于短期利率期货交易,直至 2011 年。
2011 年至 2022 年间,Vadas 在联合国旗下的两个组织工作。2011 年,他加入联合国粮食及农业组织 (FAO) 布达佩斯分部,最初担任支持助理,为财务、采购、差旅和人力资源系统提供基于 Oracle 的 IT 支持。后来,他成为财务助理,负责项目预算、向捐助者提供财务报告、赠款监控和员工培训。2016 年,Vadas 加入联合国儿童基金会 (UNICEF) 担任薪资主管,一直到 2022 年。在那里,他负责管理大约 3,000 名员工的薪资运营,管理一个小团队,并领导各种流程、系统和跨职能改进计划。
2022 年,Vadas 过渡到 区块链 行业,在 Chainstack 担任生态系统侦察员。他的职责包括分析协议生态系统,对多个 区块链 垂直领域进行技术和链上研究,并为行业级分析报告做出贡献。2023 年,他入选 以太坊 协议奖学金第四期,专注于 zk-rollups 的协议研究和设计。他的研究涵盖了证明者选择模型、rollup 经济学和密码激励结构。
在整个 2024 年,Vadas 曾担任 ORA、Zero Computing 和 ZkCloud 等 ZK 领域的多个组织的研究员。他的工作涉及协议设计、节点协调、密码经济模型和证明者经济学等主题。2024 年 12 月,他被任命为 ZkCloud 的产品负责人,根据他在协议研究和密码经济学方面的背景,指导产品的方向。 [3] [4]
2025 年 7 月,Vadas 主持了一期 ZK Cloud Podcast 节目,嘉宾是 Linea 的 Declan Fox,重点讨论了零知识基础设施的演变以及 加密货币 生态系统的更广泛趋势。对话追溯了 Fox 从汽车工程和自主系统到 区块链 的历程,包括早期的创业工作和企业许可账本的经验,然后转向他在 ConsenSys 的角色,在那里他领导 ZK rollups 工作以及 Linea 的 ZKVM 和通用证明系统的开发。Fox 讨论了最近的里程碑,包括 Linea 的两周年纪念日、EVM 操作的证明完整性进展,以及通过多证明者设计改进证明速度、安全性和去中心化的持续工作。该节目还探讨了 L1 和 L2 可扩展性之间的关系、以太坊 中用户入门和碎片化消息传递方面的挑战、企业采用的新兴隐私要求,以及在 区块链 发展的未来中结合深厚的技术专业知识和金融知识的价值。 [9]
2025 年 6 月,Vadas 在 House of ZK 的 Ethproofs Summit 上发表了主题演讲,概述了 ZK Cloud 通用证明基础设施的设计和实际性能,该基础设施于 2024 年 3 月推出。他解释了该系统如何构建为与证明系统无关,允许用户运行自定义证明者容器并随着新的 ZKVM 的出现进行调整,并描述了 ZK Cloud 决定从 2025 年 4 月开始证明每个 以太坊 区块,以证明以低成本对 EVM 进行 snarking 的实际可行性。Vadas 分享了性能数据,显示在约两个半月内生成了超过 500,000 个证明,平均每个区块的成本约为 2 美分,然后介绍了证明管道的技术挑战,包括 RPC 瓶颈、GPU 利用率和 CUDA 证明者的不稳定性。他详细介绍了将预证明与证明分离以提高并行性的架构更改,讨论了 gas 使用量、执行周期和证明时间之间的关系,作为潜在的攻击面,并总结了多 GPU 证明和实时证明生成的未来工作,因为开源 ZKVM 工具正在成熟。 [7]
2025 年 4 月,Vadas 在 ETHDenver 的 ZK Hub 上介绍了 Layer 2 证明生态系统中围绕证明外包的风险和设计挑战。他认为,依赖第三方证明市场可能会引入不健康的依赖关系,增加中心化,并扩大 L1 和 L2 网络上的攻击面。Vadas 概述了证明提供商所需的核心属性——中立性、去中心化、高活跃度和低成本——同时解释了有效性证明在 rollup 最终性中的作用以及排序器和证明者之间的协调。他批评了基于拍卖的 验证器 和证明者选择机制,将其与 MEV 中继集中进行了类比,并警告说,此类系统可能会浪费计算并加强中心化。作为替代方案,他提倡依赖随机证明者选择和用户一致经济学的去中心化证明网络,并将 ZK Cloud 作为一种无需许可且经济高效的解决方案,旨在满足 rollups 的长期需求,而不会引入额外的基础设施风险。 [5]
在 2025 年 2 月 ETHDenver 的 Async House 上,Vadas 介绍了 ZK Cloud 的去中心化 零知识证明 基础设施方法。他描述了 ZK Cloud 的目标是使 ZK 证明 生成快速、廉价且能够抵抗中心化,概述了一个三层架构,该架构将通用证明、工作负载编排和去中心化计算分开。Vadas 解释了 Fire Starter 的作用,Fire Starter 是一个经过许可的早期网络,用于协调证明任务并测试经济和技术假设,包括随机证明者选择和执行保证。他还详细介绍了该平台的按需付费定价模型,该模型旨在降低空闲资源成本,并讨论了经济安全、声誉系统和开发者参与的未来计划,以支持可扩展的去中心化证明生成。 [6]
在 2025 年 11 月的 House of ZK 上,Vadas 与 Geoff Richards、Jan Gorzny 和 Coby Durling 一起参加了一个小组讨论,探讨了人工智能的社会影响,特别是技术丰裕与反乌托邦结果之间的紧张关系。小组将人工智能丰裕定义为广泛获取服务于公共利益的有益技术,而反乌托邦则被定义为中心化控制和个人自主权的侵蚀,并使用数据操纵和隐私滥用等真实世界的例子来说明现有风险。
讨论强调需要可验证的信息、去中心化治理和可信的数据来源,以减轻虚假信息并维护人工智能系统中的问责制。小组成员还对高风险环境中的自主决策表示担忧,主张人工监督和更小、特定于应用程序的人工智能模型,这些模型更易于审计和保护,并总结说,强调问责制框架对于指导负责任的人工智能部署的重要性。 [8]