Veridise
Tăng cường bảo mật chuỗi khối bằng các phương pháp chính thức
Buổi biểu diễn
Chỉ số Phổ Biến RD
Chỉ số Tăng Trưởng RD
So sánh
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về Veridise
Veridise là một công ty bảo mật blockchain áp dụng các phương pháp hình thức để củng cố các giao thức. Mảng kinh doanh cốt lõi bao gồm hợp đồng thông minh, mạch zero-knowledge, giao thức DeFi, NFT, tích hợp ví và cơ sở hạ tầng L1/L2. Công ty kết hợp kiểm tra từng dòng thủ công với các công cụ tự động nội bộ như Vanguard (phân tích tĩnh), OrCa (fuzzing theo hướng dẫn đặc tả) và Picus (xác minh hình thức cho tính xác định của mạch ZK). Các công cụ này vượt xa các trình quét mã nguồn mở, cho phép phát hiện các lỗi tinh vi như mạch thiếu ràng buộc và reentrancy. Một điểm khác biệt chính là mô hình đánh giá toàn bộ ngữ cảnh: mỗi cuộc kiểm toán có ít nhất hai kiểm toán viên, mỗi người đều xem xét toàn bộ mã nguồn, tránh cách tiếp cận phân mảnh phổ biến trong ngành. Vấn đề khó khăn trên thị trường rất rõ ràng: các mạch zero-knowledge nổi tiếng là khó làm đúng, và phân tích của Veridise cho thấy kiểm toán ZK có khả năng phát hiện lỗi nghiêm trọng cao gấp đôi so với kiểm toán hợp đồng thông minh. Một ràng buộc bị thiếu duy nhất có thể khiến toàn bộ mạch mất an toàn. Trong sáu tháng qua (2026-03-12 đến 2026-09-12), Veridise tập trung vào tích hợp sản phẩm, với ZK Vanguard hiện hỗ trợ Circom, Halo2 và các DSL tùy chỉnh, đồng thời cung cấp tích hợp GitHub Actions liền mạch để giám sát liên tục. Picus hỗ trợ Circom, R1CS và gnark. Công ty cũng đã công bố nghiên cứu về phát hiện tự động các mạch thiếu ràng buộc (PLDI 2023). Không có sự kiện tiêu cực lớn nào được xác định trong thông tin hiện có.
Trong sáu tháng qua, Veridise tập trung vào cơ sở hạ tầng ZK chung và công cụ bảo mật. Họ đã phát hành LLZK V1.0, biểu diễn trung gian ZK ổn định đầu tiên được xây dựng trên MLIR, kết nối các frontend như Circom và Halo2 với các backend như R1CS và zkLean, đồng thời cho phép tái sử dụng các công cụ như Picus và ZK Vanguard trên nhiều ngôn ngữ. Bản phát hành bổ sung liên kết Rust và backend Halo2/Picus; Galois độc lập đóng góp một backend; LLZK nhận được tài trợ từ Ethereum Foundation và chuyển sang tổ chức GitHub riêng. Veridise cũng ra mắt LLEQ để xác minh tính nhất quán giữa các ràng buộc và mã witness, ban đầu hỗ trợ Circom, tiếp theo là Noir, nhắm đến khoảng 34/99 lớp lỗ hổng cấp độ mạch từ các nghiên cứu SNARK. ZK Vanguard tiếp tục mở rộng phân tích tĩnh và bộ phát hiện tùy chỉnh, tích hợp với CI/CD qua AuditHub. Các ưu tiên lộ trình: tiếp tục phát triển LLZK như một IR thống nhất do cộng đồng điều hành; thúc đẩy đặc tả hình thức, hỗ trợ mẫu nâng cao cho cấu trúc/hàm tổng quát, và backend tạo witness; mở rộng LLEQ cho nhiều ngôn ngữ hơn; và mở rộng giám sát bảo mật liên tục và ngăn ngừa hồi quy qua AuditHub.
Đội ngũ cốt lõi của Veridise: Đồng sáng lập & Chủ tịch Isil Dillig, giáo sư UT Austin và chuyên gia xác minh hình thức; Đồng sáng lập & CEO Jon Stephens, nghiên cứu sinh tiến sĩ UT Austin chuyên về bảo mật hợp đồng thông minh và ZK; CTO Kostas Ferles, tiến sĩ UT Austin về phân tích và tổng hợp chương trình; Giám đốc Nghiên cứu Chính Shankara Pailoor, tiến sĩ UT Austin chuyên gia xác minh mạch ZK; Phó Chủ tịch Sản phẩm Nikos Chondros, tiến sĩ hệ thống phân tán, dẫn dắt phát triển công cụ bảo mật; Phó Chủ tịch Kỹ thuật Andreea Buțerchi, chịu trách nhiệm về chất lượng sản phẩm và kỹ thuật; Phó Chủ tịch R&D Benjamin Mariano, tập trung vào nghiên cứu phương pháp hình thức và bảo mật.
Thay đổi nhân sự gần đây tại Veridise: Giám đốc An ninh Ben Sepanski đã rời đi vào tháng 4 năm 2026. Ông gia nhập vào tháng 1 năm 2023, phụ trách các cuộc kiểm toán và nghiên cứu bảo mật, đồng thời đóng góp vào các công cụ phân tích cho hợp đồng thông minh và mạch zero-knowledge. Sự ra đi của ông là thay đổi nhân sự lớn gần đây. Ben sau đó đã chuyển sang các dự án khác, trong khi Veridise tiếp tục hoạt động dưới sự dẫn dắt của các đồng sáng lập.