Sự phân biệt bảo mật cơ bản giữa các bằng chứng không kiến thức và các bằng chứng gian lận liên quan đến việc liệu tính chính xác của việc thực thi có được xác minh thông qua sự chắc chắn toán học hay thông qua các giả định kinh tế về hành vi hợp lý. Các rollup lạc quan sử dụng hệ thống bằng chứng gian lận giả định rằng các giao dịch thực hiện đúng trừ khi có ai đó thách thức chúng trong khoảng thời gian tranh chấp, điều này tạo ra mô hình bảo mật dựa trên lý thuyết trò chơi về khi nào các tác nhân hợp lý thấy việc thách thức là đáng giá. Bảo mật xác suất đó hoạt động tốt trong các điều kiện bình thường, nơi các động lực kinh tế phù hợp và những người thách thức vẫn hoạt động, nhưng giới thiệu các giả định về hành vi mà các bằng chứng toán học loại bỏ hoàn toàn. Cách tiếp cận không kiến thức mà Linea thực hiện xác minh từng lô giao dịch thông qua các bằng chứng mật mã chứng minh tính chính xác với sự chắc chắn toán học thay vì giả định tính chính xác trừ khi bị chứng minh là sai. Sự chuyển đổi từ bảo mật xác suất sang bảo mật chắc chắn thay đổi những gì có thể cho hoạt động không cần tin cậy và sự chấp nhận của các tổ chức cũng như sự phi tập trung lâu dài vì nó loại bỏ toàn bộ thể loại giả định về hành vi của người tham gia và tính hợp lý kinh tế.
Mô hình bảo mật chứng minh gian lận mà các rollup lạc quan sử dụng yêu cầu phải tin tưởng rằng những người thách thức trung thực sẽ phát hiện và tranh chấp các chuyển đổi trạng thái không hợp lệ trong các khung thời gian giới hạn tổn thất tối đa từ gian lận không phát hiện. Các giả định bảo mật bao gồm rằng có người giám sát liên tục các chuyển đổi trạng thái, rằng những người thách thức có thể đặt cọc và nộp chứng minh gian lận trước khi các khung thời gian hết hạn, rằng các động lực kinh tế làm cho việc thách thức hợp lý khi gian lận xảy ra, và rằng các cơ chế tranh chấp hoạt động chính xác trong các điều kiện đối kháng. Những giả định đó giữ vững trong hầu hết các trường hợp, điều này khiến cho bảo mật lạc quan là đủ cho nhiều ứng dụng nhưng chúng giới thiệu các chế độ thất bại trở nên đáng lo ngại khi xử lý các giá trị lớn hơn hoặc bảo vệ chống lại các cuộc tấn công tinh vi hoặc hoạt động mà không có các cơ chế dự phòng tập trung. Các đối thủ nghiên cứu các hệ thống lạc quan đặc biệt tìm kiếm các điều kiện nơi mà các giả định có thể sụp đổ như các cuộc tấn công nhật thực ngăn cản những người thách thức truy cập vào mạng hoặc các điều kiện kinh tế nơi mà việc thách thức trở nên không có lợi hoặc thất bại phối hợp trong khi có khối lượng tranh chấp cao. Việc đánh giá bảo mật cho các hệ thống lạc quan yêu cầu phân tích lý thuyết trò chơi và động lực kinh tế và các điều kiện mạng hơn là chỉ xác minh tính chính xác mật mã.
Bằng chứng toán học bảo mật mà các hệ thống không có kiến thức cung cấp loại bỏ những giả định hành vi đó thông qua xác minh mật mã mà chứng minh tính chính xác thực hiện độc lập với các điều kiện kinh tế hoặc hành vi của người tham gia. Các chứng minh không có kiến thức mà Linea tạo ra cho mỗi lô giao dịch cung cấp các tuyên bố toán học rằng việc thực hiện đã xảy ra chính xác theo các quy tắc EVM. Các người xác minh kiểm tra các chứng minh đó trên mạng chính Ethereum thực hiện các tính toán mật mã mà xác nhận tính hợp lệ của chứng minh hoặc từ chối chứng minh không hợp lệ với sự chắc chắn hơn là chỉ dựa vào các tác nhân kinh tế để xác định và thách thức việc thực hiện không chính xác. Sự chuyển dịch từ bảo mật kinh tế sang bảo mật mật mã có nghĩa là các thuộc tính bảo mật vẫn còn nguyên vẹn bất kể giá token hoặc hành vi hợp lý hoặc các điều kiện mạng vì xác minh toán học chỉ phụ thuộc vào các giả định mật mã thay vì các giả định về cách mà người tham gia phản ứng với các động lực. Việc đánh giá bảo mật cho các hệ thống không có kiến thức tập trung vào tính hợp lệ mật mã và tính chính xác của việc triển khai hơn là phân tích lý thuyết trò chơi về các cấu trúc động lực.
Quan điểm của các tổ chức về sự khác biệt mô hình bảo mật mạnh mẽ ủng hộ độ chắc chắn toán học hơn bảo mật xác suất khi cả hai tùy chọn đều trở nên khả dụng. Các tổ chức tài chính đánh giá cơ sở hạ tầng rollup cho việc triển khai sản xuất phân tích bảo mật thông qua các khung rủi ro mà gán xác suất và tổn thất tiềm năng cho các chế độ thất bại khác nhau. Các hệ thống chứng minh gian lận giới thiệu xác suất xung quanh việc liệu các thách thức xảy ra khi cần thiết, điều này làm phức tạp việc định lượng rủi ro vì nó phụ thuộc vào các yếu tố bên ngoài về hành vi của người thách thức hơn là chỉ vào các thuộc tính của hệ thống. Các hệ thống chứng minh không có kiến thức cung cấp các mô hình rủi ro mà bảo mật chỉ phụ thuộc vào các giả định mật mã mà các tổ chức có thể đánh giá thông qua các phương pháp đã được thiết lập hơn là các giả định hành vi về hành động của người tham gia trong các điều kiện thị trường không xác định. Mô hình rủi ro sạch hơn đó cho phép các quy trình phê duyệt của tổ chức gặp khó khăn với các giả định hành vi mở trong các hệ thống quan trọng về bảo mật. Các tổ chức đã phê duyệt các mô hình bảo mật mật mã cho các hệ thống khác dễ dàng mở rộng những sự phê duyệt đó cho các rollups không có kiến thức hơn là tạo ra các khung rủi ro mới cho bảo mật lý thuyết trò chơi.
Các tác động của việc phân quyền chuyển từ bảo mật xác suất sang bảo mật chắc chắn liên quan đến những giả định tin cậy nào phải tồn tại ngay cả sau khi phân quyền các thành phần hệ thống. Các rollups lạc quan có thể phân quyền các bộ trình tự và người chứng minh của họ nhưng bảo mật vẫn phụ thuộc vào việc giả định hành vi giám sát tích cực và thách thức hợp lý, điều này tạo ra các yêu cầu phối hợp mà các bên tập trung xử lý đáng tin cậy hơn so với các người tham gia phân tán. Sự không chắc chắn về việc liệu các thách thức có xảy ra khi cần thiết trong hoạt động hoàn toàn phân quyền khiến việc loại bỏ các dự phòng tập trung trở nên rủi ro hơn vì các cơ chế dự phòng thường cung cấp bảo mật thực sự tin cậy trong khi các cơ chế phân quyền cung cấp lý thuyết. Các hệ thống không có kiến thức loại bỏ những phụ thuộc tin cậy đó thông qua các chứng minh toán học mà xác minh tính chính xác bất kể có ai giám sát tích cực có vấn đề hay không. Điều đó cho phép hoạt động thực sự không cần tin cậy nơi không bên nào cần khả năng đặc biệt hoặc phối hợp vượt quá việc xác minh mật mã cơ bản mà bất kỳ người xác thực nào cũng có thể thực hiện độc lập. Con đường phân quyền trở nên rõ ràng hơn khi các thuộc tính bảo mật không suy giảm bằng cách loại bỏ giám sát tập trung và phối hợp thách thức.
Các cân nhắc về tính bền vững lâu dài ủng hộ các mô hình bảo mật vẫn vững chắc khi các điều kiện kinh tế tiến triển thay vì phụ thuộc vào việc duy trì các cấu trúc động lực cụ thể. Các hệ thống chứng minh gian lận yêu cầu thiết kế kinh tế cẩn thận để đảm bảo rằng việc thách thức vẫn có lợi trong suốt các điều kiện thị trường tiềm năng và các kịch bản tấn công. Các giao thức phải liên tục đánh giá liệu các động lực của người thách thức có đủ hay không khi các giá trị bị rủi ro gia tăng hoặc sự biến động thị trường ảnh hưởng đến kinh tế hoặc các mẫu tấn công mới xuất hiện. Các điều chỉnh đối với các cấu trúc động lực giới thiệu sự phức tạp trong quản trị xung quanh các tham số bảo mật ảnh hưởng đến tính chính xác của hệ thống. Các chứng minh không có kiến thức cung cấp bảo mật vẫn vững chắc qua các điều kiện kinh tế vì xác minh toán học hoạt động giống nhau cho dù hệ thống xử lý hàng triệu hay hàng tỷ giá trị và cho dù các thị trường bình tĩnh hay biến động. Tính độc lập kinh tế của các thuộc tính bảo mật giảm bớt gánh nặng quản trị xung quanh các tham số bảo mật và loại bỏ mối lo ngại rằng các điều kiện kinh tế thay đổi có thể làm vô hiệu hóa các giả định bảo mật.
Các tác động đến trải nghiệm người dùng của bảo mật chắc chắn so với bảo mật xác suất nổi lên chủ yếu thông qua thời gian cuối cùng và sự chậm trễ rút tiền. Các hệ thống lạc quan yêu cầu các khung tranh chấp kéo dài một tuần trước khi coi các giao dịch là cuối cùng, điều này tạo ra sự ma sát trải nghiệm người dùng cho việc rút tiền mặc dù hầu hết các hoạt động lớp hai xảy ra mà không chạm vào những sự chậm trễ đó. Các chứng minh không có kiến thức cho phép độ chắc chắn nhanh hơn vì xác minh diễn ra thông qua kiểm tra mật mã trực tiếp thay vì chờ đợi các khoảng thời gian thách thức hết hạn. Trải nghiệm rút tiền được cải thiện mà độ chắc chắn nhanh hơn mang lại là quan trọng cho những người dùng thường xuyên di chuyển tài sản giữa lớp hai và mạng chính hoặc các ứng dụng yêu cầu giải quyết nhanh. Độ chắc chắn mà các chứng minh không có kiến thức cung cấp cũng đơn giản hóa việc giải thích bảo mật cho người dùng vì xác minh toán học an toàn hơn trực quan so với lý thuyết trò chơi về việc thách thức hợp lý yêu cầu hiểu biết về các cấu trúc động lực kinh tế.
Động lực cạnh tranh ngày càng ưu ái các phương pháp không có kiến thức khi các rào cản kỹ thuật để chứng minh hiệu quả giảm và khi sự hiểu biết về sự khác biệt của mô hình bảo mật cải thiện. Lợi thế lịch sử mà các rollup lạc quan hưởng lợi từ việc triển khai dễ dàng hơn và thời gian ra mắt nhanh hơn giảm dần khi các hệ thống chứng minh không có kiến thức trưởng thành và sẵn sàng cho sản xuất. Những lợi thế bảo mật mà các chứng minh toán học cung cấp so với bảo mật xác suất trở nên được đánh giá cao hơn khi người dùng và các tổ chức trở nên tinh vi trong việc hiểu các mô hình bảo mật rollup. Các ứng dụng xử lý giá trị nghiêm trọng ngày càng chọn cơ sở hạ tầng với các thuộc tính bảo mật mạnh nhất có thể thay vì chấp nhận bảo mật đầy đủ cho những lợi ích khiêm tốn xung quanh việc triển khai nhanh hơn hoặc thực hiện đơn giản hơn. Các nền tảng đã đầu tư sớm vào công nghệ không có kiến thức như Linea đã được định vị để hưởng lợi từ sự chuyển đổi đó về việc ưu tiên độ chắc chắn mật mã hơn lý thuyết trò chơi kinh tế cho cơ sở hạ tầng quan trọng về bảo mật.
Khi nhìn vào cách mà các yêu cầu bảo mật phát triển cho cơ sở hạ tầng blockchain khi việc áp dụng chuyển từ thử nghiệm sang phụ thuộc vào các hệ thống phải hoạt động chính xác trong mọi điều kiện, điều trở nên rõ ràng là độ chắc chắn toán học cung cấp nền tảng vững chắc hơn so với các giả định xác suất dựa trên hành vi của người tham gia. Các ứng dụng có thể chấp nhận một số sự không chắc chắn trong thực hiện hoặc tin tưởng vào các cơ chế dự phòng thấy bảo mật lạc quan là đủ trong khi các ứng dụng yêu cầu mức độ đảm bảo cao nhất ngày càng yêu cầu xác minh không có kiến thức. Các tổ chức triển khai hệ thống sản xuất thích loại bỏ các giả định hành vi khỏi các mô hình bảo mật khi các lựa chọn mật mã trở nên khả dụng. Linea đã chứng minh sự chuyển đổi từ bảo mật xác suất sang bảo mật chắc chắn thông qua các chứng minh không có kiến thức mà xác minh tính chính xác thực hiện toán học thay vì giả định tính chính xác phụ thuộc vào thách thức. Khi các chứng minh giao dịch trở thành độ chắc chắn toán học không phải giả định xác suất, điều thay đổi là khả năng xây dựng các hệ thống thực sự không cần tin tưởng nơi mà bảo mật chỉ phụ thuộc vào tính hợp lệ mật mã thay vì hy vọng rằng các tác nhân hợp lý hành xử như mong đợi trong các điều kiện tương lai không xác định.
