AI AI
속보
심층
이벤트
Pro
더보기
자금 조달 정보
특집
온체인 생태계
용어
팟캐스트
데이터
OPRR
简体中文
繁體中文
English
Tiếng Việt
한국어
日本語
ภาษาไทย
Türkçe
BTC
$96,000
5.73%
ETH
$3,521.91
3.97%
HTX
$0.{5}2273
5.23%
SOL
$198.17
3.05%
BNB
$710
3.05%
XRP
$2.25
2.07%
DOGE
$0.325
2.23%
USDC
$0.999
3.05%

TEE에 대한 논쟁이 다시 뜨겁습니다. 개인정보 보호 기술 개발의 딜레마에 새로운 새벽이 올까요?

이 글을 읽으려면 36 분
MPC와 ZK 기술의 성능과 기술적 과제에 직면하여 TEE는 어떤 변화를 가져올 수 있을까?
원래 제목: "TEE가 다시 뜨거운 논쟁을 벌이고 있다: 개인정보 보호 기술 개발의 딜레마에 새로운 새벽이 왔는가? 》
원래 저자: Linda Bell, ChainFeeds


개인정보 보호에 대한 수요가 증가함에 따라 TEE가 다시 한 번 논의의 초점이 되었습니다. TEE는 수년 동안 논의되었지만 하드웨어 보안 문제로 인해 널리 채택되지 않았습니다. 그러나 MPC 및 ZK 기술이 성능 및 기술 요구 사항에서 문제에 부딪히면서 많은 연구원과 개발자가 TEE에 다시 집중하고 있습니다.


이러한 추세는 또한 TEE가 ZK 기술을 대체할지 여부에 대한 Twitter 토론을 촉발했습니다. 일부 사용자는 TEE와 ZK가 서로 다른 문제를 해결하고 둘 다 완벽하지 않기 때문에 경쟁적인 것이 아니라 보완적이라고 생각합니다. 다른 사용자는 AWS와 Intel이 제공하는 보안이 Rollup의 다중 서명 보호보다 높다고 지적했습니다. 이러한 균형은 TEE의 설계 공간의 확장성을 감안할 때 가치가 있습니다. ZK에서는 가능합니다.

TEE란 무엇인가요?


TEE는 실제로 이상한 개념이 아닙니다. 우리가 흔히 사용하는 애플 휴대폰에는 TEE 기술, 즉 'Secure Enclave'가 적용돼 있습니다. 주요 기능은 사용자의 민감한 정보를 보호하고 암호화 작업을 수행하는 것입니다. 보안 인클레이브는 시스템 수준 칩에 통합되어 있으며 메인 프로세서와 분리되어 높은 보안을 보장합니다. 예를 들어, Touch ID나 Face ID를 사용할 때마다 Secure Enclave가 생체 인식 정보를 검증하고 유출을 방지합니다.


TEE는 신뢰할 수 있는 실행 환경을 의미하는데, 이는 주 운영 체제와 독립적으로 실행되는 컴퓨터나 모바일 장치 내의 보안 영역입니다. 주요 특징은 다음과 같습니다. 주 운영 체제로부터 격리되어 주 운영 체제가 공격을 받더라도 내부 데이터와 실행은 안전하게 유지됩니다. 하드웨어 지원 및 암호화 기술을 통해 작동 중에 내부 코드 및 데이터가 변조되는 것을 방지합니다. 민감한 데이터를 보호하고 유출을 방지하기 위해 암호화 기술이 사용됩니다.


현재 일반적인 TEE 구현은 다음과 같습니다.


· Intel SGX:하드웨어 지원 격리된 실행 환경을 제공하여 민감한 데이터와 코드를 보호하는 보안 메모리 영역(인클레이브)을 만듭니다.


· ARM TrustZone: 프로세서 내에 보안 세계와 일반 세계를 생성하여 보안 세계는 중요한 작업을 실행하고 일반 세계는 일반 작업을 처리합니다.


· AWS Nitro Enclaves:AWS Nitro TPM 보안 칩을 기반으로 클라우드에서 신뢰할 수 있는 실행 환경을 제공하며 기밀 데이터를 처리하는 클라우드 컴퓨팅 시나리오를 위해 특별히 설계되었습니다.


