Aptos Labs ve OtterSec tarafından

Aptos Ağı, temel programlama modeli olarak Move akıllı sözleşme dilini kullanır. Move, güvenli akıllı sözleşmelerden oluşan bir ekosistem için tasarlanırken, Move'un hatalı bir şekilde uygulanması bu özellikleri tehlikeye atabilir. Aptos Labs'ta, toplulukla birlikte Move'u olabildiğince güvenli hale getirmeye kararlıyız. Hem doğru akıllı sözleşmeler yazmak için araçlara (örneğin ağırlıklı olarak Aptos tarafından geliştirilen Move Prover) hem de Move Virtual Machine gibi çalışma zamanı çekirdek bileşenlerinin doğruluğuna yatırım yapıyoruz. Bu makalede, ortaklarımızla birlikte, temel uygulamanın denetimi, hata ödülleri, belirsizleştirme ve güvenlik güçlendirme yoluyla ikincisini nasıl başardığımızı açıklıyoruz.

Neyi güvence altına alıyoruz?

Move'un güvenliği birkaç temel özelliğe dayanmaktadır. Bu özellikler , Move yürütme motorunun kullandığı bayt kodu cinsinden tanımlanır ve kaynak dilden bağımsızdır:

• Tip güvenliği : Her değerin benzersiz ve taklit edilemez bir tipi vardır. Örneğin, "address" türünde bir değer alıp bunu "signer" türünde güvenlikle ilgili bir simgeye dönüştürmek mümkün değildir.
• Modüler kapsülleme : Depolamadaki kaynaklar, yalnızca bu kaynakları bildiren modüller içindeki koddan manipüle edilebilir. Yalnızca eşleşen görünürlüklere sahip işlevler çapraz modül olarak adlandırılabilir.
• Sahiplik ve ömür : Move'un yetenek sistemi, değer türü için karşılık gelen yetenek bildirilmedikçe bir değerin kopyalanmamasını, bırakılmamasını, saklanmamasını veya anahtar olarak kullanılmamasını zorunlu kılar.
• Referans güvenliği : Referanslar, işaret ettikleri değerlerin ötesine geçmez. Değiştirilebilir bir referans münhasıran sahiplenilir, öyle ki takma ad mümkün değildir.

Aşağıdakiler, ilgilendiğimiz sorulardır:

1. Bayt kodu doğrulayıcısı tamamlandı mı ve yukarıdaki tüm özelliklerin her program için karşılandığını garanti ediyor mu? Bu önemlidir, çünkü yukarıdaki özelliklerden herhangi birinin ihlal edilmesi potansiyel olarak varlık kaybına neden olabilir.
2. Belirli bir Move bayt kodu programı yürütme motorunu çökertebilir mi? Çoğaltılmış bir durum makinesinde, tüm düğümler aynı programları çalıştırdığından, bu, ağı durdurmak için kullanılabilir.
3. Belirli bir program, yürütme motorunun kaynaklarının (bellek veya zaman) tükenmesine neden olabilir mi? Bu, ağı yavaşlatan veya askıya alan DoS saldırıları için kullanılabilir.

Hatasız kod geliştirmenin merkezinde, doğru araçlarla eşleştirilmiş disiplinli yazılım mühendisliği uygulamaları yer alır. Aptos'ta, Rust ekosisteminin en iyi uygulamalarıyla birlikte, zorunlu kod incelemesi ve sürekli test ve entegrasyondan oluşan titiz süreci takip ediyoruz. Bu geleneksel yönlere ek olarak, Move'u tasarlandığı kadar güvenli tutmak için aşağıdaki ölçümleri de uyguluyoruz.

Denetim ve Danışmanlık

Blockchain ağlarında güven kazanmak için sektördeki en saygın ölçümlerden biri denetimdir. Aptos Labs'ta, Move Virtual makinesini denetlemek için Certik ( rapor ) ve Holburn ile sözleşme yaptık. Biri tip güvenliği kategorisinde olmak üzere birden çok kritik sorun bulundu.

