Yazı 6 / 125 dk okuma

Telefonun size gösterdikleri: imzalayıcıda işlem analizi

Cüzdan hırsızlıklarının çoğu, sahibinin rızasıyla gerçekleşir. Sayfa bir şey gösterir, cüzdan başka bir şey imzalar ve sahibi Confirm (Onayla) düğmesine tıklamıştır. Telefonun işi, gördüğünüz şeyin imzaladığınız şey olmasını sağlamaktır.

Bilinmeyen bir harcayıcıya verilen sınırsız harcama iznini çözen bir telefon, iki bulgu ayrı notlar olarak öne çıkarılmış; küçük bir kart, sayfanın yalnızca Swap (Takas) dediğini gösteriyor
İsteğin gerçek hali, sayfanın anlattığı hali değil.
İçindekiler

Bir iddia ve gerçek

Bir web sayfası sizden bir şey imzalamanızı istediğinde, bunun ne olduğunu da söyler. "1 ETH'yi USDC'ye takas et." "Ödülünü al." "Cüzdanını doğrula." Bu açıklama sayfanın ileri sürdüğü bir iddiadır ve kötü niyetli bir sayfa istediği iddiada bulunabilir. Cüzdana verdiği baytlar ise ayrı bir şeydir ve blokzincirin göreceği tek şey de onlardır.

AirNox Vault bu iddiayı yok sayar. İsteği, imzalamak üzere olduğu baytların ta kendisinden, telefonda, kendi ayrıştırıcısıyla çözer ve sonucu size gösterir. Masaüstünün bir istek hakkında söyledikleri bir iddiadır. Telefonun gösterdiği ise gerçektir.

Solda bir sayfa "Swap 1 ETH to USDC" diyor; sağda telefon, bilinmeyen bir harcayıcıya verilen sınırsız harcama iznini çözüyor
Aynı istek, iki açıklama. Yalnızca biri baytlardan geldi.

Standart metotlar tanınır

İmzaladıklarınızın çoğu sıradandır. Bir transfer. Bir token harcama izni (allowance). Bilinen bir router üzerinden bir takas. Bir sözleşmeye yatırma. Telefon, desteklediği her zincir ailesinin standart işlemlerini tanır ve sade bir dille gösterir: hangi işlem, hangi token, ne kadar, kime, hangi ağda ve ücret üst sınırı ne. Transfer, transfer gibi görünür. Harcama izni de harcayıcısı (spender) ve tutarı açıkça yazılmış haliyle, harcama izni gibi görünür.

Benzer görünümlüler işaretlenir

Tehlikeli istekler, sıradan görünüp öyle olmayanlardır. Adı standart bir metoda benzeyen ama parametreleri uymayan bir metot. Kontrolü, başlıkta görünmeyecek şekilde başka bir sözleşmeye devreden bir çağrı. Sayfanın konuştuğunu söylediği sözleşme olmayan bir hedef. Sembolü tanınmış bir token'ı taklit eden bir token. İlk ve son karakterleri sizin adreslerinizden biriyle aynı olan bir alıcı adresi.

Bunların her biri tespit edilir ve bir bulguya dönüştürülür. Telefon imzalamayı reddetmez, çünkü karar sizindir. Ama onu gözden kaçıramamanızı sağlar.

Altı bulgu: sınırsız harcama izni, bilinmeyen harcayıcı, benzer görünümlü metot, taklitçi token, benzer görünümlü alıcı, gizli yetki devri
Telefonun, kabul etmenize izin vermeden önce öne çıkardığı bulgular.

Bulgular

Sınırsız harcama izni klasik bir drainer hamlesidir: bir kez onay verirsiniz (approve), sonrasında o token'daki her şeyi kaybedersiniz. Telefon kırmızıyla "sınırsız" yazar ve bunu bir bulgu olarak ele alır.

Bilinmeyen harcayıcı, kimsenin kefil olmadığı bir adrese verilmiş harcama iznidir. Bir takas için belirli bir router üzerinden fiyat teklifi alınmışsa ve onay başka bir şeyi hedefliyorsa, bu uyumsuzluk bir bulgudur.

Benzer görünümlü metot, taklitçi token sembolü, benzer görünümlü alıcı ve gizli yetki devri, her biri adıyla belirtilir. Alıcılar için hem masaüstü hem telefon adresin deterministik bir görselini gösterir; böylece hex haliyle gözü yanıltan bir benzer adres, görselde yanıltamaz.

Önce teyit, sonra Accept

Bulgu, refleksle kapatabileceğiniz bir açılır pencere değildir. Her bulgu işaretlenene kadar Accept (Kabul et) düğmesi devre dışı kalır. İstediğiniz an reddedebilirsiniz. Kabul etmek ise ancak telefonun bulduklarını teyit ettikten sonra mümkündür. Bu tek tasarım kararı, "tıklayıp geçtim"i "okudum ve devam etmeyi seçtim"e dönüştürür; boşaltılmış bir cüzdanla bilinçli bir karar arasındaki fark da budur.

Önce masaüstü denetler

Aynı analiz, istek masaüstünden çıkmadan önce orada da çalışır; bu yüzden kötü isteklerin çoğu, telefona ulaşmadan cüzdan penceresinde işaretlenir. Telefon analizi yeniden çalıştırır, çünkü masaüstü ele geçirildiğini varsaydığımız makinedir. İki cihazda iki bağımsız kontrol; son söz, anahtarları tutan cihazda.

Okumak yine sizin işiniz

Size gerçeği gösteren bir imzalayıcı (signer), ona razı olmanızı engelleyemez. Yapabileceği şey, gerçeği gözden kaçırılamaz kılmaktır: baytlardan çözülmüş, sade bir dille, riskli kısımlar kırmızıyla ve bilerek geçmeniz gereken bir kapıyla. Gerisi size kalmış; artık karar vermek için ihtiyacınız olan her şey elinizde.

Serinin tamamı

  1. Bilgisayarın ele geçirildiğini varsayın
  2. Mass Adoption Security: imzalayıcı, zaten sahip olduğunuz bir telefon
  3. Air gap'in üzerinden üç yol: QR kodları, Bluetooth LE ve NFC
  4. Radyo dalgalarında görünmez: kimsenin tarayarak bulamayacağı bir imzalayıcı
  5. Aktarım kanalına asla güvenilmez
  6. Telefonun size gösterdikleri: imzalayıcıda işlem analizi
  7. Telefon kendi kaydını tutar
  8. Masaüstünüzdeki kasa: Argon2id ve tahmine direnen bir profil
  9. Tarayıcı cüzdanı olmadan dApp'ler
  10. Kuralları olan bir MCP sunucusu: sınırlar içinde yapay zekâ ajanları
  11. Her şey için tek korumalı cüzdan
  12. Küçük ve native: C++, JavaScript çalışma ortamı yok; iş istasyonunda da Raspberry Pi'da da

Bekleme listesine katılın

E-posta adresinizi bırakın, size sürüm haberlerini gönderelim. Başka hiçbir şey göndermeyiz.