Tiêu đề gốc: "TEE lại được tranh luận sôi nổi: một bình minh mới trong thế tiến thoái lưỡng nan của sự phát triển công nghệ bảo mật? 》

Tác giả gốc: Linda Bell, ChainFeeds

Với nhu cầu bảo vệ quyền riêng tư ngày càng tăng, TEE một lần nữa trở thành tâm điểm thảo luận. Mặc dù TEE đã được thảo luận trong nhiều năm, nhưng nó vẫn chưa được áp dụng rộng rãi do các vấn đề bảo mật phần cứng. Tuy nhiên, khi các công nghệ MPC và ZK gặp phải những thách thức về hiệu suất và yêu cầu kỹ thuật, nhiều nhà nghiên cứu và nhà phát triển đã tập trung lại vào TEE.

Xu hướng này cũng đã làm dấy lên các cuộc thảo luận trên Twitter về việc liệu TEE có thay thế công nghệ ZK hay không. Một số người dùng tin rằng TEE và ZK bổ sung cho nhau hơn là cạnh tranh vì chúng giải quyết các vấn đề khác nhau và không bên nào là hoàn hảo. Những người dùng khác chỉ ra rằng tính bảo mật do AWS và Intel cung cấp cao hơn tính năng bảo vệ đa chữ ký của Rollup. Sự đánh đổi này là xứng đáng vì khả năng mở rộng không gian thiết kế của TEE mà ZK không thể thực hiện được.

TEE là gì?

TEE thực ra không phải là một khái niệm xa lạ. Công nghệ TEE, hay còn gọi là "Secure Enclave", được ứng dụng trên các dòng điện thoại di động Apple mà chúng ta thường sử dụng. Chức năng chính của nó là bảo vệ thông tin nhạy cảm của người dùng và thực hiện các hoạt động mã hóa. Secure Enclave được tích hợp vào chip cấp hệ thống và tách biệt với bộ xử lý chính để đảm bảo tính bảo mật cao. Ví dụ, mỗi khi bạn sử dụng Touch ID hoặc Face ID, Secure Enclave sẽ xác minh thông tin sinh trắc học của bạn và bảo vệ thông tin đó không bị rò rỉ.

TEE là viết tắt của Trusted Execution Environment, đây là một khu vực an toàn bên trong máy tính hoặc thiết bị di động chạy độc lập với hệ điều hành chính. Các tính năng chính của nó bao gồm: tách biệt khỏi hệ điều hành chính, do đó ngay cả khi hệ điều hành chính bị tấn công, dữ liệu nội bộ và quá trình thực thi vẫn an toàn; thông qua hỗ trợ phần cứng và công nghệ mã hóa, mã và dữ liệu nội bộ được ngăn chặn khỏi bị giả mạo trong quá trình vận hành; và công nghệ mã hóa được sử dụng để bảo vệ dữ liệu nhạy cảm và ngăn ngừa rò rỉ.

Hiện nay, các triển khai TEE phổ biến như sau:

· Intel SGX:Cung cấp môi trường thực thi biệt lập được hỗ trợ bởi phần cứng, tạo ra vùng bộ nhớ an toàn (enclave) để bảo vệ dữ liệu và mã nhạy cảm.

· ARM TrustZone: Tạo ra một thế giới an toàn và một thế giới bình thường bên trong bộ xử lý, trong đó thế giới an toàn chạy các hoạt động nhạy cảm và thế giới bình thường xử lý các tác vụ thông thường.

· AWS Nitro Enclaves:Dựa trên chip bảo mật AWS Nitro TPM, sản phẩm này cung cấp môi trường thực thi đáng tin cậy trên đám mây và được thiết kế dành riêng cho các tình huống điện toán đám mây xử lý dữ liệu bí mật.

