ऐसे डिज़ाइन किया गया कि भरोसा सत्यापित हो, कभी मान न लिया जाए।
Cermet की गारंटियाँ “ऑपरेटर पर भरोसा करें” पर नहीं टिकतीं। वे उस क्रिप्टोग्राफ़ी पर टिकती हैं जिसे आप — और आपका डिवाइस — जाँच सकते हैं।
3-of-3 MPC साइनिंग
साइनिंग कुंजी तीन शेयर के रूप में उत्पन्न होती है — एक आपके डिवाइस पर, दो स्वतंत्र Cermet एन्क्लेव में — और कभी नहीं जोड़ी जाती। साइनिंग एक संयुक्त प्रोटोकॉल है; तीनों को सहयोग करना ही होगा, और कोई शेयर अकेले हस्ताक्षर नहीं कर सकता।
हार्डवेयर-आइसोलेटेड शेयर
Cermet के दो शेयर AWS Nitro और Intel SGX सिक्योर एन्क्लेव के भीतर चलते हैं। कुंजियाँ उपयोग होती हैं पर कभी निर्यात नहीं होतीं — होस्ट OS, नेटवर्क और Cermet के अपने ऑपरेटर उन्हें निकाल नहीं सकते।
सुरक्षित पॉलिसी इंजन
ट्रांसफ़र और गवर्नेंस नियम किसी हस्ताक्षर के उत्पन्न होने से पहले एन्क्लेव के भीतर मूल्यांकित होते हैं — एक ब्लॉक की गई कार्रवाई कभी हस्ताक्षरित नहीं होती, केवल उसकी चेतावनी नहीं दी जाती।
हस्ताक्षरित स्वीकृतियाँ
हर स्वीकृति उन्हीं बाइट्स पर एक डिवाइस हस्ताक्षर है जिन्हें अधिकृत किया जा रहा है — कौन किस बात के लिए सहमत हुआ, इसका अखंडनीय प्रमाण, न कि कोई सर्वर दावा।
छेड़छाड़-प्रमाणित लेजर
हर कार्रवाई एक हैश-चेन लॉग में जुड़ती है। कोई भी संपादन, विलोपन या पुनर्क्रमण चेन को तोड़ देता है — और आपका डिवाइस उसे फिर से सत्यापित करता है, इसलिए एक समझौता किया गया सर्वर बिना पकड़े इतिहास दोबारा नहीं लिख सकता।
ब्रेक-द-ग्लास रिकवरी
आप कभी बंधे नहीं रहते। यदि Cermet अनुपलब्ध हो, तो एक आपातकालीन मार्ग आपको अपने स्वयं के एन्क्रिप्टेड बैकअप से धन का पुनर्निर्माण और स्थानांतरण करने देता है — Cermet के सहयोग के बिना। खोया हुआ फ़ोन खोया हुआ वॉलेट नहीं है।
न्यूनतम-विशेषाधिकार एक्सेस
छह भूमिकाएँ हर क्षमता को नियंत्रित करती हैं। Signer शेयर रखते हैं पर वोट नहीं देते; approver वोट देते हैं पर कोई शेयर नहीं रखते; viewer पढ़ते हैं पर कार्य नहीं कर सकते; केवल वे भूमिकाएँ जिन्हें आप चुनते हैं आरंभ या स्वीकृति दे सकती हैं।
हाई-थ्रूपुट, कम-विलंबता
एन्क्लेव-समर्थित साइनिंग प्रोडक्शन मात्रा के लिए बनी है, इसलिए सुरक्षा आपके ट्रेज़री के साथ स्केल होती है — आपको एक असली डेस्क की ज़रूरत की गति के लिए सुरक्षा से समझौता नहीं करना पड़ता।
गहन-विश्लेषण पढ़ें।
सत्यापन-योग्य गतिविधि लेजर, थ्रेट मॉडल, और चेकपॉइंट्स कैसे ऑपरेटर तक को ईमानदार रखते हैं।