Tại sao Unichain và Flare đều giới thiệu môi trường thực thi đáng tin cậy?

Viết bởi Haotian

Gần đây, có một số cuộc thảo luận xung quanh sự khác biệt giữa ZK và Môi trường thực thi tin cậy (TEE) ) Thảo luận rất rộng rãi. Lý do là @unichain , một người mới tham gia lớp 2, tuyên bố rằng các khối con cấp mili giây của nó được xây dựng dựa trên TEE, trong khi chuỗi oracle cũ @FlareNetworks, được gọi là chuỗi khối dữ liệu, tích hợp các kênh Internet truyền thống chẳng hạn như Google Cloud, thông qua TEE giới thiệu tính toán ngoài chuỗi có thể kiểm chứng được. Kết hợp hai điều này, hãy để tôi nói về quan điểm của mình:

1) TEE (Môi trường thực thi tin cậy) là một công nghệ bảo mật cấp phần cứng. Nói một cách đơn giản, TEE tạo ra. một môi trường Enclave độc ​​lập, an toàn và biệt lập trong bộ xử lý, hoàn toàn tách biệt với chương trình hệ điều hành chính. Nó có thể lưu trữ và bảo vệ dữ liệu nhạy cảm một cách an toàn, đồng thời có cơ chế kiểm soát truy cập nghiêm ngặt.

Điều này có nghĩa là các nhà phát triển có thể thực thi các chương trình cụ thể trong TEE và khuếch đại đầy đủ hiệu quả thực thi cũng như hiệu suất của phần cứng trong khi vẫn đảm bảo an toàn. Hiện tại, có nhiều triển khai TEE khác nhau bao gồm Intel SGX ARM TrustZone, v.v., có ứng dụng rộng hơn trong Internet di động, Internet of Things và các lĩnh vực khác cũng như các ứng dụng trong kịch bản blockchain đang được khám phá.

2) Unichain dựa trên môi trường TEE, cho phép các giao dịch được thực hiện trước và xác minh trước khi giao dịch được chính thức đóng gói thành một khối, phá vỡ quy tắc Giao dịch ban đầu Có thể đạt được việc tải lên Mempool thống nhất và hạn chế chờ đóng gói cũng như một môi trường tương đối an toàn và khép kín để ngăn chặn sự giả mạo và cái ác.

Ý tưởng tạo ra một cỗ máy dự đoán của Flare Network cũng được khuếch đại với sự trợ giúp của môi trường TEE. Việc xây dựng một chuỗi khối dữ liệu oracle hoàn toàn để cung cấp giá (Chỉ báo giá) cho môi trường hợp đồng DeFi sẽ rất phức tạp. Việc mở rộng phạm vi dữ liệu sang kết quả trò chơi thể thao, dữ liệu truyền thông xã hội, xếp hạng bầu cử theo thời gian thực, v.v. sẽ yêu cầu lượng lớn hoạt động ngoài chuỗi. khả năng tính toán và xử lý, và cuối cùng chuyển các kết quả có thể kiểm chứng được tới môi trường trên chuỗi.

Flare sẽ thực hiện các hoạt động tính toán chuyên sâu thông qua môi trường TEE do Google Cloud cung cấp và chỉ cung cấp các kết quả đáng tin cậy cho chuỗi, tránh nhu cầu về nguồn dữ liệu khổng lồ Việc xử lý chồng chất lên dây chuyền sẽ gây ra chi phí lớn hơn. Ý tưởng rất đơn giản: các tác vụ tính toán phức tạp được thực hiện ngoài chuỗi và sau đó được xác minh trên chuỗi thông qua các bằng chứng ngắn, điều này có thể giảm tải dữ liệu và yêu cầu tính toán trên chuỗi.

3) Sau khi so sánh, không khó để thấy rằng môi trường thực thi đáng tin cậy TEE dựa vào các nhà sản xuất phần cứng (như AMD, Intel) và Google Cloud đối với một số nhà sản xuất phần cứng. mức độ. Các nhà cung cấp dịch vụ ngược dòng truyền thống cung cấp "độ tin cậy" và thực hiện Xử lý trước trên dữ liệu gốc và cuối cùng áp dụng kết quả dữ liệu cho chuỗi. Có một điểm khác biệt chính giữa điều này và sự tin cậy do ZK cung cấp dựa trên các nguyên tắc toán học và thuật toán mã hóa và không dựa vào bất kỳ phần cứng nào: TEE yêu cầu bên tin cậy của bên thứ ba.

Làm thế nào để giải quyết vấn đề này? Logic cũng rất đơn giản: Mạng Prove có thể kiểm chứng TEE+. Việc giới thiệu một mạng lưới bằng chứng có thể kiểm chứng có thể cải thiện đáng kể tính minh bạch và độ tin cậy của hệ thống TEE. Mạng xác minh phi tập trung do Unichain giới thiệu và cấu trúc quản trị nút phân tán do kiến ​​trúc chuỗi khối của Flare cung cấp đều đóng vai trò của mạng xác minh này.

Mặc dù Unichain chưa tiết lộ chi tiết việc triển khai và quản trị mạng xác minh này, cách sử dụng các tính năng xác thực từ xa của môi trường vùng TEE và cách cung cấp bảo mật trong phần cứng Tạo bằng chứng và tương tác với môi trường trên chuỗi trong khi duy trì tính bảo mật phải là điểm mấu chốt.