Trong thị trường tiền điện tử, công nghệ TEE thường được sử dụng cho mục đích tính toán ngoài chuỗi trong môi trường đáng tin cậy và an toàn. Đồng thời, chức năng chứng thực từ xa của TEE cho phép người dùng từ xa xác minh tính toàn vẹn của mã chạy trong TEE, đảm bảo tính bảo mật khi xử lý dữ liệu. Tuy nhiên, TEE cũng thiếu tính phi tập trung vì chúng phụ thuộc vào các nhà cung cấp tập trung như Intel và AWS. Nếu những phần cứng này có lỗ hổng hoặc cửa hậu, tính bảo mật của hệ thống có thể bị đe dọa. Tuy nhiên, với tư cách là một phương tiện hỗ trợ, công nghệ TEE dễ xây dựng và có chi phí thấp, phù hợp với các tình huống ứng dụng đòi hỏi tính bảo mật và bảo vệ quyền riêng tư cao. Những ưu điểm này cũng cho phép công nghệ TEE được áp dụng vào nhiều ứng dụng mã hóa khác nhau, chẳng hạn như bảo vệ quyền riêng tư và tăng cường bảo mật Layer2.

Dự án TEE

Flashbot: thực hiện các giao dịch riêng tư và xây dựng khối phi tập trung thông qua SGX

Flashbot bắt đầu khám phá các công nghệ bảo mật liên quan đến môi trường thực thi đáng tin cậy như SGX vào năm 2022 và sử dụng nó như một khối xây dựng quan trọng cho sự hợp tác không cần tin cậy trong chuỗi cung ứng giao dịch. Vào tháng 3 năm 2023, Flashbots đã chạy thành công trình xây dựng khối trong SGX enclace, một môi trường thực thi đáng tin cậy do Intel phát triển, tiến một bước tới việc đạt được các giao dịch riêng tư và phân cấp các trình xây dựng khối. Với SGX enclace, các nhà xây dựng khối và các nhà cung cấp cơ sở hạ tầng khác không thể nhìn thấy nội dung giao dịch của người dùng và các nhà xây dựng xây dựng các khối có thể xác minh được hợp lệ trong vùng enclace và báo cáo giá thầu của họ một cách trung thực, có khả năng loại bỏ nhu cầu sử dụng rơ le mev-boost. Ngoài ra, công nghệ này giúp giảm rủi ro về luồng lệnh độc quyền, cho phép các giao dịch được bảo mật trong khi vẫn có thể truy cập được bởi tất cả những người xây dựng khối hoạt động trong vùng.

Mặc dù TEE thực sự có thể cung cấp quyền truy cập tài nguyên bên ngoài và bảo vệ quyền riêng tư, nhưng hiệu suất của nó không cao bằng công nghệ không phải TEE. Và có một số rủi ro tập trung hóa. Flashbots nhận thấy rằng chỉ dựa vào TEE không thể giải quyết được mọi vấn đề. Ngoài ra, cần kết hợp các biện pháp bảo mật khác và đưa thêm các thực thể khác vào để xác minh các tính toán và mã của TEE nhằm đảm bảo tính minh bạch và độ tin cậy của hệ thống. Do đó, Flashbots hình dung ra một mạng lưới bao gồm các TEE (Ketteles), cũng như một chuỗi công khai không cần cấp phép đáng tin cậy (SUAVE Chain) chịu trách nhiệm quản lý mạng lưới này và lưu trữ các chương trình sẽ chạy trong TEE, v.v. Đây là ý tưởng cơ bản của SUAVE.

SUAVE (Đấu giá hợp nhất duy nhất để thể hiện giá trị) là một cơ sở hạ tầng được thiết kế để giải quyết các thách thức liên quan đến MEV, tập trung vào việc tách biệt vai trò của nhóm bộ nhớ và tạo khối khỏi các blockchain hiện có để tạo thành một mạng độc lập (lớp phân loại) có thể đóng vai trò là nhóm bộ nhớ cắm và chạy và trình xây dựng khối phi tập trung cho bất kỳ blockchain nào.

(Để biết thêm thông tin về SUAVE, vui lòng tham khảo bài viết trước của ChainFeeds)

SUAVE sẽ được ra mắt theo hai giai đoạn. Phiên bản đầu tiên là SUAVE Centauri, bao gồm Đấu giá luồng lệnh riêng (OFA) và SUAVE Devnet (mạng thử nghiệm). Phiên bản triển khai này không liên quan đến công nghệ mật mã và TEE. Phiên bản thứ hai, Andromeda, sẽ chạy các nút thực thi trong môi trường thực thi đáng tin cậy như SGX. Để đảm bảo các phép tính và mã trên các nút TEE chạy ngoại tuyến diễn ra như mong đợi, Flashbots sử dụng khả năng chứng thực từ xa của TEE để cho phép các hợp đồng thông minh xác minh các tin nhắn từ TEE. Các bước cụ thể bao gồm: thêm một hàm biên dịch trước mới vào mã Solidity để tạo bản chứng minh từ xa; sử dụng bộ xử lý SGX để tạo ra bằng chứng; xác minh đầy đủ các bằng chứng trên chuỗi; và sử dụng thư viện Automata-V3-DCAP để xác minh những bằng chứng này.

