Frank Laub 是 RISC Zero 的联合创始人兼首席技术官（CTO）。RISC Zero 是一家专注于零知识证明（Zero-Knowledge Proof）和zkVM（零知识虚拟机）技术的前沿区块链基础设施公司，致力于通过可验证计算推动去中心化应用的发展。在加入RISC Zero之前，Frank Laub 曾在英特尔实验室（Intel Labs）担任深度学习编译器工程师，在高性能计算、编译器技术及机器学习底层基础设施方面积累了深厚的专业经验。凭借其在计算机体系结构、编译器优化和密码学证明系统领域的跨学科背景，他领导RISC Zero团队开发了基于RISC-V指令集架构的zkVM系统，使开发者能够在无需信任的情况下验证任意程序的计算结果，为Web3和可验证计算生态的构建做出了重要贡献。Frank Laub 的技术愿景是让零知识证明技术走向大规模实用化，使任何人都能在链上验证复杂计算的正确性，从而为隐私保护和可扩展性解决方案奠定基础。
Frank Laub 在计算机体系结构、编译器设计与优化方面接受系统性训练，具备深厚的底层计算技术功底，为后续从事深度学习编译器和zkVM研发奠定了坚实的理论基础。
加入英特尔实验室（Intel Labs），从事深度学习编译器的研发工作，专注于机器学习框架的底层编译优化和高性能计算加速，在编译器优化、算子调度和硬件加速等领域积累了丰富经验。
与联合创始人共同创办 RISC Zero 公司，聚焦零知识证明技术，以RISC-V开源指令集架构为基础构建zkVM，旨在让通用程序具备可验证计算能力，正式进军可验证计算和Web3基础设施赛道。
主导RISC Zero的zkVM核心引擎开发，成功实现对RISC-V指令集的零知识证明支持，能够对任意RISC-V程序生成简洁的零知识证明，在验证速度和证明效率方面达到行业领先水平。
零知识证明应该成为可验证计算的基础层，让任何程序的执行结果都可以被简洁高效地验证。
RISC-V是一个开源且精简的指令集架构，非常适合作为zkVM的基础，因为它既有足够的表达能力，又能保持零知识证明的效率。
可验证计算的核心价值在于让人们无需信任执行者，只需要验证证明就能确信计算的正确性。
我们的目标是让开发者用熟悉的编程语言编写程序，然后自动生成零知识证明，从而降低零知识证明技术的使用门槛。
