John Guibas

2017年10月至11月，他与Tejpal Virdi在两人合办的博客twopointseven上发表了9篇关于机器学习和计算机视觉的文章，日期从2017年10月5日到11月25日，题目涉及用特征脸做人脸识别、组合模式生成网络、卷积神经网络、简单神经网络、生成对抗网络、神经风格迁移、用计算机视觉实现自动驾驶、医学图像的超分辨率生成对抗网络和用双生成对抗网络合成医学图像。博客页面把两人列为作者，并给出各自的GitHub链接。⁠[1]

其中日期为2017年11月25日的一篇题为“Synthetic Medical Images from Dual Generative Adversarial Networks”，署名John Guibas和Tejpal Virdi。同名论文于2017年9月6日提交到arXiv，作者署名为John T. Guibas、Tejpal S. Virdi和Peter S. Li，第3版日期为2018年1月8日；论文提出用两个生成对抗网络先后配合来合成医学图像，并在视网膜眼底图像上做了测试，作者还建立了合成医学图像的在线库SynthMed。他早先的个人主页（所列动态截至2022年3月）在论文列表中列有这篇论文，作者为J Guibas、T Virdi和P Li，发表处写作Conference on Neural Information Processing Systems (NIPS ML4H), 2017。⁠[2][3][4]

他早先的个人主页写道，他是Stanford University三年级本科生，学习计算机科学和统计学，在Stanford DAWN Lab从事数据库系统和机器学习方面的研究，与Matei Zaharia和Tatsu Hashimoto合作；主页还写道，他当时深入加密领域，关注零知识系统、去中心化金融和区块链基础设施等题目。⁠[4]

该主页的论文列表中，有三篇是他与Daniel Kang等人合著的数据库论文：“Accelerating Approximate Aggregation Queries with Expensive Predicates”（D Kang、J Guibas、P Bailis、T Hashimoto、Y Sun、M Zaharia，VLDB 2021），“Task-agnostic Indexes for Deep Learning-based Queries over Unstructured Data”（D Kang、J Guibas、P Bailis、T Hashimoto、M Zaharia，SIGMOD 2022），以及当时标为投稿中的“Data Management for ML-based Analytics and Beyond”（D Kang、J Guibas、P Bailis、T Hashimoto、Y Sun、M Zaharia）。他后来的个人网站jtguibas.com的论文列表把最后一篇标为2023年、Journal of Data Science，并把SIGMOD 2022的一篇题目写作“TASTI: Semantic Indexes for Machine Learning-based Queries over Unstructured Data”。⁠[4][5]

2021年11月24日，以他为第一作者的论文“Adaptive Fourier Neural Operators: Efficient Token Mixers for Transformers”提交到arXiv，合作者为Morteza Mardani、Zongyi Li、Andrew Tao、Anima Anandkumar和Bryan Catanzaro，第2版日期为2022年3月27日。论文提出Adaptive Fourier Neural Operator（AFNO），在傅里叶域中混合token，把token混合表述为不依赖输入分辨率的连续全局卷积；摘要写道，它在小样本分割上优于自注意力机制，并能在Cityscapes分割任务上处理大小为65k的序列。他早先的个人主页把这篇论文列为ICLR 2022论文，并在2022年2月的动态中写道，这项把傅里叶变换用于transformer的工作已被ICLR接收。⁠[6][4]

Computing Research Association（CRA）在2022年1月4日公布2022年度Outstanding Undergraduate Researcher Award的名单，名单分为Awardees、Runners-Up、Finalists和Honorable Mentions四类，他以Stanford University学生的身份列在Finalists一类。他早先的个人主页在动态栏中写道，他在2022年3月获得Barry M. Goldwater Scholarship；Stanford University本科生研究网站的Nominees and National Scholars页面在Goldwater Scholarship的2021—2022年度（Fellowship Year 2021-2022）一栏把他列为Goldwater Scholar，专业为Computer Science。⁠[7][4][8]

