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]