Tại Hội nghị Web3 Scholars Summit, Đồng sáng lập CertiK kiêm Giáo sư CS của Yale, Zhong Shao, đã công bố một khuôn khổ đột phá: LiDO và LiDO-DAG.

Sự đổi mới này mang đến những bằng chứng chính thức, được máy móc xác minh đầu tiên về tính an toàn và khả năng hoạt động cho các giao thức đồng thuận hiện đại như Jolteon, Narwhal và Bullshark.

Bằng cách tinh chỉnh các mô hình an toàn cấp cao xuống mã cấp độ triển khai, LiDO đặt nền móng cho một tương lai phi tập trung, có thể mở rộng và bảo mật một cách có thể kiểm chứng được.

Bảo mật không chỉ là ngăn chặn các hành vi khai thác, mà còn là xây dựng các hệ thống mà chúng ta có thể tin tưởng ngay từ đầu.