他在个人网站jtguibas.com上写道，在Succinct之前，他曾在NVIDIANVIDIANVIDIA 是美国半导体与计算技术公司，提供图形处理器、人工智能基础设施、网络互连和计算软件，在纳斯达克以 NVDA 为代码上市。点击查看完整词条训练基础模型（foundation models），并在NeurIPS和ICLR发表过研究。他的GitHub主页置顶的代码仓库中有NVlabs/AFNO-transformer（Adaptive FNO transformer的官方PyTorch实现），以及stanford-futuredata/tasti和stanford-futuredata/abae。⁠[9][10]

他在个人网站jtguibas.com上写道，自己在2022年为Thiel Fellowship而辍学。⁠[9]

2022年11月23日，Zero Knowledge Podcast发布第255期节目，主持人Anna和Tarun与来自Succinct Labs的Uma Roy和John Guibas对谈。节目说明写道，两人谈到各自对零知识证明的兴趣、在0xPARC的工作以及Succinct Labs的目标，即通过基于SNARK的轻客户端提供共识证明（proof of consensus）；谈话还涉及在EthereumEthereum（以太坊）Ethereum 是2015年上线的开放式通用智能合约区块链，原生资产为 ether（ETH）。项目由 Vitalik Buterin 提出并由八位联合创始人共同推进；网络现采用权益证明，以 EVM、账户模型、rollup 扩容路线和开放 EIP 流程为核心。点击查看完整词条上构建零知识轻客户端的难点、他们把Gnosis Chain与Ethereum连接起来的第一个实现，以及Succinct与更大范围的区块链领域的关系。⁠[11]

Uma Roy在2024年8月20日的Succinct博客文章中写道：“my cofounder John and I met at the 0xPARC summer residency”（我和我的联合创始人John是在0xPARC的夏季驻留项目上认识的）；她写道那是她一生中最有创造力的时期之一，文章没有写明是哪一年。⁠[12]

2023年2月8日，Thiel Foundation公布新一届Thiel Fellowship入选者，共20人，他列名单第7项，所属项目为Succinct，名单写他来自加利福尼亚州加利福尼亚州加利福尼亚州是美国濒临太平洋的一个州，首府为Sacramento，最大城市为洛杉矶。加利福尼亚于1850年9月9日加入联邦，为第31个州。2020年人口普查（2020年4月1日）人口为39,538,223人（约3953.8万人），居各州之首。点击查看完整词条Palo Alto。公告对他的介绍是，他正在构建一种信任最小化的方式，让任何区块链都能访问Ethereum。公告写道，Thiel Fellowship于2011年启动，为每位入选者提供10万美元，为期两年，入选者须暂停大学学业，全职投入自己的技术或公司；这一届加入此前的251名Fellow之列，当年的申请人中有超过三分之一从未申请过大学。⁠[13]

