Sau Trail of Bit và Solidified OUSD đã được kiểm toán bởi Certora

Với Origin, chúng tôi đề cao bảo mật chuyên sâu. Ngoài kiểm tra mức đơn vi, kiểm toán nội bộ, kiểm tra xác thực, kiểm toán bên thứ 3 và chương trình phần thưởng cho người phát hiện lỗi trên hợp đồng, chúng tôi cũng đã mời Certora vào sử dụng sức mạnh của xác minh phần mềm chính thức nâng cao trên hợp đồng OUSD.

Certora đã hoàn thành kiếm toán OUSD.

Phương pháp xác minh chính thức

Các phương pháp xác minh chính thức biến code thành một phương trình toán học khổng lồ có thể được giải để xem liệu các thuộc tính cụ thể có luôn đúng hay không.

Cách kiểm tra thường dùng là kiểm tra đơn vị và mỗi bài kiểm tra sẽ kiểm tra xem trong một tình huống cụ thể duy nhất xem code có hoạt động đúng hay không. Nhưng với thử nghiệm / tư duy dựa trên tài sản, bạn tập trung vào các quy tắc sẽ áp dụng cho bất kỳ tình huống nào có thể xảy ra với hợp đồng và sau đó kiểm tra các tình huống vi phạm có thể xảy ra. 

Sự thay đổi trong suy nghĩ này có thể làm lộ ra những lỗi ẩn sau những giả định ban đầu về cách code hoạt động hoặc những giả định trước đây của bạn về những tình huống mà code có thể gặp phải.

Trải nghiệm

Chúng tôi đã có những trải nghiệm tuyệt vời khi làm việc với nhóm Certora. Thật tuyệt vời khi được làm việc với những người cực kỳ thông minh, những người luôn suy nghĩ thấo đáo về cách hợp đồng thông minh của chúng ta sẽ hoạt động, những người có thể xây dựng và sửa đổi công cụ để xác minh hoạt động và những người mang lại quan điểm mới về tính bảo mật và tính đúng đắn.

Tương lai

Đây chỉ là bước khởi đầu trong cam kết của chúng tôi đối với tính bảo mật của OUSD. Chúng tôi đang tiếp tục làm việc với Certora để xác minh thêm và sẽ bắt đầu một cuộc kiếm toán bên ngoài đầy đủ khác vào tháng tới, OpenZepplin sẽ là đơn vị tiếp theo sẽ kiểm toán OUSD.