OrionProtocol'un Reentrancy Saldırısı Olayı Analizi

2 Şubat 2023 tarihinde saat 15:40'da, Ethereum ve Binance Akıllı Zinciri üzerindeki OrionProtocol, sözleşme açığı nedeniyle yeniden giriş saldırısına uğradı. Toplam kayıp yaklaşık 2,9 milyon dolar; bunlardan 2,844,766 USDT Ethereum zincirinde, 191,606 BUSD ise Binance Akıllı Zinciri'nde kaybedildi.

Saldırı Süreci Analizi

Saldırgan, önce özel bir Token sözleşmesi dağıttı ve sonraki saldırı için hazırlık olarak ilgili transfer ve yetkilendirme işlemlerini gerçekleştirdi. Ardından, saldırgan UNI-V2'nin swap yöntemini kullanarak borç aldı ve ExchangeWithAtomic sözleşmesinin swapThroughOrionPool yöntemini çağırarak token takası yaptı. Takas yolu [USDC, saldırgan Token, USDT] olarak ayarlandı.

Değişim sürecinde, saldırganın Token sözleşmesinde geri çağırma işlevinin bulunması nedeniyle Token.Transfer sürecinde ExchangeWithAtomic.depositAsset yönteminin yeniden çağrılmasıyla reentrancy saldırısı gerçekleştirildi. Bu, depozit miktarının birikmesine yol açtı ve nihayetinde saldırgan çekim işlemiyle kar elde etti.

Fon Akışı

Saldırganın başlangıç sermayesi, bir büyük ticaret platformunun sıcak cüzdan hesabından gelmektedir. Saldırıdan elde edilen 1,651 ETH'nin 657.5'i hala saldırganın cüzdan adresinde, geri kalanı ise karışık hizmet aracılığıyla transfer edilmiştir.

Açık Analizi

Açığın kaynağı, ExchangeWithAtomic sözleşmesindeki doSwapThroughOrionPool fonksiyonu ve onun çağırdığı _doSwapTokens fonksiyonudur. Bu fonksiyonlar, Token transferini gerçekleştirdikten sonra curBalance değişkenini güncellemekte, bu da saldırganlara reentrancy saldırısı yapma fırsatı vermektedir.

Saldırgan, özel Token'ın transfer fonksiyonuna geri çağırma mantığı ekleyerek, transfer sürecinde depositAsset fonksiyonunun yeniden çağrılmasını sağladı. Bu, curBalance değişkeninin hatalı güncellenmesine neden oldu ve saldırgana, flash kredi geri ödendikten sonra withdraw fonksiyonu aracılığıyla fazla fonları çekme imkanı verdi.

Güvenlik Önerileri

Token değişim özelliğine sahip projeler için aşağıdaki noktaların dikkate alınması gerekmektedir:

1. Çeşitli Token ve takas yollarının getirebileceği güvenlik risklerini dikkate alın.
2. "Kontroller-Etkiler-Etkileşimler" (Checks-Effects-Interactions) kodlama modeline uymak, yani önce durum kontrolü yapmak, ardından sözleşme durumunu güncellemek ve son olarak dış sözleşmelerle etkileşimde bulunmak.
3. Yeniden giriş saldırılarını önlemek için kritik işlemleri gerçekleştirirken yeniden giriş kilidi veya benzeri mekanizmalar kullanın.
4. Dış çağrılardan dönen değerlerin sıkı bir şekilde kontrol edilmesi ve işlenmesi.
5. Düzenli olarak kod denetimleri ve güvenlik testleri yapın, tespit edilen açıkları zamanında düzeltin.

Bu önlemleri alarak, proje benzer saldırılara maruz kalma riskini önemli ölçüde azaltabilir, sözleşmenin güvenliğini ve istikrarını artırabilir.