2024年3月21日，Succinct宣布完成合计5500万美元的种子轮和A轮融资，由ParadigmParadigmParadigm是一家由Matt Huang和Fred Ehrsam于2018年创办的科技投资机构，投资领域覆盖加密资产、人工智能、机器人及其他新兴技术，阶段从初始融资延伸至公开市场。机构同时开展协议研究、开源软件开发与企业孵化。点击查看完整词条领投。Succinct博客上由Uma Roy署名的公告列出的其他投资方为Robot VenturesRobot VenturesRobot Ventures是一家由Robert Leshner于2019年创立的早期科技投资机构，Tarun Chitra于2020年加入共同管理。其投资涉及金融科技、区块链基础设施、去中心化金融与人工智能；2024年披露第四期基金募集7,500万美元。点击查看完整词条、BanklessBanklessBankless 是以以太坊和去中心化金融为重点的加密媒体，由 Ryan Sean Adams 与 David Hoffman 经营，主要产品包括同名电子报、播客、YouTube 节目及付费会员内容。它倡导用户以加密工具“去银行化”（going bankless），并衍生出社区组织 Bankless DAO 和早期风险投资基金 Bankless Ventures。点击查看完整词条 Ventures、Geometry和ZK Validator，天使投资人包括EigenLayer的Sreeram Kannan、PolygonPolygonPolygon（原名Matic Network）是2017年创立、最初为以太坊扩容的区块链网络与项目，由Polygon Labs和Polygon Foundation等机构推动，原生代币由MATIC升级为POL，近年转向稳定币支付基础设施。点击查看完整词条的Sandeep NailwalSandeep NailwalSandeep Nailwal是出生于印度的企业家，区块链网络Polygon（原Matic Network）的联合创始人，2025年起任Polygon Foundation首席执行官，并曾在新冠疫情期间发起面向印度的加密货币救助基金。点击查看完整词条和Daniel Lubarov，以及Elad GilElad GilElad Gil 是创业者、投资人和《High Growth Handbook》作者，曾共同创办 Mixer Labs 与 Color，并在 Google 和 Twitter 工作。他经营多阶段投资机构 Gil & Co，参与人工智能公司的投资与孵化，并与 Sarah Guo 共同主持 No Priors 播客。点击查看完整词条。The BlockThe BlockThe Block 是2018年创办、总部位于纽约的数字资产新闻、研究与数据服务机构，由 Mike Dudas 与 Jake McGraw 共同创办。业务包括公开新闻、机构研究、数据接口、播客及行业活动。机构经历了2021年管理层收购、2022年未披露借款争议及2023年 Foresight Ventures 收购多数股权；2026年 Steve Chung 接任首席执行官，Larry Cermak 继续担任总裁。点击查看完整词条在同日的文章中写道，Succinct Labs总部设在旧金山，由联合创始人兼首席执行官Uma Roy领导。AxiosAxiosAxios 是美国数字新闻媒体，2016年由 Politico 前高管 Jim VandeHei、Mike Allen 与 Roy Schwartz 创办，2017年1月上线，以“Smart Brevity”式的短新闻和行业通讯著称，尤以华盛顿政治报道知名，并通过 Axios Local 在美国各城市发行地方新闻通讯。2022年起归 Cox Enterprises 所有。点击查看完整词条同日的文章写道，这次新融资为4300万美元，来自Paradigm；此前一轮为1200万美元，同样来自Paradigm，Robot Ventures和Standard CryptoStandard CryptoStandard Crypto是美国风险投资机构，现使用Standard品牌，投资关注人工智能、自动化与密码学相关的前沿技术及创业团队。点击查看完整词条参与，两轮合计5500万美元。⁠[14][15][16]

SP1（Succinct Processor 1）是Succinct在2024年2月14日公布的零知识虚拟机（zkVM），用来验证Rust等可经LLVM编译的程序的执行，以MIT和Apache 2.0许可开源，构建在Plonky3等开源依赖之上。⁠[17]

2024年8月6日，他在Succinct博客上署名发表“SP1 Benchmarks: 8/6/24”。文章写道，带有新GPU证明器的SP1 v1.1.1版在轻客户端、EVM rollup等区块链负载上的云端成本比其他zkVM最多低10倍；文章认为RISC0最新的基准测试拿SP1的CPU性能与RISC0的GPU结果相比有误导性，并称Succinct自己的比较使用相同硬件。文章把性能差距归因于以预编译为中心的架构、读写内存的两阶段证明器，以及较低的blowup因子和LogUp查找等证明系统上的效率；文章写道，对平均规模的Ethereum区块，SP1的证明成本约为每笔交易十分之一美分，并列出计划中的改进，包括新的递归系统。文章说明基准测试可以从公开代码仓库复现，同时承认这套方法只呈现了zkVM性能的简化图景。⁠[18]

2025年1月27日，他在Succinct博客上署名发布“SP1 Security Update”。文章披露SP1 V3中的两个漏洞：一个是递归验证器缺少一项检查，可能使不完整的执行被当作完整执行通过验证，由Aligned、LambdaClass和3MI Labs报告，Succinct在准备SP1 Turbo时也独立发现了它；另一个是缺少对chip顺序的校验，由Succinct团队在准备SP1 Turbo时发现。文章还写道，Lev Soukhanov和Onur Kilic报告了SP1核心依赖Plonky3中的一个缺陷。文章写道，三个问题都已在最新的生产版本SP1 Turbo中修复，主网验证合约的路由已被冻结，Succinct Prover Network自2025年2月15日起不再支持SP1 V2和V3；文章认为，直接使用HALT系统调用这一做法本身不构成漏洞，关于RISC-V合规性的报告所指问题影响很小或没有影响；文章写道，Succinct已收到Zellic对其RV32IM标准合规性的审计，所有贡献者都已通过Succinct或Polygon的漏洞赏金计划获得报酬。⁠[19]