암호화폐 시장에서 TEE 기술은 신뢰할 수 있고 안전한 환경에서 오프체인 컴퓨팅에 가장 일반적으로 사용됩니다. 동시에 TEE의 원격 증명 기능을 통해 원격 사용자는 TEE에서 실행되는 코드의 무결성을 검증하여 데이터 처리의 보안을 보장할 수 있습니다. 그러나 TEE는 Intel과 AWS와 같은 중앙 집중형 공급업체에 의존하기 때문에 분산화가 부족하다는 단점이 있습니다. 이러한 하드웨어에 백도어나 취약점이 있을 경우 시스템 보안이 위협받을 수 있습니다. 하지만 보조적 수단으로 TEE 기술은 구축이 쉽고 비용이 저렴하며, 높은 보안 및 개인정보 보호가 필요한 응용 시나리오에 적합합니다. 이러한 장점으로 인해 TEE 기술은 개인정보 보호 및 향상된 Layer2 보안과 같은 다양한 암호화 애플리케이션에 적용될 수 있습니다.


TEE 프로젝트 인벤토리


Flashbots: SGX를 통한 비공개 거래 및 분산형 블록 구축 실현


Flashbots는 2022년부터 SGX와 같은 신뢰할 수 있는 실행 환경과 관련된 개인정보 보호 기술을 탐색하기 시작했으며, 이를 거래 공급망에서 신뢰할 수 없는 협업을 위한 중요한 구성 요소로 사용했습니다. 2023년 3월, Flashbots는 인텔이 개발한 신뢰 실행 환경인 SGX 인클레이스에서 블록 빌더를 성공적으로 실행하여 비공개 거래와 블록 빌더의 분산화를 달성하는 데 한 걸음 더 다가갔습니다. SGX 인클레이브를 사용하면 블록 빌더와 다른 인프라 제공자는 사용자 거래 내용을 볼 수 없으며, 빌더는 인클레이브 내에서 검증 가능한 유효한 블록을 구성하고 입찰을 진실되게 보고하므로 mev-boost 릴레이의 필요성이 사라질 가능성이 있습니다. 또한, 이 기술은 독점적인 주문 흐름에 따른 위험을 줄이는 데 도움이 되며, 모든 블록 빌더가 해당 엔클레이브 내에서 운영하면서도 거래에 액세스할 수 있도록 하면서도 비공개로 유지할 수 있습니다.


TEE는 실제로 외부 리소스 접근과 개인정보 보호를 제공할 수 있지만 그 성능은 TEE가 아닌 기술만큼 높지 않습니다. 중앙집중화에는 어느 정도 위험이 있습니다. 플래시봇은 TEE에만 의존하면 모든 문제를 해결할 수 없다는 것을 발견했습니다. 또한, 시스템의 투명성과 신뢰성을 보장하기 위해 다른 보안 조치를 결합하고 다른 기관을 도입하여 TEE의 계산과 코드를 검증하는 것도 필요합니다. 따라서 Flashbots는 TEE(Kettles)로 구성된 네트워크와 이 네트워크를 관리하고 TEE에서 실행되는 프로그램을 호스팅하는 신뢰할 수 있는 허가 없는 퍼블릭 체인(SUAVE Chain)을 구상합니다. 이것이 SUAVE의 기본 아이디어입니다.


SUAVE(Single Unified Auction for Value Expression)는 MEV 관련 과제를 해결하기 위해 설계된 인프라로, 기존 블록체인에서 메모리 풀과 블록 생성의 역할을 분리하여 플러그 앤 플레이 메모리 풀과 모든 블록체인에 대한 분산형 블록 빌더 역할을 할 수 있는 독립적인 네트워크(정렬 계층)를 형성하는 데 중점을 두고 있습니다.


(SUAVE에 대한 자세한 내용은 ChainFeeds 이전 기사를 참조하세요.)


