Chứng minh trò chơi

Trong thế giới blockchain, "lạc quan" không chỉ là một tư duy; đó là một triết lý thiết kế mạnh mẽ và hiệu quả. Không giống như các rollup không biết (ZK), yêu cầu một lượng lớn tính toán để tạo ra bằng chứng cho mỗi giao dịch duy nhất, các rollup lạc quan giả định rằng tất cả các chuyển giao trạng thái là hợp lệ cho đến khi được chứng minh ngược lại. Cách tiếp cận "vô tội cho đến khi bị chứng minh là có tội" này là cốt lõi của mô hình bảo mật của Bitlayer, cho phép khả năng mở rộng và tốc độ vô cùng lớn trong khi duy trì một cơ chế trên chuỗi quan trọng để sửa chữa mọi gian lận. Bảo mật của hệ thống không được đảm bảo bởi việc xác minh liên tục, tốn kém, mà bởi một thách thức chứng minh gian lận có mức cược cao, theo lý thuyết trò chơi.