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ề Zksecurity
zksecurity là một công ty kiểm toán bảo mật chuyên về các hệ thống zero-knowledge (zk). Hoạt động cốt lõi của công ty kết hợp phát hiện lỗ hổng dựa trên AI với xác thực thủ công bởi chuyên gia, cung cấp dịch vụ kiểm toán cho các mạch zk, zkVM và thư viện mật mã. Các điểm khác biệt chính bao gồm một pipeline AI nội bộ giúp phân loại các phát hiện tiềm năng, giảm chi phí xác định và tái tạo lỗi. Công ty cũng xây dựng các công cụ mã nguồn mở như zkvmBlast, một công cụ fuzzer vi sai cho zkVM RISC-V, và zk.golf, một nền tảng cạnh tranh cho các mạch được xác thực chính thức và tối ưu hóa cao. Các công cụ này giải quyết vấn đề đau đớn trên thị trường rằng mã zk rất khó kiểm toán thủ công, trong khi đầu ra AI thuần túy thường làm ngập người bảo trì với các kết quả dương tính giả. zksecurity giải quyết điều này bằng cách kết hợp các dẫn dắt từ máy với xác thực bằng chứng khái niệm thủ công và tiết lộ có trách nhiệm. Trong sáu tháng qua (tháng 3 đến tháng 9 năm 2026), zksecurity đã công bố một cuộc kiểm toán AI cho thư viện CIRCL của Cloudflare, phát hiện bảy lỗi thực tế (bao gồm một lỗi nghiêm trọng cho phép vượt qua kiểm soát truy cập CP-ABE) đã được sửa ở upstream. Công ty cũng ra mắt zkvmBlast, công cụ đã tìm thấy bảy vấn đề riêng biệt trên SP1, Pico và OpenVM, và phát hành zk.golf để khuyến khích tối ưu hóa mạch được xác thực chính thức do cộng đồng thúc đẩy. Một hạn chế đáng chú ý là các đánh giá mức độ nghiêm trọng của AI thường khác biệt so với xếp hạng được nhà cung cấp xác nhận, và chi tiết đầy đủ của pipeline (tỷ lệ dương tính giả, cấu hình mô hình) không được công bố công khai. Khoảng cách minh bạch này có nghĩa là người dùng nên coi các phát hiện của AI là dẫn dắt, không phải phán quyết cuối cùng.
zkSecurity được thành lập vào ngày 30 tháng 5 năm 2023, ban đầu là một công ty kiểm toán mạch ZK. Các cột mốc ban đầu bao gồm việc đồng sáng lập Brandon rời đi để trở thành CEO của O(1) Labs, trong khi Gregor và Mathias gia nhập toàn thời gian, mở rộng đội ngũ lên khoảng 10 kỹ sư. Công ty đã mở rộng từ kiểm toán ZK thuần túy sang lĩnh vực mật mã nâng cao rộng hơn, bao gồm MPC, FHE, TEE, chữ ký ngưỡng và các giao thức đồng thuận. Vào năm 2024, họ phát hành Circomscribe, một công cụ gỡ lỗi cho mạch Circom, và công bố một phân loại các lỗ hổng ZK. Một bước phát triển quan trọng diễn ra vào năm 2026 với việc ra mắt zkao, một máy quét bảo mật liên tục dựa trên AI, mã hóa các mẫu từ hơn 100 cuộc kiểm toán của họ. Cùng năm đó, họ xác định hai vụ khai thác đầu tiên được biết đến nhắm vào các mạch ZK đang hoạt động—cả hai đều bắt nguồn từ các bộ xác minh Groth16 có thiết lập không chính xác—và tích hợp khả năng phát hiện loại lỗ hổng này vào zkao.
Kể từ tháng 3 năm 2026, những tiến bộ chính của zkSecurity bao gồm: ra mắt zkvmBlast, một khung fuzzing so sánh (differential fuzzing) cho các zkVM dựa trên RISC-V, được Quỹ Ethereum tài trợ một phần, đã phát hiện bảy lỗi về tính đầy đủ/đúng đắn trên SP1, Pico và OpenVM, cùng với việc tái tạo một lỗi soundness đã biết của RISC0; tích hợp Aleo/Leo vào công cụ kiểm toán AI zkao và hoàn thành kiểm toán hệ thống phân phối viện trợ của HumanityLink; và, sau các vụ khai thác ZK trực tiếp đầu tiên (Veil và Foom) do thiếu các giai đoạn thiết lập Groth16, đã thêm tính năng phát hiện tự động cho lớp lỗ hổng này vào zkao. Trọng tâm tương lai: tiếp tục mở rộng phạm vi hỗ trợ của zkao cho nhiều ngôn ngữ và DSL ZK hơn, đồng thời đẩy mạnh phát triển zkvmBlast bằng cách công bố thêm chi tiết kỹ thuật và khuyến khích các nhóm zkVM áp dụng nó như một công cụ CI.
Đồng sáng lập và đội ngũ cốt lõi hiện tại: - David Wong: Đồng sáng lập zkSecurity, tác giả sách Real-World Cryptography, trước đây là Kiến trúc sư Mật mã tại O(1) Labs, Trưởng nhóm Bảo mật cho Diem/Libra tại Novi (Facebook), và chuyên gia tư vấn bảo mật tại Dịch vụ Mật mã của NCC Group. () - Gregor Mitscha-Baude: Đồng sáng lập zkSecurity, trước đây là Kỹ sư Mật mã zk tại O(1) Labs, Tiến sĩ toán học số ứng dụng từ Đại học Kỹ thuật Vienna. () - Brandon Kase: Đồng sáng lập zkSecurity; không có tiểu sử công khai chi tiết. - Mathias Hall-Andersen: Đồng sáng lập zkSecurity; không có tiểu sử công khai chi tiết.
Zksecurity gần đây đã chào đón Kobi Gurkan làm thành viên Nghiên cứu vào tháng 8 năm 2026. Kobi mang đến chuyên môn sâu rộng về mật mã ứng dụng, SNARK và các sơ đồ ngưỡng, trước đây từng đóng góp cho các dự án như cpsnarks-set và aggregatable-dkg. Sự gia nhập của anh ấy củng cố năng lực nghiên cứu của Zksecurity cho các cuộc kiểm toán bảo mật zero-knowledge. Không có sự ra đi nào được báo cáo trong giai đoạn này.