Tóm lại, SUAVE sẽ thay thế bên thứ ba hiện tại bằng cách tích hợp TEE. Các ứng dụng chạy trong hệ thống SUAVE (như đấu giá luồng lệnh hoặc trình xây dựng khối) sẽ chạy trong TEE và tính toán TEE cùng tính toàn vẹn của mã sẽ được đảm bảo thông qua bằng chứng từ xa trên chuỗi.

Taiko: Xây dựng hệ thống đa bằng chứng Raiko thông qua SGX

Khái niệm TEE cũng có thể được mở rộng sang Rollup để xây dựng hệ thống đa bằng chứng. Nhiều bằng chứng đề cập đến việc tạo ra nhiều loại bằng chứng cho một khối, tương tự như cơ chế đa máy khách của Ethereum. Cơ chế này đảm bảo rằng ngay cả khi một bằng chứng có lỗi thì các bằng chứng khác vẫn có giá trị.

Theo cơ chế đa bằng chứng, bất kỳ người dùng nào quan tâm đến việc tạo bằng chứng đều có thể chạy một nút và trích xuất dữ liệu như giao dịch và bằng chứng Merkle của tất cả các lần truy cập trạng thái. Sử dụng dữ liệu này để tạo ra các loại bằng chứng khác nhau, sau đó gửi tất cả các bằng chứng đó cùng nhau tới hợp đồng thông minh để xác minh tính chính xác của các bằng chứng. Đối với các bằng chứng do TEE tạo ra, cần phải kiểm tra xem chữ ký ECDSA có được ký bởi địa chỉ mong đợi hay không. Khi tất cả bằng chứng được xác minh và hàm băm khối được xác nhận là nhất quán, khối sẽ được đánh dấu là đã được chứng minh và ghi lại trên chuỗi.

Taiko đang sử dụng công nghệ Intel SGX để xây dựng hệ thống đa bằng chứng Raiko nhằm xác minh các khối Taiko và Ethereum. Bằng cách sử dụng SGX, Taiko có thể đảm bảo quyền riêng tư và bảo mật dữ liệu khi thực hiện các tác vụ quan trọng và ngay cả khi có lỗ hổng tiềm ẩn, TEE vẫn cung cấp khả năng bảo vệ bổ sung chống lại những kẻ tấn công xâm phạm hệ thống chứng thực. Bản in thử SGX có thể chạy trên một máy tính duy nhất và chỉ mất vài giây để hoàn thành mà không ảnh hưởng đến hiệu quả tạo bản in thử. Ngoài ra, Taiko còn giới thiệu một kiến trúc mới hỗ trợ biên dịch các chương trình máy khách sang định dạng có thể chạy trong ZK và TEE, đảm bảo tính chính xác của quá trình chuyển đổi trạng thái khối và đánh giá hiệu suất cũng như hiệu quả thông qua chuẩn mực và giám sát.

Mặc dù TEE mang lại nhiều lợi thế nhưng vẫn còn một số thách thức trong quá trình triển khai. Ví dụ, thiết lập SGX cần hỗ trợ CPU từ nhiều nhà cung cấp đám mây khác nhau và tối ưu hóa chi phí gas trong quá trình xác minh. Ngoài ra, cần thiết lập một kênh an toàn để xác minh tính chính xác của các phép tính và mã. Để giải quyết những thách thức này, Taiko sử dụng Gramine OS để đóng gói các ứng dụng đang chạy trong các vùng bảo mật đáng tin cậy và cung cấp cấu hình Docker và Kubernetes dễ sử dụng để bất kỳ người dùng nào có CPU hỗ trợ SGX đều có thể dễ dàng triển khai và quản lý các ứng dụng này.

