表现
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核心进展围绕共享ZK基础设施与安全工具。发布LLZK V1.0，这是基于MLIR的首个稳定ZK中间表示，打通Circom、Halo2等前端与R1CS、zkLean等后端，使Picus、ZK Vanguard等工具可跨语言复用；新增Rust绑定及Halo2、Picus后端，Galois独立贡献后端，并获得以太坊基金会资助，迁至独立GitHub组织。推出LLEQ，用于验证约束与witness代码一致性，先支持Circom，Noir即将接入，覆盖SNARK研究中约34/99的电路漏洞类别。ZK Vanguard持续增强静态分析与自定义检测，并通过AuditHub集成CI/CD。
发展重心与路线：继续将LLZK发展为社区驱动的统一IR，推进形式化规范、通用模板（泛型结构体/函数）和witness生成后端；LLEQ扩展至更多语言；通过AuditHub落地持续安全监测与回归防护。
Veridise核心团队：联合创始人兼总裁Isil Dillig，UT Austin教授，形式化验证专家；联合创始人兼CEO Jon Stephens，UT Austin博士，专注智能合约与ZK安全；CTO Kostas Ferles，UT Austin博士，研究程序分析与合成；首席研究官Shankara Pailoor，UT Austin博士，ZK电路验证专家；产品副总裁Nikos Chondros，分布式系统博士，领导安全工具研发；工程副总裁Andreea Buțerchi，负责产品质量与工程；研发副总裁Benjamin Mariano，专注形式化方法与安全研究。
Veridise近期团队变化：首席安全官Ben Sepanski已于2026年4月离职。他于2023年1月加入，任职期间负责安全审计与研究，并参与开发智能合约及零知识电路的分析工具。其离职是近期主要人事变动。目前Ben已转向其他项目，而Veridise仍由联合创始人团队继续运营。