Đã được kiểm chứng nghiêm ngặt. 🛡️ Xin cảm ơn @CertoraInc đã hỗ trợ cuộc thi Xác minh chính thức trong cuộc kiểm toán @cantinaxyz của chúng tôi — hàng trăm thuộc tính của Aquarius AMM đã được kiểm tra, xác thực và chứng minh là chính xác. Đẩy mạnh cơ sở hạ tầng DeFi , từng bằng chứng một.
Bài viết này được dịch máy
Xem bản gốc
Certora
@CertoraInc
09-01
Our report for the @AquariusDeFi formal verification contest on @cantinaxyz is also now public!
Thanks to all participants who together verified hundreds of properties of the Aquarius AMM infrastructure for @StellarOrg.
Learn more 👇 x.com/cantinaxyz/sta…
Khu vực:
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
Nội dung liên quan