2025年4月21日，论文“vApps: Verifiable Applications at Internet Scale”提交到arXiv，作者依次为Isaac Zhang、Kshitij Kulkarni、Tan Li、Daniel Wong、Thomas Kim、John Guibas、Uma Roy、Bryan PellegrinoBryan PellegrinoBryan Pellegrino 是 LayerZero Labs 联合创始人兼首席执行官，曾从事职业扑克、创业及人工智能研究，公开账号名为 PrimordialAA，亦使用“臭企鹅”这一别名。他与 Ryan Zarick、Caleb Banister 共同开发跨链消息协议 LayerZero，参与 Supremus、LayerZero 和 FAFO 等论文研究，也是 fomo 公开披露的天使投资人。点击查看完整词条和Ryan Zarick，第5版日期为2025年4月30日。论文提出开发框架vApps，用基于Rust的领域专用语言和SDK简化可验证区块链应用的构建与部署，其模块化工具涵盖验证、证明生成和跨链连接，并自动调用专用预编译和硬件加速；摘要写道，在零知识虚拟机上的基准测试显示周期数减少、证明加快、GPU吞吐量提高，并通过递归缩小了证明。他在2025年5月19日的Succinct博客文章中称之为Succinct近期的论文并给出链接，他的个人网站jtguibas.com把它列在论文列表的第一项。⁠[20][21][5]

2025年5月19日，他在Succinct博客上署名发表“Introducing the Succinct Network Architecture and the $PROVE Token”。文章写道，Succinct正在Ethereum上构建一个协调分布式证明者生成零知识证明的协议，在证明者与请求方之间形成双边市场；网络由链下的拍卖组件撮合请求与证明者，链上合约结算状态根和证明，拍卖方不托管用户资金。文章写道，PROVE是Ethereum上的ERC-20代币，总量固定为10亿枚，用于支付、质押、治理和对证明者的激励；证明者须质押PROVE才能参加拍卖，错过证明期限时质押的代币可被罚没。文章还写道，最初的拍卖是把请求分给出价最低者的反向拍卖，这一机制以后可以逐步过渡到白皮书所述的证明竞赛机制。⁠[21]

2025年5月20日，Succinct公布新一代zkVM SP1 Hypercube，称其能在12秒内为Ethereum区块生成证明。The Block写道，Succinct的内部测试覆盖10000个Ethereum主网区块，其中93%被实时证明，平均证明时间为10.3秒，使用的是由200块Nvidia RTX 4090 GPU组成的集群；验证器和Ethereum证明器的代码已开源，全面部署要等一项审计完成。The Block在文中称他为Succinct联合创始人兼首席技术官，他说：“Real-time proving is the space race of zero knowledge, a technical and symbolic breakthrough that once felt out of reach”（实时证明是零知识证明领域的太空竞赛，是一项曾经显得遥不可及的技术性和象征性突破）；他说一年前这还被看作科幻，如今它已开源并能在12秒内生成Ethereum证明，还说：“It’s our four-minute mile for ZK”（这是我们在零知识证明上的四分钟一英里）。⁠[22]

2025年8月5日，Succinct宣布Succinct Prover Network在主网部署，其原生代币PROVE同时启用。The Block写道，这是Ethereum上的一个去中心化市场，应用提交零知识证明请求，独立的证明者竞争完成；Succinct称已有超过35个协议使用，包括Polygon、Mantle、Celestia和LidoLidoLido是以太坊上的流动性质押协议，允许用户通过stETH表示已质押ETH的权益，并将其用于转账及其他链上应用。协议由Lido DAO治理，使用模块化节点运营架构。点击查看完整词条，已为1700个程序生成超过500万个证明，所保护的价值超过40亿美元。The Block称他为Succinct Labs首席技术官，他说：“Our goal from the start was to make proving infrastructure accessible at internet scale”（我们从一开始的目标就是让证明基础设施在互联网规模上可以为人所用），并说：“Going from whitepaper to a working mainnet in eight months shows what’s possible when engineering and cryptography come together with focus”（用八个月从白皮书走到可运行的主网，说明工程与密码学专注地结合起来时能做到什么）。⁠[23]

