Theo lời của người sáng lập @0xPolygon, @sandeepnailwal, ông đã định nghĩa chứng minh Bi quan là một giải pháp an ninh ZK đảm bảo không có chuỗi nào có thể rút nhiều hơn từ cầu chung so với số họ đã gửi.
Mô tả thêm, chứng minh Bi quan đơn giản là một giải pháp an ninh zk cho khả năng tương tác giữa các chuỗi, cũng như một giải pháp mật mã được tích hợp vào Agglayer để coi tất cả các chuỗi là không đáng tin cậy và sẽ điều tra chúng một cách nghiêm ngặt. Nói cách khác:
Chứng minh Bi quan là một sự bảo vệ và phòng thủ đối với các giao dịch trong Agglayer trên các chuỗi chéo khác nhau, với sự giao tiếp và tương tác mượt mà giữa những chuỗi đó.
Với giao thức này hoạt động trên Mainnet, nó chuẩn bị sẵn khung để Agglayer vận hành trên nhiều lớp nền tảng (stacks), qua đó đảm bảo an toàn cho các giao dịch xuyên chuỗi.
Các proof trên Agglayer V0.2 tập hợp nhiều chuỗi lại với nhau và thống nhất chúng; bản nâng cấp này mang đến hai tính năng cụ thể cho hệ thống:
1. Tính linh hoạt: kết nối các chuỗi với các mô hình bảo mật khác nhau
2. Tính an toàn: cung cấp an toàn cho khả năng tương tác xuyên chuỗi.
Pessimistic proofs hoạt động như thế nào.
- Nó sử dụng một cầu nối (bridge) thống nhất để biến #Agglayer thành một giao thức phi tập trung, giúp mở rộng quy mô blockchain bằng cách hợp nhất thanh khoản, người dùng và trạng thái.
- Nó cung cấp sự đảm bảo mật mã cho phép các chuỗi kết nối với các bridge dùng chung mà không cần tin tưởng.
- Nó cho phép người dùng chuyển tài sản từ chuỗi A sang chuỗi B mà không cần trung gian, thể hiện tính minh bạch trong Agglayer
- Pessimistic proof luôn đảm bảo rằng không có chuỗi nào thao túng việc nạp (deposits) sang các chuỗi khác.
- Agglayer tạo ra các Pessimistic proofs bằng cách làm việc với ba thông tin quan trọng:
1. Các chuỗi cập nhật đúng
2. Các chuỗi thực hiện đúng việc hạch toán nội bộ, tức là không cố gắng rút token mà chúng không có.
3. Tất cả các chuỗi đã thực hiện đúng việc hạch toán nội bộ.
Lợi ích cho Agglayer
- Agglayer có thể tính toán cách thức các giao dịch được thực hiện giữa các chuỗi khác nhau, nhằm ngăn chặn bất kỳ sự tẩy chay nào trong hệ thống.
- Làm cho Agglayer an toàn, thông minh và bảo mật cho các giao dịch.
- Giao tiếp nhanh chóng và liền mạch giữa các chuỗi
- Khả năng tương tác đầy đủ
- Khả năng mở rộng quy mô và thanh khoản
- Không mất tin nhắn từ chuỗi này sang chuỗi khác.
- Agglayer trở nên có thể truy cập được với các chuỗi khác, không chỉ các chuỗi trong Polygon CDK.
Nâng cấp này là điều kiện tiên quyết quan trọng để Agglayer bước vào giai đoạn nâng cấp tiếp theo.
Tìm hiểu thêm về Nâng cấp Agglayer qua bài đăng trên blog:
https://polygon.technology/blog/major-development-upgrade-for-a-multistack-future-pessimistic-proofs-live-on-agglayer-mainnet