Sau khi kiểm tra chi tiết và trang web chính thức của công ty cho thấy:

Veridise là một công ty tập trung vào bảo mật blockchain, được thành lập vào năm 2021 bởi một nhóm các chuyên gia học thuật đẳng cấp thế giới. Công ty cam kết giải quyết các thách thức bảo mật phức tạp nhất trong hệ sinh thái Web3 thông qua nghiên cứu và công nghệ tiên tiến. Nhiệm vụ của Veridise là nâng cao tính bảo mật và độ tin cậy của blockchain thông qua các kỹ thuật xác minh chính thức và phân tích thủ tục.

Sản phẩm và dịch vụ

Veridise cung cấp các dịch vụ bảo mật blockchain toàn diện bao gồm các lĩnh vực sau:

Kiểm toán hợp đồng thông minh:

Thực hiện phân tích chuyên sâu về bảo mật của hợp đồng thông minh, phát hiện lỗ hổng và đưa ra đề xuất sửa chữa.

Kiểm toán giao thức blockchain:

Thực hiện phân tích bảo mật toàn diện cho các giao thức blockchain L1 và L2 để đảm bảo tính bảo mật của kiến trúc cơ bản.

Kiểm toán mạch không kiến thức:

Tập trung vào đánh giá bảo mật của công nghệ bằng chứng không kiến thức (ZK) để đảm bảo bảo vệ quyền riêng tư và tính chính xác của máy tính.

Kiểm toán tài chính phi tập trung (DeFi):

Cung cấp dịch vụ kiểm toán bảo mật tùy chỉnh cho sự phức tạp của giao thức DeFi.

Xác minh chính thức:

Sử dụng công nghệ xác minh chính thức tiên tiến để đảm bảo tính chính xác và bảo mật của mã.

Tính năng kỹ thuật

Xác minh chính thức và phân tích chương trình:

Veridise lấy xác minh chính thức làm công nghệ cốt lõi, kết hợp với phương pháp phân tích chương trình, có thể phát hiện các lỗ hổng khó tìm thấy trong kiểm toán truyền thống.

Kết hợp học thuật và công nghiệp:

Nhóm công ty bao gồm các tài năng hàng đầu trong giới học thuật và công nghiệp, áp dụng kết quả nghiên cứu mới nhất vào các dự án thực tế.

Công cụ chuyên dụng:

Veridise đã phát triển nhiều công cụ nội bộ để phát hiện các lỗ hổng phức tạp và cung cấp phân tích bảo mật toàn diện.

Bảo hiểm bảo mật ngăn xếp đầy đủ:

Dịch vụ bao gồm nhiều lĩnh vực như hợp đồng thông minh, giao thức chuỗi khối, mạch không có kiến thức, cung cấp bảo mật toàn diện.

Dự án chuỗi khối tham gia

Veridise đã cung cấp dịch vụ bảo mật cho nhiều dự án chuỗi khối nổi tiếng, bao gồm nhưng không giới hạn ở:

Linea:

cung cấp kiểm toán bảo mật của hợp đồng thông minh và giao thức.

Manta Network:

Dự án bảo vệ quyền riêng tư tập trung vào công nghệ không có kiến thức, Veridise có thể tham gia đánh giá

Scroll:

Một giải pháp mở rộng L2 dựa trên Ethereum, mà Veridise cung cấp dịch vụ kiểm toán bảo mật.

Các dự án khác:

Veridise cũng có thể tham gia kiểm toán bảo mật của các giao thức blockchain khác, các dự án DeFi và công nghệ không có kiến thức, nhưng chi tiết cụ thể cần được xác nhận thêm.