Orijinal başlık: "TEE yine hararetle tartışılıyor: Gizlilik teknolojisi geliştirme ikileminde yeni bir şafak mı? 》

Orijinal yazar: Linda Bell, ChainFeeds

Gizlilik korumasına yönelik artan taleple birlikte, TEE bir kez daha tartışmanın odağı haline geldi. TEE birkaç yıldır tartışılıyor olsa da, donanım güvenliği sorunları nedeniyle yaygın olarak benimsenmedi. Ancak, MPC ve ZK teknolojileri performans ve teknik gereksinimlerde zorluklarla karşılaştıkça, birçok araştırmacı ve geliştirici TEE'ye yeniden odaklandı.

Bu eğilim ayrıca Twitter'da TEE'nin ZK teknolojisinin yerini alıp almayacağı konusunda tartışmalara yol açtı. Bazı kullanıcılar, TEE ve ZK'nin farklı sorunları çözdüğü ve hiçbiri mükemmel olmadığı için rekabetçi olmaktan çok tamamlayıcı olduğuna inanıyor. Diğer kullanıcılar, AWS ve Intel tarafından sağlanan güvenliğin, Rollup'ın çoklu imza korumasından daha yüksek olduğunu belirtti. Bu takas, ölçeklenebilirliği göz önüne alındığında değerlidir ZK ile mümkün olmayan TEE tasarım alanı.

TEE nedir?

TEE aslında yabancı bir kavram değil. Yaygın olarak kullandığımız Apple cep telefonlarında TEE teknolojisi yani "Secure Enclave" kullanılmaktadır. Temel işlevi kullanıcıların hassas bilgilerini korumak ve şifreleme işlemlerini gerçekleştirmektir. Güvenli Bölge, yüksek güvenliği garantilemek için sistem düzeyindeki çipe entegre edilmiş ve ana işlemciden izole edilmiştir. Örneğin, Touch ID veya Face ID'yi her kullandığınızda, Güvenli Bölge biyometrik bilgilerinizi doğrular ve sızdırılmasını önler.

TEE, ana işletim sisteminden bağımsız olarak çalışan bir bilgisayar veya mobil cihaz içindeki güvenli bir alan olan Güvenilir Yürütme Ortamı anlamına gelir. Başlıca özellikleri şunlardır: ana işletim sisteminden izole olması, böylece ana işletim sistemine saldırı yapılsa bile dahili veriler ve yürütme güvende kalır; Donanım desteği ve şifreleme teknolojisi sayesinde, çalışma sırasında dahili kod ve verilerin değiştirilmesi önlenir; ve hassas verileri korumak ve sızıntıyı önlemek için şifreleme teknolojisi kullanılmaktadır.

Şu anda yaygın TEE uygulamaları şunlardır:

· Intel SGX:Hassas verileri ve kodu korumak için güvenli bir bellek alanı (bölme) oluşturarak donanım destekli izole bir yürütme ortamı sağlar.

· ARM TrustZone: İşlemci içerisinde güvenli bir dünya ve normal bir dünya oluşturur; güvenli dünya hassas işlemleri çalıştırırken normal dünya sıradan görevleri ele alır.

· AWS Nitro Enclaves:AWS Nitro TPM güvenlik çipine dayalı olarak bulutta güvenilir bir yürütme ortamı sağlar ve gizli verileri işleyen bulut bilişim senaryoları için özel olarak tasarlanmıştır.

Kripto piyasasında, TEE teknolojisi genellikle güvenilir ve emniyetli bir ortamda zincir dışı bilgi işlem için kullanılır. Aynı zamanda TEE'nin uzaktan doğrulama fonksiyonu, uzak kullanıcıların TEE'de çalışan kodun bütünlüğünü doğrulamasına olanak vererek veri işlemenin güvenliğini sağlar. Ancak TEE'ler, Intel ve AWS gibi merkezi sağlayıcılara bağımlı oldukları için merkeziyetsizlik eksikliğinden de muzdariptir. Bu donanımlarda arka kapılar veya güvenlik açıkları varsa sistem güvenliği tehdit altına girebilir. Ancak yardımcı bir araç olarak TEE teknolojisi, yapımı kolay, maliyeti düşük ve yüksek güvenlik ve gizlilik koruması gerektiren uygulama senaryoları için uygundur. Bu avantajlar aynı zamanda TEE teknolojisinin gizlilik koruması ve gelişmiş Layer2 güvenliği gibi çeşitli şifreleme uygulamalarına uygulanmasına da olanak tanır.