SUAVE는 두 단계로 출시됩니다. 첫 번째 버전은 SUAVE Centauri로, 개인 주문 흐름 경매(OFA)와 SUAVE Devnet(테스트넷)이 포함되어 있습니다. 이 구현 버전에는 암호화 및 TEE 기술이 포함되지 않습니다. 두 번째 버전인 Andromeda는 SGX와 같은 신뢰할 수 있는 실행 환경에서 실행 노드를 실행합니다. 오프라인에서 실행되는 TEE 노드의 계산 및 코드가 예상대로 실행되도록 하기 위해 Flashbots는 TEE의 원격 증명 기능을 사용하여 스마트 계약이 TEE의 메시지를 검증할 수 있도록 합니다. 구체적인 단계는 다음과 같습니다. 원격 증명을 생성하기 위해 Solidity 코드에 새로운 사전 컴파일 기능을 추가합니다. SGX 프로세서를 활용하여 증명을 생성합니다. 체인상에서 증명을 완전히 검증합니다. Automata-V3-DCAP 라이브러리를 사용하여 이러한 증명을 검증합니다.


요약하자면, SUAVE는 TEE를 통합하여 현재의 제3자를 대체하게 됩니다. SUAVE 시스템에서 실행되는 애플리케이션(주문 흐름 경매나 블록 빌더 등)은 TEE 내에서 실행되며, TEE 계산과 코드 무결성은 체인상 원격 증명을 통해 보장됩니다.


Taiko: SGX를 통한 다중 검증 시스템 Raiko 구축


TEE의 개념은 Rollup으로 확장하여 다중 검증 시스템을 구축할 수도 있습니다. 다중 증명은 이더리움의 다중 클라이언트 메커니즘과 유사하게 블록에 대한 여러 유형의 증명을 생성하는 것을 말합니다. 이 메커니즘은 하나의 증명에 결함이 있더라도 다른 증명은 여전히 유효함을 보장합니다.


다중 증명 메커니즘에 따라 증명을 생성하는 데 관심이 있는 모든 사용자는 노드를 실행하고 모든 상태 액세스의 거래 및 머클 증명과 같은 데이터를 추출할 수 있습니다. 이 데이터를 사용하여 다양한 유형의 증명을 생성한 다음 모든 증명을 스마트 계약에 함께 제출하여 증명의 정확성을 검증합니다. TEE에서 생성된 증명의 경우, ECDSA 서명이 예상 주소로 서명되었는지 확인해야 합니다. 모든 증명이 검증되고 블록 해시가 일관성이 있는 것으로 확인되면 블록은 증명된 것으로 표시되고 체인에 기록됩니다.



Taiko는 Intel SGX 기술을 사용하여 다중 검증 시스템 Raiko를 구축하여 Taiko 및 Ethereum 블록을 검증합니다. Taiko는 SGX를 사용하여 중요한 작업을 수행할 때 데이터 개인 정보 보호 및 보안을 보장할 수 있으며, 잠재적인 취약점이 있는 경우에도 TEE는 증명 시스템을 손상시키는 공격자로부터 추가적인 보호 기능을 제공합니다. SGX 증명은 단일 컴퓨터에서 실행할 수 있으며 완료하는 데 몇 초 밖에 걸리지 않으며 증명 생성의 효율성에 영향을 주지 않습니다. 또한 Taiko는 ZK 및 TEE에서 실행할 수 있는 형식으로 클라이언트 프로그램을 컴파일하고 블록 상태 전환의 정확성을 보장하며 벤치마킹 및 모니터링을 통해 성능과 효율성을 평가하는 새로운 아키텍처를 도입했습니다.


TEE는 많은 장점을 제공하지만 구현에는 여전히 몇 가지 과제가 있습니다. 예를 들어, SGX 설정은 다양한 클라우드 공급자의 CPU를 지원하고 검증 과정에서 가스 비용을 최적화해야 합니다. 또한, 계산과 코드의 정확성을 검증하기 위한 안전한 채널을 구축해야 합니다. 이러한 과제를 해결하기 위해 Taiko는 Gramine OS를 사용하여 실행 중인 애플리케이션을 신뢰할 수 있는 인클레이브에 캡슐화하고 사용하기 쉬운 Docker 및 Kubernetes 구성을 제공하므로 SGX 지원 CPU를 갖춘 모든 사용자가 이러한 애플리케이션을 쉽게 배포하고 관리할 수 있습니다.