Theo thông báo của Taiko, Raiko hiện hỗ trợ SP1, Risc0 và SGX, và đang tích hợp Jolt và Powdr. Trong tương lai, Taiko có kế hoạch tích hợp nhiều Riscv32 ZK-VM hơn, mở rộng Wasm ZK-VM, tích hợp trực tiếp với Reth để đạt được bằng chứng khối thời gian thực và áp dụng kiến trúc mô-đun để hỗ trợ bằng chứng khối đa chuỗi.

Cuộn: Hợp tác với Automata để phát triển TEE Prover

Cơ chế đa bằng chứng của Scroll hướng tới ba mục tiêu: tăng cường bảo mật L2, không tăng thời gian hoàn tất và chỉ đưa ra chi phí cận biên cho các giao dịch L2. Do đó, ngoài các bằng chứng ZK, Scroll cần cân nhắc tính hoàn thiện và hiệu quả về mặt chi phí khi lựa chọn cơ chế bằng chứng phụ trợ. Mặc dù bằng chứng gian lận có tính bảo mật cao nhưng lại mất quá nhiều thời gian để hoàn tất. Mặc dù trình xác thực zkEVM rất mạnh mẽ nhưng lại tốn kém và phức tạp để phát triển. Cuối cùng, Scroll đã chọn sử dụng TEE Prover do Justin Drake đề xuất làm cơ chế chứng minh phụ trợ.

TEE Prover chạy trong môi trường TEE được bảo vệ, có thể thực hiện giao dịch và tạo bằng chứng nhanh chóng, do đó không làm tăng tính chắc chắn. Ngoài ra, một ưu điểm quan trọng khác của TEE Prover là hiệu quả của nó. Chi phí liên quan đến quá trình kiểm tra là không đáng kể.

Scroll hiện đang làm việc với lớp kiểm thử mô-đun Automata để phát triển TEE Prover cho Scroll. Automata là một lớp xác minh mô-đun được thiết kế để mở rộng độ tin cậy ở cấp độ máy cho Ethereum thông qua bộ xử lý đồng TEE. Trình chứng minh TEE của Scroll bao gồm hai thành phần chính, trên chuỗi và ngoài chuỗi:

· SGX Prover: Một thành phần ngoài chuỗi chạy trong vùng an toàn và được sử dụng để kiểm tra xem trạng thái gốc sau khi thực thi một khối trong vùng an toàn có khớp với trạng thái gốc hiện có hay không, sau đó gửi Bằng chứng thực thi (PoE) cho Trình xác minh SGX. SGX Verifier: Đây là hợp đồng thông minh được triển khai trên chuỗi L1, cần xác minh xem quá trình chuyển đổi trạng thái do SGX Prover đề xuất và báo cáo bằng chứng do Intel SGX enclave gửi có chính xác hay không.

SGX Prover giám sát các lô giao dịch được trình sắp xếp gửi trên L1 để đảm bảo rằng dữ liệu được sử dụng khi thực hiện chuyển đổi trạng thái là hoàn chỉnh và không bị giả mạo. Sau đó, SGX Prover sẽ tạo ra bằng chứng khối (PoB) chứa tất cả thông tin cần thiết, đảm bảo rằng tất cả các nút tham gia xác minh và thực hiện đều sử dụng cùng một tập dữ liệu. Sau khi thực hiện, SGX Prover sẽ gửi Bằng chứng thực hiện (PoE) tới L1. Sau đó, SGX Verifier sẽ kiểm tra xem PoE có được SGX Prover hợp lệ ký hay không.

SGX Prover được viết bằng ngôn ngữ lập trình Rust và sử dụng SputnikVM làm công cụ EVM để thực thi các hợp đồng thông minh. Việc triển khai có thể được biên dịch và chạy trên các máy hỗ trợ chế độ phần cứng SGX, đồng thời cũng có thể được gỡ lỗi trong môi trường không phải SGX. SGX Verifier sử dụng thư viện xác minh DCAP v3 nguồn mở của Automata để xác minh toàn bộ lịch sử khối của mạng thử nghiệm Scroll.