TEE proje envanteri

Flashbotlar: SGX aracılığıyla özel işlemlerin ve merkezi olmayan blok inşasının gerçekleştirilmesi

Flashbotlar, 2022 yılında SGX gibi güvenilir yürütme ortamlarıyla ilgili gizlilik teknolojilerini keşfetmeye başladı ve bunu işlem tedarik zincirinde güvene dayalı olmayan iş birliği için önemli bir yapı taşı olarak kullandı. Flashbots, Mart 2023'te Intel tarafından geliştirilen güvenilir bir yürütme ortamı olan SGX bölgesinde bir blok oluşturucuyu başarıyla çalıştırarak, özel işlemler gerçekleştirme ve blok oluşturucuların merkeziyetsizliğine doğru bir adım attı. SGX yerleşimiyle, blok oluşturucuları ve diğer altyapı sağlayıcıları kullanıcı işlemlerinin içeriğini göremez ve oluşturucular yerleşim içinde doğrulanabilir geçerli bloklar oluşturur ve tekliflerini doğru bir şekilde bildirir; bu da potansiyel olarak mev-boost rölelerine olan ihtiyacı ortadan kaldırır. Ayrıca bu teknoloji, özel emir akışı riskini azaltmaya yardımcı olarak işlemlerin gizli kalmasını sağlarken, aynı zamanda bölge içinde faaliyet gösteren tüm blok oluşturucularının erişimine açık olmasını sağlar.

TEE harici kaynak erişimi ve gizlilik koruması sağlayabilse de performansı TEE dışı teknoloji kadar yüksek değildir. Ve bazı merkezileşme riskleri de var. Flashbotlar, yalnızca TEE'ye güvenmenin tüm sorunları çözemeyeceğini buldu. Sistemin şeffaflığını ve güvenilirliğini sağlamak için diğer güvenlik önlemlerinin birleştirilmesi ve TEE'nin hesaplamalarını ve kodlarını doğrulayacak diğer kuruluşların devreye sokulması da gereklidir. Dolayısıyla Flashbots, TEE'lerden (Kettles) oluşan bir ağ ve bu ağı yönetmekten ve TEE'lerde çalıştırılacak programları barındırmaktan sorumlu, güvenilir, izinsiz bir genel zincir (SUAVE Chain) öngörüyor. SUAVE'nin temel fikri budur.

SUAVE (Değer İfadesi için Tek Birleşik Müzayede), MEV ile ilgili zorlukları ele almak üzere tasarlanmış bir altyapıdır ve mevcut blok zincirlerinden bellek havuzu ve blok oluşturma rollerini ayırarak herhangi bir blok zinciri için tak-çalıştır bellek havuzu ve merkezi olmayan blok oluşturucu olarak hizmet verebilecek bağımsız bir ağ (sıralama katmanı) oluşturmaya odaklanır.