Taiko의 발표에 따르면, Raiko는 현재 SP1, Risc0 및 SGX를 지원하고 Jolt와 Powdr를 통합하기 위해 노력하고 있습니다. 앞으로 Taiko는 더 많은 Riscv32 ZK-VM을 통합하고, Wasm ZK-VM을 확장하고, Reth와 직접 통합하여 실시간 블록 증명을 달성하고, 다중 체인 블록 증명을 지원하는 모듈식 아키텍처를 채택할 계획입니다.



스크롤: Automata와 협력하여 TEE Prover 개발


Scroll의 다중 증명 메커니즘은 세 가지 목표를 달성하는 것을 목표로 합니다. L2 보안을 강화하고, 최종성 시간을 늘리지 않으며, L2 거래에 대한 한계 비용만 도입하는 것입니다. 따라서 Scroll은 ZK 증명 외에도 보조 증명 메커니즘을 선택할 때 완결성과 비용 효율성을 고려해야 합니다. 사기 방지책은 매우 안전하지만, 완성되기까지 시간이 너무 오래 걸립니다. zkEVM 검증기는 강력하지만 비용이 많이 들고 개발이 복잡합니다. 마지막으로, Scroll은 Justin Drake가 제안한 TEE Prover를 보조 증명 메커니즘으로 사용하기로 결정했습니다.


TEE Prover는 보호된 TEE 환경에서 실행되며, 신속하게 거래를 실행하고 증명을 생성할 수 있으므로 완결성이 높아지지 않습니다. 또한 TEE Prover의 또 다른 중요한 장점은 효율성입니다. 증명 과정과 관련된 간접비는 무시할 만합니다.



Scroll은 현재 모듈형 증명 계층 Automata와 협력하여 Scroll용 TEE Prover를 개발하고 있습니다. Automata는 TEE 보조 프로세서를 통해 Ethereum에 대한 머신 수준 신뢰를 확장하도록 설계된 모듈형 검증 계층입니다. Scroll의 TEE Prover는 온체인과 오프체인의 두 가지 주요 구성 요소로 구성됩니다.


· SGX Prover: 인클레이브에서 실행되는 오프체인 구성 요소로, 인클레이브 내에서 블록을 실행한 후 상태 루트가 기존 상태 루트와 일치하는지 확인하는 데 사용되며, 그런 다음 SGX Verifier에 실행 증명(PoE)을 제출합니다. SGX Verifier: L1 체인에 배포된 스마트 계약으로, SGX Prover가 제안한 상태 전환과 Intel SGX 인클레이브가 제출한 증명 보고서가 정확한지 확인해야 합니다.


SGX Prover는 L1의 시퀀서에서 제출된 거래 배치를 모니터링하여 상태 전환을 수행할 때 사용된 데이터가 완전하고 변조되지 않았는지 확인합니다. SGX Prover는 모든 필수 정보가 포함된 블록 증명(PoB)을 생성하여 검증 및 실행에 참여하는 모든 노드가 동일한 데이터 세트를 사용하도록 합니다. 실행 후 SGX Prover는 L1에 실행 증명(PoE)을 제출합니다. 그러면 SGX 검증 도구가 PoE가 유효한 SGX 증명 도구에 의해 서명되었는지 확인합니다.


SGX Prover는 Rust 프로그래밍 언어로 작성되었으며 스마트 계약을 실행하기 위한 EVM 엔진으로 SputnikVM을 사용합니다. 구현은 SGX 하드웨어 모드를 지원하는 머신에서 컴파일 및 실행될 수 있으며, SGX가 아닌 환경에서도 디버깅이 가능합니다. SGX Verifier는 Automata의 오픈 소스 DCAP v3 검증 라이브러리를 사용하여 Scroll 테스트넷의 전체 블록 기록을 검증합니다.


또한 TEE 구현과 하드웨어 제조업체의 신뢰 문제를 줄이기 위해 Scroll은 다양한 하드웨어와 클라이언트의 TEE Prover를 집계하는 프로토콜도 개발하고 있습니다. 해당 프로토콜에는 임계값 서명 체계가 통합됩니다. 임계값 서명 방식은 여러 참가자가 공동으로 서명을 생성할 수 있게 해주는 암호화 기술로, 해당 서명은 특정 수의 참가자가 동의하는 경우에만 유효합니다. 구체적으로, TEE Prover는 일관된 증명을 생성하기 위해 여러 개(예: N개)의 TEE 증명자 중 최소 T개의 증명자가 필요합니다.