Ngoài ra, để giảm các vấn đề về lòng tin đối với các triển khai TEE và nhà sản xuất phần cứng, Scroll cũng đang nghiên cứu một giao thức để tổng hợp các TEE Prover từ các phần cứng và máy khách khác nhau. Giao thức sẽ kết hợp một lược đồ chữ ký ngưỡng. Phương án chữ ký ngưỡng là một kỹ thuật mật mã cho phép nhiều người tham gia cùng nhau tạo ra một chữ ký chỉ có hiệu lực khi có ít nhất một số lượng người tham gia nhất định đồng ý. Cụ thể, TEE Prover yêu cầu ít nhất T trình chứng minh trong số nhiều (ví dụ: N) trình chứng minh TEE để tạo ra các bản chứng minh nhất quán.

Automata: Tăng cường bảo mật và quyền riêng tư của blockchain với bộ đồng xử lý TEE

Automata Network là lớp xác minh mô-đun sử dụng phần cứng làm Root of Trust chung, cho phép nhiều trường hợp sử dụng bao gồm hệ thống nhiều trình xác thực dựa trên trình xác thực TEE, cung cấp tính công bằng và quyền riêng tư cho các rơle RPC và xây dựng các khối trong vùng mã hóa.

Như đã đề cập ở trên, hệ thống in nhiều bản in của Scroll được phát triển với sự hợp tác của Automata. Ngoài ra, Automata cũng giới thiệu bộ đồng xử lý TEE như một AVS đa trình chứng minh giới thiệu mạng chính EigenLayer. Bộ đồng xử lý TEE là một phần cứng thực hiện các tác vụ tính toán cụ thể để bổ sung hoặc mở rộng khả năng của chuỗi chính. Bộ xử lý TEE của Automata Network mở rộng chức năng của blockchain bằng cách thực hiện các phép tính an toàn trong một khu vực biệt lập được bảo vệ bởi TEE.

Cụ thể, Multi-Prover AVS là trung tâm điều khiển nhiệm vụ chịu trách nhiệm phối hợp và quản lý nhiều đơn vị xác minh độc lập theo yêu cầu của các giao thức khác nhau. Các giao thức riêng lẻ có thể công khai công việc cần xác minh, sau đó thành lập một ủy ban gồm các TEE cam kết được khuyến khích bằng các phần thưởng dài hạn. Các nút (người vận hành) thực sự thực hiện xác thực có thể đăng ký để tham gia vào các tác vụ này và có thể hợp tác với nhau để đảm bảo an ninh. Người dùng nắm giữ mã thông báo và sẵn sàng hỗ trợ tính bảo mật của giao thức được gọi là người đặt cược và họ ủy thác quyền đặt cược cho các nhà điều hành đáng tin cậy. Việc đặt cược này tăng cường tính bảo mật kinh tế cần thiết cho giao thức trong giai đoạn đầu, vì số tiền đặt cược đóng vai trò như một sự đảm bảo, khuyến khích các nhà điều hành làm việc trung thực và hiệu quả. EigenLayer tạo ra một thị trường không cần xin phép, cho phép những người đặt cược, nhà điều hành và giao thức tham gia một cách tự do.

Mạng bí mật: Bảo vệ quyền riêng tư dựa trên công nghệ SGX

Chuỗi công khai về quyền riêng tư Secret Network chủ yếu triển khai bảo vệ quyền riêng tư dữ liệu thông qua Hợp đồng bí mật và TEE. Để đạt được mục tiêu này, Secret Network sử dụng công nghệ môi trường thực thi đáng tin cậy Intel SGX và để đảm bảo tính nhất quán của mạng, Secret Network chỉ cho phép sử dụng chip Intel SGX và không hỗ trợ các công nghệ TEE khác.

Secret Network sử dụng quy trình chứng thực từ xa để xác minh tính toàn vẹn và bảo mật của vùng an toàn SGX. Mỗi nút đầy đủ sẽ tạo một báo cáo chứng nhận trước khi đăng ký, chứng minh rằng CPU của nút đó sử dụng bản nâng cấp phần cứng mới nhất và xác minh điều đó trên chuỗi. Khi nút mới có được khóa chia sẻ đồng thuận, nó có thể xử lý các phép tính và giao dịch trong mạng song song, do đó đảm bảo tính bảo mật tổng thể của mạng. Để giảm thiểu các hướng tấn công có thể xảy ra, Secret Network đã chọn sử dụng SGX-SPS (Dịch vụ nền tảng máy chủ) thay vì SGX-ME (Công cụ quản lý).