(SUAVE hakkında daha fazla bilgi için lütfen ChainFeeds'in önceki makalesine bakın)

SUAVE iki aşamada piyasaya sürülecek. İlk versiyon, Özel Sipariş Akışı Müzayedesi (OFA) ve SUAVE Devnet'i (testnet) içeren SUAVE Centauri'dir. Uygulamanın bu versiyonunda kriptografi ve TEE teknolojisi kullanılmamaktadır. İkinci versiyon olan Andromeda ise yürütme düğümlerini SGX gibi güvenilir bir yürütme ortamında çalıştıracak. Çevrimdışı çalışan TEE düğümlerindeki hesaplamaların ve kodların beklendiği gibi çalışmasını sağlamak için Flashbots, akıllı sözleşmelerin TEE'den gelen mesajları doğrulamasını sağlamak amacıyla TEE'nin uzaktan doğrulama yeteneğini kullanır. Belirli adımlar şunları içerir: uzaktan kanıtlar üretmek için Solidity koduna yeni bir ön derleme işlevi eklemek; SGX işlemcisini kullanarak kanıt üretmek; zincir üzerindeki kanıtların tam olarak doğrulanması; ve bu kanıtları doğrulamak için Automata-V3-DCAP kütüphanesini kullanıyoruz.

Özetle, SUAVE, TEE'yi entegre ederek mevcut üçüncü tarafın yerini alacaktır. SUAVE sisteminde çalışan uygulamalar (sipariş akışı açık artırmaları veya blok oluşturucular gibi) TEE içinde çalışacak ve TEE hesaplamaları ve kod bütünlüğü, zincir üzerindeki uzak kanıtlar aracılığıyla sağlanacaktır.

Taiko: Raiko'dan SGX'e çoklu geçirmez bir sistem oluşturma

TEE kavramı, çoklu geçirmez bir sistem oluşturmak için Rollup'a da genişletilebilir. Çoklu kanıtlar, Ethereum'un çoklu istemci mekanizmasına benzer şekilde bir blok için birden fazla türde kanıt üretmeyi ifade eder. Bu mekanizma, bir kanıtta kusur olsa bile diğer kanıtların geçerliliğini korumasını sağlar.

Çoklu kanıt mekanizması altında, kanıt üretmekle ilgilenen herhangi bir kullanıcı bir düğüm çalıştırabilir ve tüm durum erişimlerinin işlemleri ve Merkle kanıtları gibi verileri çıkarabilir. Bu verileri kullanarak farklı türde kanıtlar üretin ve ardından tüm kanıtları birlikte akıllı sözleşmeye gönderin; böylece kanıtların doğruluğu doğrulanmış olur. TEE tarafından üretilen ispatlar için ECDSA imzasının beklenen adres tarafından imzalanıp imzalanmadığının kontrol edilmesi gerekmektedir. Tüm kanıtlar doğrulandığında ve blok karmasının tutarlı olduğu doğrulandığında, blok kanıtlanmış olarak işaretlenecek ve zincire kaydedilecektir.

Taiko, Taiko ve Ethereum bloklarını doğrulamak için çoklu kanıt sistemi Raiko'yu oluşturmak amacıyla Intel SGX teknolojisini kullanıyor. Taiko, SGX'i kullanarak kritik görevleri gerçekleştirirken veri gizliliğini ve güvenliğini sağlayabiliyor ve hatta olası güvenlik açıklarının varlığında bile TEE, doğrulama sistemini tehlikeye atan saldırganlara karşı ek koruma sağlıyor. SGX kanıtları tek bir bilgisayarda çalıştırılabilir ve kanıtların üretilmesinin verimliliğini etkilemeden tamamlanması yalnızca birkaç saniye sürer. Taiko ayrıca, istemci programlarını ZK ve TEE'de çalışabilecek bir formata derlemeyi destekleyen, blok durum geçişlerinin doğruluğunu garantileyen ve kıyaslama ve izleme yoluyla performans ve verimliliği değerlendiren yeni bir mimari tanıttı.

TEE birçok avantaj sunmasına rağmen, uygulamada hala bazı zorluklar bulunmaktadır. Örneğin, SGX kurulumunun farklı bulut sağlayıcılarından gelen CPU'ları desteklemesi ve doğrulama süreci sırasında gaz maliyetlerini optimize etmesi gerekiyor. Ayrıca hesaplamaların ve kodların doğruluğunun teyit edilebilmesi için güvenli bir kanalın oluşturulması gerekiyor. Taiko, bu zorlukların üstesinden gelmek için çalışan uygulamaları güvenilir ortamlarda kapsüllemek amacıyla Gramine OS'yi kullanıyor ve SGX yeteneğine sahip bir CPU'ya sahip herhangi bir kullanıcının bu uygulamaları kolayca dağıtabilmesi ve yönetebilmesi için kullanımı kolay Docker ve Kubernetes yapılandırmaları sağlıyor.

Taiko'nun duyurusuna göre, Raiko şu anda SP1, Risc0 ve SGX'i destekliyor ve Jolt ve Powdr'ı entegre etmek için çalışıyor. Taiko, gelecekte daha fazla Riscv32 ZK-VM entegre etmeyi, Wasm ZK-VM'yi genişletmeyi, blokların gerçek zamanlı kanıtını elde etmek için doğrudan Reth ile entegre olmayı ve çok zincirli blok kanıtlarını desteklemek için modüler bir mimari benimsemeyi planlıyor.

Kaydırma: TEE Prover'ı Geliştirmek İçin Otomatlarla İşbirliği Yapmak

Scroll'un çoklu kanıt mekanizması üç hedefe ulaşmayı hedefliyor: L2 güvenliğini artırmak, kesinlik süresini artırmamak ve L2 işlemleri için yalnızca marjinal maliyetler getirmek. Bu nedenle Scroll'un yardımcı bir kanıt mekanizması seçerken ZK kanıtlarına ek olarak kesinlik ve maliyet etkinliğini de göz önünde bulundurması gerekiyor. Sahtecilik kanıtları oldukça güvenli olmasına rağmen, bunların sonuçlandırılması çok uzun zaman almaktadır. ZkEVM doğrulayıcıları güçlü olsa da, geliştirilmesi pahalı ve karmaşıktır. Son olarak Scroll, Justin Drake tarafından önerilen TEE Prover'ı yardımcı bir kanıt mekanizması olarak kullanmayı seçti.

TEE Prover korumalı bir TEE ortamında çalışır, işlemleri hızlı bir şekilde yürütebilir ve kanıtlar üretebilir, bu nedenle kesinliği artırmaz. Ayrıca TEE Prover’ın bir diğer önemli avantajı da verimliliğidir. İspat süreciyle ilişkili ek yük ihmal edilebilir düzeydedir.

Scroll şu anda Scroll için TEE Prover'ı geliştirmek üzere modüler kanıt katmanı Automata ile çalışıyor. Automata, TEE yardımcı işlemcileri aracılığıyla Ethereum'a makine düzeyinde güveni genişletmek için tasarlanmış modüler bir doğrulama katmanıdır. Scroll’un TEE Prover’ı, zincir üstü ve zincir dışı olmak üzere iki ana bileşenden oluşur:

· SGX Prover: Bölme içinde çalışan ve bölme içinde bir bloğu yürüttükten sonra durum kökünün mevcut durum kökünü eşleştirip eşleştirmediğini kontrol etmek için kullanılan ve ardından Yürütme Kanıtını (PoE) SGX Doğrulayıcısına gönderen bir zincir dışı bileşen. SGX Doğrulayıcı: Bu, SGX Prover tarafından önerilen durum geçişinin ve Intel SGX enclave tarafından sunulan kanıt raporunun doğru olup olmadığını doğrulaması gereken L1 zincirinde konuşlandırılan akıllı bir sözleşmedir.

SGX Prover, durum geçişleri gerçekleştirilirken kullanılan verilerin eksiksiz olduğundan ve bozulmadığından emin olmak için L1'deki sıralayıcı tarafından gönderilen işlem gruplarını izler. SGX Prover daha sonra tüm gerekli bilgileri içeren bir blok kanıtı (PoB) oluşturur ve doğrulama ve yürütmeye katılan tüm düğümlerin aynı veri setini kullanmasını sağlar. Yürütme sonrasında SGX Prover, Yürütme Kanıtını (PoE) L1'e gönderir. SGX Doğrulayıcı daha sonra PoE'nin geçerli bir SGX Kanıtlayıcı tarafından imzalanıp imzalanmadığını kontrol edecektir.

SGX Prover, Rust programlama dilinde yazılmıştır ve akıllı sözleşmeleri yürütmek için EVM motoru olarak SputnikVM'yi kullanır. Uygulama, SGX donanım modunu destekleyen makinelerde derlenip çalıştırılabilirken, aynı zamanda SGX olmayan bir ortamda hata ayıklanabilir. SGX Verifier, Scroll testnet'in tüm blok geçmişini doğrulamak için Automata'nın açık kaynaklı DCAP v3 doğrulama kütüphanesini kullanır.

Ek olarak, TEE uygulamaları ve donanım üreticileri üzerindeki güven sorunlarını azaltmak için Scroll, farklı donanım ve istemcilerden gelen TEE Prover'ları bir araya getiren bir protokol üzerinde de çalışıyor. Protokol, bir eşik imza şemasını içerecektir. Eşik imza şeması, birden fazla katılımcının, yalnızca en azından belirli sayıda katılımcının anlaşması durumunda geçerli olan bir imzayı ortaklaşa üretmesine olanak tanıyan bir kriptografik tekniktir. Özellikle, TEE Prover'ın tutarlı kanıtlar üretebilmesi için birden fazla (örneğin, N) TEE kanıtlayıcısından en az T kanıtlayıcıya ihtiyacı vardır.

Otomata: TEE yardımcı işlemcileriyle blok zincirlerinin güvenliğini ve gizliliğini artırma

Otomata Ağı, donanımı ortak bir Güven Kökü olarak kullanan modüler bir doğrulama katmanıdır ve TEE doğrulayıcılarına dayalı çoklu doğrulayıcı sistemler, RPC röleleri için adalet ve gizlilik sağlama ve şifreli ortamlarda blok oluşturma gibi birçok kullanım örneğini mümkün kılar.

Yukarıda da belirtildiği gibi, Scroll’un çoklu kanıt sistemi Automata ile iş birliği yapılarak geliştirilmiştir. Buna ek olarak, Automata ayrıca EigenLayer ana ağına tanıtılan çoklu kanıtlayıcı AVS olarak TEE yardımcı işlemcisini de tanıttı. TEE yardımcı işlemcisi, ana zincirin yeteneklerini tamamlamak veya genişletmek için belirli hesaplama görevlerini gerçekleştiren bir donanım parçasıdır. Automata Network’ün TEE yardımcı işlemcisi, TEE tarafından korunan izole bir alanda güvenli hesaplamalar gerçekleştirerek blok zincirlerinin işlevselliğini genişletir.

Özellikle Multi-Prover AVS, farklı protokollerin gereksinimlerine göre birden fazla bağımsız doğrulayıcıyı koordine etmek ve yönetmekten sorumlu bir görev kontrol merkezidir. Bireysel protokoller, doğrulama gerektiren görevleri kamuya açık bir şekilde yayınlayabilir ve daha sonra uzun vadeli ödüllerle teşvik edilen kararlı TEE'lerden oluşan bir komite organize edebilir. Doğrulamayı gerçekleştiren düğümler (operatörler) bu görevlere katılmak için kayıt yaptırabilir ve güvenliği sağlamak için birbirleriyle iş birliği yapabilirler. Token tutan ve protokolün güvenliğini desteklemeye istekli olan kullanıcılara staker denir ve stake haklarını güvenilir operatörlere emanet ederler. Bu stake etme işlemi, protokolün ilk aşamalarında ihtiyaç duyduğu ekonomik güvenliği artırır, çünkü stake edilen fonlar bir garanti görevi görerek operatörleri dürüst ve verimli çalışmaya teşvik eder. EigenLayer, stake edenlerin, operatörlerin ve protokollerin özgürce katılımını sağlayan izinsiz bir pazar yaratır.

Gizli Ağ: SGX teknolojisine dayalı gizlilik koruması

Gizlilik kamu zinciri Secret Network, esas olarak Gizli Sözleşme ve TEE aracılığıyla veri gizliliği korumasını uygular. Secret Network, bu hedefe ulaşmak için Intel SGX güvenilir yürütme ortamı teknolojisini kullanıyor ve ağ tutarlılığını sağlamak için Secret Network yalnızca Intel SGX yongalarının kullanımına izin veriyor ve diğer TEE teknolojilerini desteklemiyor.

Gizli Ağ, SGX güvenli bölgesinin bütünlüğünü ve güvenliğini doğrulamak için uzaktan doğrulama sürecini kullanır. Her tam düğüm, kayıttan önce CPU'sunun en son donanım yükseltmesini kullandığını kanıtlayan bir sertifika raporu oluşturur ve bunu zincir üzerinde doğrular. Yeni düğüm, fikir birliğiyle paylaşılan anahtarı elde ettiğinde, ağdaki hesaplamaları ve işlemleri paralel olarak işleyebilir ve böylece ağın genel güvenliğini sağlayabilir. Olası saldırı vektörlerini azaltmak için Secret Network, SGX-ME (Yönetim Motoru) yerine SGX-SPS (Sunucu Platform Hizmetleri) kullanmayı tercih etti.

Belirli bir uygulamada, Secret Network şifrelenmiş girdi, çıktı ve durumla hesaplamalar yapmak için SGX'i kullanır. Bu, verilerin yaşam döngüsü boyunca şifreli kalması ve yetkisiz erişimin engellenmesi anlamına gelir. Ayrıca Secret Network'ün her doğrulama düğümü, işlemleri gerçekleştirmek için Intel SGX destekli bir CPU kullanır ve böylece hassas verilerin yalnızca her doğrulama düğümünün güvenlik bölgesi içerisinde şifresinin çözülmesini ve dışarıdan erişilememesini sağlar.

Oasis: Gizlilik akıllı sözleşmeleri oluşturmak için SGX kullanımı

Gizlilik bilgi işlem ağı Oasis, fikir birliğini ve akıllı sözleşme yürütmeyi sırasıyla fikir birliği katmanına ve ParaTimes katmanına bölen modüler bir mimari benimsiyor. Akıllı sözleşme yürütme katmanı olan ParaTimes, her biri paylaşılan bir duruma sahip bir bilgi işlem ortamını temsil eden birden fazla paralel ParaTimes'dan oluşur. Bu sayede Oasis, karmaşık bilgi işlem görevlerini bir ortamda gerçekleştirirken, basit işlemleri başka bir ortamda gerçekleştirebiliyor.

ParaTimes iki türe ayrılabilir: gizlilik içeren ve gizlilik içermeyen. Farklı ParaTimes'lar farklı sanal makineleri çalıştırabilir ve izinli veya izinsiz sistemler olarak tasarlanabilir. Oasis'in temel değer önerilerinden biri olarak Oasis, TEE teknolojisiyle birlikte iki gizlilik akıllı sözleşmesi başlattı: Cipher ve Sapphire. Her ikisi de Inte SGX'in TEE teknolojisini kullanıyor. Şifrelenmiş veriler ve akıllı sözleşme birlikte TEE'ye girer, veriler akıllı sözleşme tarafından şifresi çözülüp işlenir ve daha sonra çıktı olarak alındığında tekrar şifrelenir. Bu süreç, verilerin tüm işlem süreci boyunca gizli kalmasını ve düğüm operatörlerine veya uygulama geliştiricilerine açıklanmamasını sağlar. Aradaki fark, Sapphire'in gizlilik odaklı EVM uyumlu bir ParaTime olması, Cipher'ın ise Wasm akıllı sözleşmelerini yürütmek için gizlilik odaklı bir ParaTime olmasıdır.

Bool Ağı: Bitcoin doğrulamasının güvenliğini ve merkeziyetsizliğini artırmak için MPC, ZKP ve TEE teknolojilerini birleştiriyor

Bool Ağı, ağ güvenliğini artırmak için harici doğrulayıcı kümesini dinamik bir gizli komiteye (DHC) dönüştürmek amacıyla MPC, ZKP ve TEE teknolojilerini birleştiriyor.

Dinamik gizli komitede, doğrulama süreci sırasında harici doğrulama düğümleri tarafından fikir birliği imzalarına ihtiyaç duyulması nedeniyle oluşan özel anahtar ifşası sorununu çözmek amacıyla Bool Network, TEE teknolojisini tanıttı. Örneğin Intel SGX teknolojisi sayesinde özel anahtarlar TEE içerisinde kapsüllenerek, sistemdeki diğer bileşenlerin verilere erişemediği bir ortamda düğüm aygıtlarının yerel bir güvenlik alanında çalışmasına olanak sağlanıyor. Uzaktan doğrulama ile bir tanık düğümü, gerçekten bir TEE'de çalıştığını ve anahtarları depoladığını doğrulamak için kanıt sunabilir ve diğer düğümler veya akıllı sözleşmeler bu raporları zincir üzerinde doğrulayabilir.

Ayrıca, BOOL Ağı erişime tamamen açıktır ve TEE cihazına sahip herhangi bir varlık, BOOL'u stake ederek bir doğrulama düğümü olabilir.

Marlin: TEE ve ZK yardımcı işlemcilerini birleştirerek merkezi olmayan bulut bilişim

Marlin, karmaşık iş yüklerini merkezi olmayan bir buluta devretmek için güvenilir bir yürütme ortamı ve bir ZK yardımcı işlemcisini birleştiren doğrulanabilir bir bilgi işlem protokolüdür.

Marlin çeşitli donanım ve alt ağ türlerini içerir. TEE teknolojisi ağırlıklı olarak Marlin Oyster alt ağında kullanılmaktadır. Oyster, geliştiricilerin güvenilmeyen üçüncü taraf ana bilgisayarlarda özel bilgi işlem görevleri veya hizmetleri dağıtmasına olanak tanıyan açık bir platformdur. Oyster şu anda ağırlıklı olarak AWS Nitro TPM güvenlik yongasına dayalı güvenilir bir yürütme ortamı olan AWS Nitro Enclaves'e güveniyor. Merkeziyetsizlik vizyonunu gerçekleştirmek için Oyster gelecekte daha fazla donanım tedarikçisiyle uyumlu hale gelebilir. Ayrıca Oyster, DAO'ların akıllı sözleşme çağrıları aracılığıyla doğrudan güvenli bölgeleri yapılandırmasına olanak tanır; belirli üyelerin SSH veya diğer kimlik doğrulama anahtarlarını yönetmesini gerektirmez. Bu yaklaşım manuel operasyonlara olan bağımlılığı azaltır.

Phala Network: TEE tabanlı çoklu kanıt sistemi SGX-Prover

Phala Network, TEE aracılığıyla veri gizliliği ve güvenli bilgi işlem elde etmeye adanmış, merkezi olmayan bir zincir dışı bilgi işlem altyapısıdır. Phala Network şu anda TEE donanımı olarak yalnızca Intel SGX'i destekliyor. Merkezi olmayan TEE ağını temel alan Phala Network, TEE tabanlı çoklu kanıt sistemi Phala SGX-Prover'ı kurdu. Özellikle, zincir dışı modül sgx-prover durum geçiş programını çalıştırdıktan sonra, hesaplama sonuçlarını içeren bir TEE Kanıtı üretecek ve doğrulama için zincir içi sgx-verifier'a gönderecektir.

Kullanıcıların SGX'in merkezileştirilmesiyle ilgili endişelerini gidermek amacıyla Phala Network, Gatekeeper ve Worker rollerini tanıttı. Kapıcılar, PHA token sahipleri tarafından NPoS aracılığıyla seçilir ve ağ anahtarlarını yönetmek ve ekonomik modeli denetlemekten sorumludurlar. Çalışanlar SGX donanımında çalışır. Anahtar rotasyon mekanizmasını devreye sokarak Kapıcılar TEE ağının güvenliğini sağlayabilirler.

Şu anda Phala Network'te dünya çapında kullanıcılar tarafından kayıtlı ve işletilen 30.000'den fazla TEE cihazı bulunmaktadır. Ayrıca Phala Network, TEE tabanlı hızlı kesinlik çözümlerini de araştırıyor. Teoride, sadece gerekli olduğunda ZK kanıtları sağlanarak TEE kanıtlarına dayalı olarak hızlı bir kesinliğe ulaşmak mümkündür.

Özet

Twitter'daki tartışmaya yanıt olarak Uniswap CEO'su Hayden Adams da görüşlerini dile getirdi. Şöyle dedi: "TEE'nin aldığı olumsuz yorumlar, mükemmellik arayışının iyi sonuçları engellediğini ima ediyor. Her şeyde bir uzlaşma vardır. Blok zincirlerini korumaya gelince, ne kadar çok araç mevcutsa o kadar iyidir."

Yukarıdaki kullanım durumlarının keşfiyle, TEE teknolojisinin gizlilik ve güvenlik sorunlarını çözmedeki uygulama potansiyelini görebiliriz. Örneğin, Flashbots özel işlemleri ve merkezi olmayan yapıları gerçekleştirmek için TEE'yi kullanırken, Taiko ve Scroll L2 işlemlerinin güvenliğini sağlamak için çoklu kanıt sistemini uygulamak amacıyla TEE'yi kullanır. Ancak şu anda çoğu proje tek bir merkezi tedarikçiye dayanıyor ve bu da bazı riskleri beraberinde getirebiliyor. Gelecekte, daha fazla donanım satıcısıyla uyumlu olmak ve düğüm oranlarını düğümlerin farklı donanımlarda çalışmasını sağlayacak şekilde ayarlamak mümkün olabilir; böylece belirli bir tedarikçiye aşırı bağımlılığın neden olduğu merkezileşme riskleri daha da azaltılabilir.

Orijinal bağlantı

BlockBeats Resmi Topluluğuna Katılın:

Telegram Abonelik Grubu: https://t.me/theblockbeats

Telegram Sohbet Grubu: https://t.me/BlockBeats_App

Twitter Resmi Hesabı: https://twitter.com/BlockBeatsAsia