Güvenlik modeli

Güven asla varsayılmayacak, her zaman doğrulanacak şekilde tasarlandı.

Cermet'in garantileri “operatöre güven” üzerine kurulu değildir. Sizin — ve cihazınızın — kontrol edebileceği kriptografi üzerine kuruludur.

01

3-of-3 MPC imzalama

İmzalama anahtarı üç pay olarak üretilir — biri cihazınızda, ikisi bağımsız Cermet enklavlarında — ve asla birleştirilmez. İmzalama ortak bir protokoldür; üçünün de işbirliği yapması gerekir ve hiçbir pay tek başına imzalayamaz.

02

Donanımla yalıtılmış paylar

Cermet'in iki payı AWS Nitro ve Intel SGX güvenli enklavlarının içinde çalışır. Anahtarlar kullanılır ama asla dışa aktarılmaz — ana işletim sistemi, ağ ve Cermet'in kendi operatörleri onları çıkaramaz.

03

Güvenli politika motoru

Transfer ve yönetişim kuralları, herhangi bir imza üretilmeden önce enklavın içinde değerlendirilir — engellenen bir eylem yalnızca uyarılmaz, asla imzalanmaz.

04

İmzalı onaylar

Her onay, yetkilendirilen tam baytlar üzerinde bir cihaz imzasıdır — bir sunucu iddiası değil, kimin neye rıza gösterdiğine dair inkâr edilemez kanıt.

05

Kurcalamaya karşı kanıt sunan defter

Her eylem hash zincirli bir kayda eklenir. Herhangi bir düzenleme, silme ya da yeniden sıralama zinciri kırar — ve cihazınız bunu yeniden doğrular, böylece ele geçirilmiş bir sunucu geçmişi fark edilmeden yeniden yazamaz.

06

Cam kır kurtarma

Asla kilitli kalmazsınız. Cermet erişilemezse, bir acil durum yolu fonları kendi şifreli yedeklerinizden yeniden oluşturup taşımanıza olanak tanır — Cermet'in işbirliği olmadan. Kaybolan bir telefon, kaybolan bir cüzdan değildir.

07

En az ayrıcalıklı erişim

Altı rol her yeteneği denetler. İmzalayıcılar pay tutar ama oy vermez; onaylayıcılar oy verir ama pay tutmaz; izleyiciler okur ama eyleme geçemez; yalnızca seçtiğiniz roller başlatabilir ya da onaylayabilir.

08

Yüksek verim, düşük gecikme

Enklav destekli imzalama üretim hacmi için inşa edilmiştir, böylece güvenlik hazinenizle birlikte ölçeklenir — gerçek bir masanın ihtiyaç duyduğu hız için güvenlikten ödün vermezsiniz.

Derinlemesine incelemeyi okuyun.

Doğrulanabilir etkinlik defteri, tehdit modeli ve kontrol noktalarının operatörü bile nasıl dürüst tuttuğu.