Xác minh chính thức toàn diện của @CetusProtocol trên @SuiNetwork: giao thức CLMM cốt lõi, thư viện tiêu chuẩn (STL) và integer-mate. Việc xác minh chính thức của chúng tôi xác nhận tính chính xác của các thuộc tính giao thức quan trọng, bao gồm các chứng minh suy diễn rằng các hàm chuyển đổi tick-to-price thực hiện đúng các công thức toán học (√1.0001^tick và nghịch đảo của nó). Điều này vượt xa tất cả các công việc xác minh chính thức khác trên các giao thức CLMM kiểu Uniswap v3, bao gồm cả Uniswap. Như một phần của quan hệ đối tác an ninh với Cetus, chúng tôi sẽ tiếp tục củng cố giao thức của họ. Chi tiết và báo cáo bên dưới.