2025年10月8日，他在Succinct博客上署名发表“Upgrading the Succinct Prover Network: Private Proving Is Here”。文章写道，Succinct Private Proving在可信执行环境（TEE）内生成证明，验证者和证明者都看不到应用的输入数据；它构建在SP1之上，开发者可以用Rust编写隐私应用而不必编写定制电路，文章举出的应用方向有隐私稳定币、护照等凭证的身份验证和金融数据的保密计算。⁠[24]

Succinct博客的作者页在他名下列出25篇文章，最早一篇是2024年8月6日的“SP1 Benchmarks: 8/6/24”，最近一篇是2025年10月8日的这篇文章；其间的文章包括2025年2月20日的“Introducing OP Succinct Lite: ZK Fraud Proofs on the OP Stack”、2025年4月24日的“vApps: Verifiable Applications at Internet Scale”、2025年5月8日的“SP1 Is Bitcoin Ready: The Era of ZK on Bitcoin Has Begun”、2025年7月17日的“Introducing SP1-CC: Unleashing the Full Power of the EVM”，以及关于Mantle、ArbitrumArbitrumArbitrum是由Offchain Labs开发的以太坊扩容技术及网络体系。其Arbitrum One采用乐观汇总，Nova采用AnyTrust数据可用性方案；相关技术还用于构建专用链。Arbitrum将链外执行与以太坊结算结合，并支持EVM及Stylus合约。点击查看完整词条、World Chain、Katana、GalxeGalxeGalxe（前身为 Project Galaxy）是 Web3 凭证与增长平台，2022年9月由 Project Galaxy 更名而来。Galxe 于2024年将 GAL 代币迁移为 G，并于同年8月上线基于 Arbitrum Orbit 的 Gravity Alpha Mainnet；2026年开始向 Gravity L1 过渡，并将 Gravity Alpha 的停止运行日期定为2026年11月1日。点击查看完整词条、Phala Network等项目采用Succinct技术的文章和若干证明者加入Succinct Prover Network的公告。⁠[25][26]

截至2026年11月，他的个人网站jtguibas.com写道，他过去几年在Succinct构建开源密码学软件。网站的Projects页面列出两个项目：SP1，一种为编译到RISC-V架构的程序证明其正确执行的零知识虚拟机；以及Succinct Prover Network，Ethereum上一个协调分布式证明者网络生成零知识证明的协议。⁠[9][5]

截至2026年11月，他的GitHub主页显示的姓名为John Guibas，简介为Succinct，所在地为加利福尼亚州旧金山，置顶仓库的第一个是succinctlabs/sp1。⁠[10]

他在个人网站jtguibas.com上写道，自己在加利福尼亚州Palo Alto长大。⁠[9]

他在个人网站上写道，在学术界的短暂经历让他的Erdős数（Erdős number）为3。⁠[9]

他在个人网站首页写道，他以天使投资人身份投资Applied Compute、C5R、Stochastic Processes、Thalassa Robotics和Ellipsis Labs等公司。网站的Investments页面列出Applied Compute、Ellipsis Labs、Sail Research、Vigil Labs、Seismic和Catalyst Labs。⁠[9][27]

Succinct：官网：https://succinct.xyz/（在新窗口打开）。⁠[14][9]

Thiel Fellowship：官网：https://thielfellowship.org/（在新窗口打开）。⁠[28]

个人网站：https://jtguibas.com/（在新窗口打开）。⁠[9][10]

早先的个人主页（内容截至2022年3月）：https://sushimax-xyz.pages.dev/（在新窗口打开）。⁠[4]

GitHub：公开账号：https://github.com/jtguibas（在新窗口打开）。⁠[10][9][4]

X：公开账号：https://x.com/jtguibas（在新窗口打开）。⁠[9][10][11]