Automata: TEE 보조 프로세서를 사용하여 블록체인의 보안 및 개인 정보 보호 강화


Automata Network는 하드웨어를 공통적인 신뢰의 근원으로 사용하여 TEE 검증기 기반의 다중 검증기 시스템을 포함한 다양한 사용 사례를 지원하고 RPC 릴레이에 대한 공정성과 개인 정보 보호 기능을 제공하며 암호화된 인클레이브에서 블록을 구성하는 모듈형 검증 계층입니다.


위에서 언급했듯이, Scroll의 다중 검증 시스템은 Automata와 협력하여 개발되었습니다. 이에 더해 Automata는 다중 검증자 AVS인 TEE 보조 프로세서도 도입했고 EigenLayer 메인넷을 도입했습니다. TEE 보조 프로세서는 메인 체인의 기능을 보완하거나 확장하기 위해 특정 컴퓨팅 작업을 수행하는 하드웨어입니다. Automata Network의 TEE 보조 프로세서는 TEE로 보호되는 격리된 영역 내에서 안전한 계산을 수행하여 블록체인의 기능을 확장합니다.


특히, Multi-Prover AVS는 다양한 프로토콜의 요구 사항에 따라 여러 독립적인 검증자를 조정하고 관리하는 임무를 담당하는 미션 컨트롤 센터입니다. 개별 프로토콜은 검증이 필요한 작업을 공개적으로 게시한 다음 장기적 보상에 의해 인센티브를 받는 헌신적인 TEE로 구성된 위원회를 구성할 수 있습니다. 실제로 검증을 수행하는 노드(운영자)는 이러한 작업에 참여하기 위해 등록할 수 있으며 보안을 보장하기 위해 서로 협력할 수 있습니다. 토큰을 보유하고 프로토콜의 보안을 지원할 의향이 있는 사용자를 스테이커라고 하며, 그들은 신뢰할 수 있는 운영자에게 스테이킹 권한을 위임합니다. 이러한 스테이킹은 프로토콜의 초기 단계에 필요한 경제적 안정성을 강화합니다. 스테이킹된 자금은 보증 역할을 하며, 운영자가 정직하고 효율적으로 작업하도록 인센티브를 제공합니다. EigenLayer는 스테이커, 운영자, 프로토콜이 자유롭게 참여할 수 있는 허가 없는 시장을 만듭니다.



Secret Network: SGX 기술을 기반으로 한 개인정보 보호


개인정보 보호 공개 체인인 Secret Network는 주로 Secret Contract와 TEE를 통해 데이터 개인정보 보호를 구현합니다. 이러한 목표를 달성하기 위해 Secret Network는 Intel SGX 신뢰 실행 환경 기술을 사용하며, 네트워크 일관성을 보장하기 위해 Secret Network는 Intel SGX 칩만 사용하도록 허용하고 다른 TEE 기술은 지원하지 않습니다.


Secret Network는 원격 증명 프로세스를 사용하여 SGX 보안 영역의 무결성과 보안을 확인합니다. 각 전체 노드는 등록 전에 인증 보고서를 작성하여 해당 CPU가 최신 하드웨어 업그레이드를 사용하고 체인에서 이를 검증함을 증명합니다. 새로운 노드가 합의된 공유 키를 얻으면 네트워크에서 계산과 거래를 병렬로 처리할 수 있으므로 네트워크의 전반적인 보안이 보장됩니다. 가능한 공격 벡터를 줄이기 위해 Secret Network는 SGX-ME(관리 엔진) 대신 SGX-SPS(서버 플랫폼 서비스)를 사용하기로 결정했습니다.


특정 구현에서 Secret Network는 SGX를 사용하여 암호화된 입력, 출력, 상태로 계산을 수행합니다. 즉, 데이터는 수명 주기 내내 암호화되어 무단 액세스를 방지합니다. 또한 Secret Network의 각 검증 노드는 Intel SGX 지원 CPU를 사용하여 거래를 처리함으로써 민감한 데이터가 각 검증 노드의 보안 영역 내에서만 복호화되고 외부에서 액세스할 수 없도록 보장합니다.


