表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於Veridise
Veridise 是一家區塊鏈安全公司，運用形式化方法來強化協議的安全性。其核心業務涵蓋智能合約、零知識電路、DeFi 協議、NFT、錢包整合以及 L1/L2 基礎設施。該公司將逐行人工審查與內部自動化工具相結合，這些工具包括 Vanguard（靜態分析）、OrCa（規範引導的模糊測試）以及 Picus（用於 ZK 電路確定性的形式化驗證）。這些工具超越了開源掃描器，能夠檢測出像欠約束電路和重入攻擊這類微妙漏洞。其關鍵差異化優勢在於全上下文審查模式：每次審計至少由兩名審計員分別審查整個程式碼庫，從而避免了業界常見的割裂式做法。市場痛點十分明確：零知識電路向來難以正確實現，而 Veridise 的分析顯示，ZK 審計發現嚴重漏洞的機率是智能合約審計的兩倍。單一遺漏的約束條件便可能使整個電路變得不安全。在過去六個月（2026-03-12 至 2026-09-12）期間，Veridise 專注於產品整合，ZK Vanguard 現已支援 Circom、Halo2 及自訂 DSL，並提供無縫的 GitHub Actions 整合以實現持續監控。Picus 支援 Circom、R1CS 及 gnark。該公司亦發表了關於自動檢測欠約束電路的研究（PLDI 2023）。在現有資訊中未發現重大負面事件。
在過去六個月內，Veridise 專注於共享的零知識基礎設施與安全工具。它發布了 LLZK V1.0，這是首個基於 MLIR 的穩定零知識中間表示，連接了 Circom 與 Halo2 等前端以及 R1CS 與 zkLean 等後端，並使 Picus 與 ZK Vanguard 等工具能夠跨語言重複使用。該版本新增了 Rust 綁定以及 Halo2/Picus 後端；Galois 獨立貢獻了一個後端；LLZK 獲得了以太坊基金會的資助，並遷移至其專屬的 GitHub 組織。Veridise 也推出了 LLEQ，用於驗證約束條件與見證程式碼之間的一致性，最初支援 Circom，接下來將支援 Noir，目標是涵蓋 SNARK 研究中約 34/99 類的電路層級漏洞。ZK Vanguard 持續擴展靜態分析與自訂檢測器，並透過 AuditHub 與 CI/CD 整合。 路線圖優先事項：持續將 LLZK 發展為社群驅動的統一中間表示；推進形式化規格、增強對通用結構體/函數的模板支援，以及見證生成後端；將 LLEQ 擴展至更多語言；並透過 AuditHub 擴大持續安全監控與迴歸預防。
Veridise 核心團隊：共同創辦人兼總裁 Isil Dillig，德州大學奧斯汀分校教授，形式驗證專家；共同創辦人兼執行長 Jon Stephens，德州大學奧斯汀分校博士，專注於智能合約與零知識安全；技術長 Kostas Ferles，德州大學奧斯汀分校博士，專精程式分析與合成；研究長 Shankara Pailoor，德州大學奧斯汀分校博士，零知識電路驗證專家；產品副總裁 Nikos Chondros，分散式系統博士，主導安全工具開發；工程副總裁 Andreea Buțerchi，負責產品品質與工程；研發副總裁 Benjamin Mariano，專注於形式方法與安全研究。
Veridise近期團隊變動：首席安全官Ben Sepanski於2026年4月離職。他於2023年1月加入，負責監督安全審計與研究，並為智能合約及零知識電路開發分析工具。其離職是近期主要的人事變動。Ben目前已轉往其他項目，而Veridise在其共同創辦人領導下持續運作。