Trong triển khai cụ thể, Secret Network sử dụng SGX để thực hiện các phép tính với đầu vào, đầu ra và trạng thái được mã hóa. Điều này có nghĩa là dữ liệu sẽ được mã hóa trong suốt vòng đời của nó, ngăn chặn truy cập trái phép. Ngoài ra, mỗi nút xác minh của Secret Network đều sử dụng CPU hỗ trợ Intel SGX để xử lý giao dịch, đảm bảo dữ liệu nhạy cảm chỉ được giải mã trong vùng bảo mật của mỗi nút xác minh và không thể truy cập từ bên ngoài.

Oasis: Sử dụng SGX để xây dựng hợp đồng thông minh về quyền riêng tư

Mạng máy tính riêng tư Oasis áp dụng kiến trúc mô-đun, chia sự đồng thuận và thực thi hợp đồng thông minh thành lớp đồng thuận và lớp ParaTimes tương ứng. Là lớp thực thi hợp đồng thông minh, ParaTimes bao gồm nhiều ParaTime song song, mỗi ParaTime đại diện cho một môi trường điện toán có trạng thái chung. Điều này cho phép Oasis xử lý các tác vụ điện toán phức tạp trong một môi trường và các giao dịch đơn giản trong môi trường khác.

ParaTimes có thể được chia thành hai loại: riêng tư và không riêng tư. Mỗi ParaTimes có thể chạy các máy ảo khác nhau và có thể được thiết kế như hệ thống có hoặc không có quyền. Là một trong những giá trị cốt lõi của Oasis, Oasis đã đưa ra hai hợp đồng thông minh về quyền riêng tư kết hợp với công nghệ TEE: Cipher và Sapphire. Cả hai đều sử dụng công nghệ TEE của Inte SGX. Dữ liệu được mã hóa và hợp đồng thông minh cùng nhau nhập vào TEE, dữ liệu được giải mã và xử lý bởi hợp đồng thông minh, sau đó được mã hóa lại khi xuất ra. Quá trình này đảm bảo dữ liệu được bảo mật trong suốt quá trình xử lý và không được tiết lộ cho người vận hành nút hoặc nhà phát triển ứng dụng. Sự khác biệt là Sapphire là ParaTime tương thích với EVM về quyền riêng tư, trong khi Cipher là ParaTime về quyền riêng tư để thực hiện hợp đồng thông minh Wasm.

Bool Network: Kết hợp các công nghệ MPC, ZKP và TEE để tăng cường bảo mật và phân cấp cho quá trình xác minh Bitcoin

Bool Network kết hợp các công nghệ MPC, ZKP và TEE để chuyển đổi cụm xác thực bên ngoài thành một ủy ban ẩn động (DHC) nhằm tăng cường bảo mật mạng.

Trong ủy ban ẩn động, để giải quyết vấn đề lộ khóa riêng tư do nhu cầu chữ ký đồng thuận của các nút xác minh bên ngoài trong quá trình xác minh, Bool Network đã giới thiệu công nghệ TEE. Ví dụ, thông qua công nghệ Intel SGX, khóa riêng được đóng gói trong TEE, cho phép các thiết bị nút chạy trong vùng bảo mật cục bộ trong khi các thành phần khác trong hệ thống không thể truy cập dữ liệu. Với chứng thực từ xa, một nút chứng kiến có thể đưa ra bằng chứng để xác minh rằng nó thực sự đang chạy trong TEE và lưu trữ khóa, và các nút hoặc hợp đồng thông minh khác có thể xác minh các báo cáo này trên chuỗi.

Ngoài ra, Mạng BOOL hoàn toàn mở để truy cập và bất kỳ thực thể nào có thiết bị TEE đều có thể trở thành nút xác minh bằng cách đặt cược BOOL.

Marlin: Điện toán đám mây phi tập trung bằng cách kết hợp bộ đồng xử lý TEE và ZK

Marlin là một giao thức điện toán có thể xác minh kết hợp môi trường thực thi đáng tin cậy và bộ đồng xử lý ZK để phân bổ khối lượng công việc phức tạp cho một đám mây phi tập trung.

