YES! Kiểm toán, kiểm toán, kiểm toán...

📰 Chúng tôi rất vui mới được trở thành nhà kiểm toán chính cho một giao thức DeFi hàng đầu: Lido, một cột mốc quan trọng của hệ sinh thái. 🫡

Lido V3 giới thiệu các công cụ mới mạnh mẽ: Staking Vaults (stVaults) và Vault Hub, thúc đẩy các lựa chọn đóng gói linh hoạt hơn.

Các tổ chức có thể chạy validators của riêng họ, các nhà đầu tư nâng cao có thể sử dụng các vòng lặp $stETH, và mỗi vault được cách ly để giới hạn rủi ro.

Đây không phải là lần đầu tiên Certora hợp tác với Lido. Trước đó chúng tôi đã xem xét cập nhật Lido V2 và đứng đầu quy trình xem xét thiết kế cho cài đặt Quản lý Đôi của họ.

Bây giờ Certora đang củng cố giao thức V3 chống lại các lỗ hổng, các kỹ thuật xâm nhập hoặc các mâu thuẫn logic.

Khi kiểm toán hoàn tất, Lido V3 sẽ được đưa vào sử dụng trên mạng chính.

Chúng tôi rất vui được xem nó hoạt động trong thực tế 👀