Oasis: SGX를 사용하여 개인정보 보호 스마트 계약 구축


개인정보 보호 컴퓨팅 네트워크인 Oasis는 모듈형 아키텍처를 채택하여 합의와 스마트 계약 실행을 각각 합의 계층과 ParaTimes 계층으로 나눕니다. 스마트 계약 실행 계층인 ParaTimes는 여러 개의 병렬 ParaTimes로 구성되며, 각각은 공유 상태를 가진 컴퓨팅 환경을 나타냅니다. 이를 통해 Oasis는 한 환경에서는 복잡한 컴퓨팅 작업을 처리하고, 다른 환경에서는 간단한 거래를 처리할 수 있습니다.


ParaTimes는 개인정보 보호와 비개인정보 보호의 두 가지 유형으로 나눌 수 있습니다. 다양한 ParaTimes는 다양한 가상 머신을 실행할 수 있으며, 허가형 시스템이나 허가 없는 시스템으로 설계될 수 있습니다. Oasis의 핵심 가치 제안 중 하나로 Oasis는 TEE 기술과 결합한 두 가지 개인 정보 보호 스마트 계약인 Cipher와 Sapphire를 출시했습니다. 둘 다 Inte SGX의 TEE 기술을 사용합니다. 암호화된 데이터와 스마트 계약은 함께 TEE에 입력되고, 데이터는 스마트 계약에 의해 복호화되고 처리된 후 출력될 때 다시 암호화됩니다. 이 프로세스는 전체 처리 프로세스 동안 데이터가 기밀로 유지되고 노드 운영자나 애플리케이션 개발자에게 공개되지 않도록 보장합니다. 차이점은 Sapphire가 개인정보 보호 EVM 호환 ParaTime인 반면 Cipher는 Wasm 스마트 계약을 실행하는 개인정보 보호 ParaTime이라는 것입니다.



Bool Network: MPC, ZKP 및 TEE 기술을 결합하여 비트코인 검증의 보안과 분산화를 강화합니다.


Bool Network는 MPC, ZKP 및 TEE 기술을 결합하여 외부 검증자 클러스터를 동적 숨겨진 위원회(DHC)로 변환하여 네트워크 보안을 강화합니다.


동적 숨김 위원회에서 검증 프로세스 중에 외부 검증 노드의 합의 서명이 필요하여 발생하는 개인 키 노출 문제를 해결하기 위해 Bool Network는 TEE 기술을 도입했습니다. 예를 들어 Intel SGX 기술을 통해 개인 키는 TEE에 캡슐화되어 노드 장치가 로컬 보안 영역에서 실행되는 동안 시스템의 다른 구성 요소는 데이터에 액세스할 수 없게 됩니다. 원격 증명을 통해 증인 노드는 실제로 TEE에서 실행 중이고 키를 저장하고 있다는 것을 확인할 수 있는 증거를 제시할 수 있으며, 다른 노드나 스마트 계약은 이러한 보고서를 체인상에서 확인할 수 있습니다.


또한 BOOL Network는 접근이 완전히 개방되어 있으며 TEE 장치가 있는 모든 엔터티는 BOOL을 스테이킹하여 검증 노드가 될 수 있습니다.



Marlin: TEE와 ZK 보조 프로세서를 결합하여 분산형 클라우드 컴퓨팅을 구현합니다.


Marlin은 신뢰할 수 있는 실행 환경과 ZK 보조 프로세서를 결합하여 복잡한 작업 부하를 분산형 클라우드에 위임하는 검증 가능한 컴퓨팅 프로토콜입니다.