Marlin bao gồm một số loại phần cứng và mạng con. Công nghệ TEE của hãng chủ yếu được sử dụng trên mạng phụ Marlin Oyster. Oyster là một nền tảng mở cho phép các nhà phát triển triển khai các tác vụ hoặc dịch vụ điện toán tùy chỉnh trên các máy chủ của bên thứ ba không đáng tin cậy. Oyster hiện chủ yếu dựa vào AWS Nitro Enclaves, một môi trường thực thi đáng tin cậy dựa trên chip bảo mật AWS Nitro TPM. Để hiện thực hóa tầm nhìn phi tập trung, Oyster có thể tương thích với nhiều nhà cung cấp phần cứng hơn trong tương lai. Ngoài ra, Oyster cho phép DAO cấu hình vùng bảo mật trực tiếp thông qua lệnh gọi hợp đồng thông minh mà không yêu cầu các thành viên cụ thể quản lý SSH hoặc các khóa xác thực khác. Cách tiếp cận này làm giảm sự phụ thuộc vào các thao tác thủ công.

Mạng Phala: Hệ thống đa bằng chứng dựa trên TEE SGX-Prover

Phala Network là cơ sở hạ tầng điện toán phi tập trung ngoài chuỗi dành riêng cho việc đạt được quyền riêng tư dữ liệu và điện toán an toàn thông qua TEE. Hiện tại, Phala Network chỉ hỗ trợ Intel SGX làm phần cứng TEE. Dựa trên mạng TEE phi tập trung, Phala Network đã xây dựng hệ thống đa bằng chứng dựa trên TEE mang tên Phala SGX-Prover. Cụ thể, sau khi mô-đun sgx-prover ngoài chuỗi chạy chương trình chuyển đổi trạng thái, nó sẽ tạo ra một Bằng chứng TEE chứa kết quả tính toán và gửi đến sgx-verifier trên chuỗi để xác minh.

Để giải quyết mối lo ngại của người dùng về việc tập trung hóa SGX, Phala Network đã giới thiệu các vai trò Gatekeeper và Worker. Người gác cổng được những người nắm giữ token PHA bầu chọn thông qua NPoS và chịu trách nhiệm quản lý khóa mạng và giám sát mô hình kinh tế. Ngược lại, worker chạy trên phần cứng SGX. Bằng cách giới thiệu cơ chế luân chuyển khóa, Gatekeepers có thể đảm bảo tính bảo mật của mạng TEE.

Hiện tại, Phala Network có hơn 30.000 thiết bị TEE được người dùng trên toàn thế giới đăng ký và vận hành. Ngoài ra, Phala Network cũng đang khám phá các giải pháp hoàn thiện nhanh chóng dựa trên TEE. Về mặt lý thuyết, có thể đạt được tính hoàn thiện nhanh chóng dựa trên các bằng chứng TEE, chỉ cung cấp các bằng chứng ZK khi cần thiết.

Tóm tắt

Để đáp lại cuộc tranh luận trên Twitter, CEO của Uniswap, Hayden Adams cũng đã bày tỏ quan điểm của mình. Ông cho biết, “Những bình luận tiêu cực mà TEE nhận được ngụ ý rằng việc theo đuổi sự hoàn hảo đã cản trở những kết quả tốt. Mọi thứ đều có sự đánh đổi. Khi nói đến việc bảo vệ blockchain, càng có nhiều công cụ thì càng tốt.”

Thông qua việc khám phá các trường hợp sử dụng nêu trên, chúng ta có thể thấy tiềm năng ứng dụng của công nghệ TEE trong việc giải quyết các vấn đề về quyền riêng tư và bảo mật. Ví dụ, Flashbots sử dụng TEE để thực hiện các giao dịch riêng tư và xây dựng phi tập trung, trong khi Taiko và Scroll sử dụng TEE để triển khai hệ thống đa bằng chứng nhằm đảm bảo tính bảo mật của các giao dịch L2. Tuy nhiên, hầu hết các dự án hiện nay đều phụ thuộc vào một nhà cung cấp tập trung duy nhất, điều này có thể mang lại những rủi ro nhất định. Trong tương lai, có thể tương thích với nhiều nhà cung cấp phần cứng hơn và thiết lập tỷ lệ nút để đảm bảo các nút chạy trên phần cứng khác nhau, nhằm giảm thiểu rủi ro tập trung hóa do quá phụ thuộc vào một nhà cung cấp nhất định.

Liên kết gốc

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia