공연
RD 인기지표
RD 성장지표
비교
업데이트 따라가기
팔로우 목록
인물
Veridise 소개
Veridise는 블록체인 보안 기업으로, 정형 기법을 적용하여 프로토콜을 강화합니다. 핵심 사업은 스마트 계약, 영지식 회로, DeFi 프로토콜, NFT, 지갑 통합, L1/L2 인프라를 포함합니다. 이 회사는 수동 코드 한 줄 검토와 자체 개발 자동화 도구(Vanguard(정적 분석), OrCa(명세 기반 퍼징), Picus(영지식 회로 결정성 정형 검증))를 결합합니다. 이러한 도구는 오픈소스 스캐너를 넘어 과소 제약 회로 및 재진입과 같은 미묘한 버그를 탐지할 수 있습니다. 주요 차별점은 전체 맥락 검토 모델로, 모든 감사에 최소 두 명의 감사자가 참여하여 전체 코드베이스를 각각 검토함으로써 업계에서 흔히 발생하는 분할된 접근 방식을 피합니다. 시장의 진통점은 명확합니다. 영지식 회로는 올바르게 구현하기가 악명 높을 정도로 어렵고, Veridise의 분석에 따르면 ZK 감사는 스마트 계약 감사에 비해 심각도가 높은 버그를 발견할 확률이 두 배 더 높습니다. 단 하나의 누락된 제약 조건이 전체 회로를 안전하지 않게 만들 수 있습니다. 지난 6개월(2026-03-12 ~ 2026-09-12) 동안 Veridise는 제품 통합에 집중하여 ZK Vanguard가 이제 Circom, Halo2 및 사용자 정의 DSL을 지원하며, 지속적인 모니터링을 위해 GitHub Actions와의 원활한 통합을 제공합니다. Picus는 Circom, R1CS 및 gnark를 지원합니다. 또한 회사는 과소 제약 회로의 자동 탐지에 관한 연구(PLDI 2023)를 발표했습니다. 확인된 정보에서 주요 부정적 사건은 발견되지 않았습니다.
지난 6개월 동안 Veridise는 공유 ZK 인프라 및 보안 도구 개발에 주력했습니다. MLIR 기반의 첫 번째 안정적인 ZK 중간 표현(IR)인 LLZK V1.0을 출시하여 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와 통합되었습니다. 로드맵 우선순위: 커뮤니티 주도 통합 IR로서 LLZK 개발 지속; 공식 명세, 일반 구조체/함수에 대한 향상된 템플릿 지원, 증인 생성 백엔드 발전; LLEQ를 더 많은 언어로 확대; AuditHub를 통한 지속적인 보안 모니터링 및 회귀 방지 확장.
Veridise 핵심 팀: 공동 창립자 겸 사장 Isil Dillig, 텍사스대학교 오스틴 캠퍼스 교수이자 형식 검증 전문가; 공동 창립자 겸 CEO Jon Stephens, 스마트 계약 및 ZK 보안을 연구하는 텍사스대학교 오스틴 캠퍼스 박사; CTO Kostas Ferles, 프로그램 분석 및 합성 분야 텍사스대학교 오스틴 캠퍼스 박사; 최고 연구 책임자 Shankara Pailoor, ZK 회로 검증 전문가이자 텍사스대학교 오스틴 캠퍼스 박사; 제품 부사장 Nikos Chondros, 분산 시스템 박사로 보안 도구 개발을 주도; 엔지니어링 부사장 Andreea Buțerchi, 제품 품질 및 엔지니어링 담당; R&D 부사장 Benjamin Mariano, 형식 방법 및 보안 연구에 집중.
최근 Veridise의 팀 변경 사항: 최고 보안 책임자 Ben Sepanski가 2026년 4월에 퇴사했습니다. 그는 2023년 1월에 합류하여 보안 감사 및 연구를 총괄하고 스마트 계약 및 영지식 회로 분석 도구 개발에 기여했습니다. 그의 퇴사는 최근 주요 인사 변동입니다. Ben은 이후 다른 프로젝트로 자리를 옮겼으며, Veridise는 공동 창업자 아래에서 계속 운영되고 있습니다.