Marlin에는 여러 유형의 하드웨어와 하위 네트워크가 포함되어 있습니다. TEE 기술은 주로 하위 네트워크인 Marlin Oyster에서 사용됩니다. Oyster는 개발자가 신뢰할 수 없는 타사 호스트에 사용자 정의 컴퓨팅 작업이나 서비스를 배포할 수 있도록 해주는 개방형 플랫폼입니다. Oyster는 현재 AWS Nitro TPM 보안 칩을 기반으로 하는 신뢰할 수 있는 실행 환경인 AWS Nitro Enclaves를 주로 사용하고 있습니다. 분권화 비전을 실현하기 위해 Oyster는 앞으로 더 많은 하드웨어 공급업체와 호환될 수 있습니다. 또한, Oyster를 사용하면 특정 멤버가 SSH나 다른 인증 키를 관리할 필요 없이 DAO가 스마트 계약 호출을 통해 직접 인클레이브를 구성할 수 있습니다. 이 접근 방식은 수동 작업에 대한 의존도를 줄여줍니다.


Phala Network: TEE 기반 다중 증명 시스템 SGX-Prover


Phala Network는 TEE를 통해 데이터 프라이버시와 안전한 컴퓨팅을 달성하기 위해 고안된 분산형 오프체인 컴퓨팅 인프라입니다. 현재 Phala Network는 TEE 하드웨어로 Intel SGX만 지원합니다. Phala Network는 분산형 TEE 네트워크를 기반으로 TEE 기반 다중 증명 시스템 Phala SGX-Prover를 구축했습니다. 특히, 오프체인 모듈 sgx-prover가 상태 전환 프로그램을 실행한 후 계산 결과가 포함된 TEE 증명을 생성하여 검증을 위해 온체인 sgx-verifier에 제출합니다.


SGX의 중앙 집중화에 대한 사용자의 우려를 해소하기 위해 Phala Network는 Gatekeeper 및 Worker 역할을 도입했습니다. 게이트키퍼는 NPoS를 통해 PHA 토큰 보유자에 의해 선출되며, 네트워크 키를 관리하고 경제 모델을 감독할 책임을 맡습니다. 반면, 작업자는 SGX 하드웨어에서 실행됩니다. 키 회전 메커니즘을 도입함으로써 게이트키퍼는 TEE 네트워크의 보안을 보장할 수 있습니다.


현재 Phala Network에는 전 세계 사용자가 등록하고 운영하는 TEE 장치가 30,000대 이상 있습니다. 또한 Phala Network는 TEE 기반의 빠른 완결성 솔루션도 모색하고 있습니다. 이론상, TEE 증명을 기반으로 빠른 완결성을 달성하고, 필요할 때만 ZK 증명을 제공하는 것이 가능합니다.


요약


트위터에서의 토론에 대한 응답으로 Uniswap CEO Hayden Adams도 자신의 견해를 표명했습니다. 그는 "TEE가 받은 부정적인 의견은 완벽함의 추구가 좋은 결과를 방해했다는 것을 암시합니다. 모든 것에는 상충이 있습니다. 블록체인을 보호하는 데 있어서는 사용 가능한 도구가 많을수록 좋습니다."라고 말했습니다. 위의 사용 사례를 살펴보면 TEE 기술이 프라이버시와 보안 문제를 해결하는 데 얼마나 큰 잠재력을 가지고 있는지 알 수 있습니다. 예를 들어, Flashbots는 TEE를 사용하여 비공개 거래와 분산형 구조를 구현하는 반면, Taiko와 Scroll은 TEE를 사용하여 다중 증명 시스템을 구현하여 L2 거래의 보안을 보장합니다. 그러나 현재 대부분의 프로젝트는 단일 중앙 공급업체에 의존하고 있으며, 이로 인해 특정 위험이 발생할 수 있습니다. 미래에는 더 많은 하드웨어 공급업체와 호환되고 노드 비율을 설정하여 노드가 다양한 하드웨어에서 실행되도록 보장할 수도 있습니다. 이렇게 하면 특정 공급업체에 대한 과도한 의존으로 인해 발생하는 중앙 집중화 위험을 더욱 줄일 수 있습니다.


원본 링크


BlockBeats 공식 커뮤니티에 참여하세요:

Telegram 구독 그룹:https://t.me/theblockbeats

Telegram 토론 그룹:https://t.me/BlockBeats_App

Twitter 공식 계정:https://twitter.com/BlockBeatsAsia

举报 오류 신고/제보
문고 선택
새 문고 추가
취소
완료
새 문고 추가
자신만 보기
공개
저장
오류 신고/제보
제출