Aptos Labs, harici denetime ek olarak, bayt kodu doğrulayıcıya odaklanan bir topluluk denetim çalışması yönetti ve organize etti . Mysten Labs, Starcoin ve MoveBit ve OtterSec gibi denetim şirketlerinden mühendisler, bu çaba için Aptos mühendisleriyle birlikte çalışarak yaklaşık 6 kişilik denetim süresine yatırım yaptı. Bunun sonuçları, bu denetim sırasında oluşturulan düzinelerce belgeye atıfta bulunarak bu e -tabloda toplanmıştır. Bu denetim çabası, Aptos ana ağa ulaşmadan önce birden çok sorunu buldu ve ele aldı.

Son olarak, OtterSec ile yakın bir işbirliğimiz var . OtterSec ekibi, hem Move VM hem de Aptos çerçeve kodunda çok sayıda kritik sorunu belirleyerek manuel kod incelemeleri gerçekleştirdi ve çeşitli hedefler için bulanıklaştırma teknolojisi geliştirdi. Ayrıca, Move VM'ye (aşağıya bakın) yedek derinlemesine savunma mantığı ekleme çabalarına öncülük ederek, daha fazla fon kaybı güvenlik açıklarını azaltmak için devam eden tasarım çalışmalarımızı etkilediler.

Hata Ödülü

Aptos Labs bir hata ödül programı yürütür . Varlık kaybına yol açabilecek türdeki kritik hatalar için 1.000.000$'a kadar ödüller sunulmaktadır. Benzer şekilde, kilitlenme hataları 100.000$'a kadar ödüllendirilebilir.

Bounty programıyla, hataları bulmak ve düzeltmek için yetenekli bir güvenlik araştırmacıları grubuyla yakın bir şekilde çalıştık. Bu hatalardan birkaçı kritik kategorideyken, diğer hatalar fuzzer kullanılarak bulunan çökmelerdi.

Aptos Labs, böcek ödüllerinde taahhütlerini yerine getirdi ve önemli ödüller ödendi. Ayrıca Aptos Labs, ödül programı aracılığıyla tanıştığımız beyaz şapkalıların uzmanlığından yararlanmaya devam etti ve bu toplulukla birlikte çalışmaya devam etmeyi planlıyor.

tüylenme

Ödül programı, tüysüzleştirmeye Aptos Labs'ta kendimiz yatırım yapmamız için bizi motive etti. Move VM kodu, "Arbitrary" Rust fuzzing özelliğini ilgili noktalarda uygulayacak şekilde değiştirildi, böylece bayt kodu modüllerini dinamik olarak oluşturmak ve doğrulamak için "cargo fuzz" kullanımına olanak sağladı. Bu belirsizleştirme hedefleriyle çalışan birkaç sürekli işimiz var.

fazlalık

Ekstra güvenlik güvencesi elde etmenin bir yolu artıklıktır. Yürütme sırasında tür güvenliğini ve yukarıda belirtilen diğer kuralları uygulayan Move VM'ye sözde paranoyak bir mod ekledik. Bayt kodu doğrulayıcı, kod sisteme girdiğinde bu tür özellikleri zaten kontrol ederken, paranoyak mod, bayt kodu yürütme süresi boyunca aynı kontrolleri tekrar doğrular. Paranoyak mod, Aptos mühendislerinin tasarımı yönetmesiyle Move topluluğu içinde kapsamlı bir şekilde tartışıldı. Daha fazla bilgi için bu PR'ye (son sürüm) ve bu PR'ye (ara sürüm) bakın.

Sıradaki ne?

Aptos Labs olarak Move'u olabildiğince güvenli hale getirmeye kararlıyız ve bu alana büyük yatırımlar yapıyoruz. Burada, biz ve ortaklarımız tarafından yürütülen denetim, hata ödülleri, belirsizleştirme ve sağlamlaştırma ile ilgili devam eden çabaları açıkladık. Bundan sonra da bu alana yatırım yapmaya devam etmeyi planlıyoruz. Bir bug bounty programı sunmaya, saygın güvenlik denetçileriyle çalışmaya ve fuzzing teknolojisi gibi güvenlik güçlendirme araçlarının geliştirilmesine öncülük etmeye devam edeceğiz.