Move dilinin güvenlik analizi

Move dili, yeni nesil akıllı sözleşme dili olarak, tasarım aşamasında birçok güvenlik sorununu göz önünde bulundurmuştur. Bu makalede, Move dilinin güvenliğini dil özellikleri, çalışma mekanizması ve doğrulama araçları açısından analiz edeceğiz.

1. Move dilinin güvenlik özellikleri

Move dili aşağıdaki güvenlik özelliklerine sahiptir:

• Dinamik dağıtım, özyinelemeli dış çağrılar gibi doğrusal olmayan mantıkları terk etti, yeniden giriş gibi güvenlik açıklarını önledi.
• Güvenli programlama modeli oluşturmak için genel türler, global depolama, kaynaklar gibi kavramları kullanın.
• Modüler tasarım, her modül yapı tipi ve süreç tanımından oluşur.
• Yapı türü, küresel anahtar-değer deposunda saklanan bir kaynak türü olarak tanımlanabilir.
• Küresel depolama kalıcı verileri saklamaya izin verir, yalnızca modülün sahibi tarafından erişilebilir.
• Değişmezlik azaltma ve bytecode doğrulayıcı kullanarak statik kontrol yapma

Bytecode doğrulayıcısı esasen şunları yapar:

1. Yapı denetimi
2. süreç mantığının anlamsal tespiti
3. bağlantı sırasında hata kontrolü

Bu mekanizmalar sayesinde, Move dili derleme aşamasında kodun güvenliğini sağlayabilir.

2. Move'nin çalışma mekanizması

Move programı sanal makine üzerinde çalışır, başlıca özellikleri şunlardır:

• Sistemin belleğine erişilemiyor, güvenilir olmayan bir ortamda güvenli bir şekilde çalışabilir.
• Yığın üzerinde çalıştırma, küresel depolama bellek ( yığın ) ve küresel değişken ( yığın ) olarak ayrılır.
• Bayt kodu talimatlarını yığın tabanlı bir yorumlayıcı ile yürütün
• Kaynak değeri yalnızca yıkıcı hareketle taşınabilir, kopyalanamaz.
• Program durumu, çağrı yığını, bellek, global değişkenler ve işlem dizisi ile oluşur.
• Çağrı yığını, yürütme bağlamını içerir, statik atlamayı destekler.
• Veri depolama ve çağırma yığınları ayrıldı, güvenliği ve yürütme verimliliğini artırdı.

3. Move Prover

Move Prover, otomatik denetim yapabilen bir biçimsel doğrulama aracıdır:

• Programın doğruluğunu doğrulamak için çıkarım doğrulama algoritması kullanın
• Move kaynak dosyası ve standartı girdi olarak al
• Kodu Boogie ara diline dönüştür
• Z3 SMT çözücüsünü kullanarak spesifikasyonun geçerliliğini doğrulayın
• Move Specification Language tanım standardını destekler
• İş kodunu etkilemeden bağımsız olarak spesifikasyon belgeleri yazılabilir.

Move Prover, geliştiricilerin akıllı sözleşmelerin doğruluğunu sağlamalarına ve işlem risklerini azaltmalarına yardımcı olabilir.

Özet

Move dili, güvenlik açısından kapsamlı bir şekilde düşünüldü, dil özellikleri, sanal makine yürütmesi ve güvenlik araçları dahil. Yeniden giriş, taşma gibi yaygın açıkları etkili bir şekilde önleyebilir, ancak kimlik doğrulama, mantık gibi konulara dikkat edilmesi gerekir. Üçüncü taraf güvenlik şirketlerinin denetim hizmetlerinin kullanılması ve uzman kişiler tarafından doğrulama standart kodlarının yazılması önerilir.