DENEYSEL GELİŞTİRME AĞI · BELGELER
Güvenlik doğrulama kaydı — 29 Ekim 2026
Bu kayıt bağımsız denetim değildir. Sis mainnet veya gerçek fon yazılımı olarak onaylanmadı.
Uygulanan kontroller
- Windows release çekirdek: 8 birim + 5 ağ/storage entegrasyon testi geçti. Gerçek iki node ile mine → shield → private send → unshield → restart, çift harcama, proof mutation ve arz korunumu doğrulandı.
- Ek bounded mutation kampanyası: 4096 deterministik JSON/kripto tel verisi değişimi; geçersiz boyut/action/value-balance sınırları. Test 6.45 saniyede geçti. Bu rastgele uzun süreli libFuzzer/sanitizer kampanyası değildir.
- Tauri oturum testi: zaman aşımı anahtar oturumunu düşürür, bekleyen istek sürümünü bir kez artırır. Windows native başlangıç penceresi gözlemlendi. Tüm GUI akışları test edilmiş sayılmaz.
- ARM64 native Rust, Gradle release/lint ve APK Signature Scheme v3 doğrulaması geçti. Android cihaz bağlı olmadığı için gerçek cihaz testi yoktur.
- VPS: iki v2 node aynı tip/genesis, CPU sınırlı miner, SQLite online backup/integrity check; HTTPS hostname/sertifika/yönlendirme ve public yönetim uçlarının kapalı olduğu doğrulandı.
RustSec bağımlılık taraması
cargo-audit 0.22.2 ile güncel RustSec veritabanı ve iki lockfile tarandı. Backend: 0 bilinen vulnerability ve 0 uyarı. Cüzdan lockfile: 0 vulnerability kategorisi bulgusu; aşağıdaki bilgi amaçlı uyarılar vardır. Sıfır kayıt, sıfır zafiyet veya güvenlik ispatı değildir.
| Duyuru | Bağlam | İşlem |
|---|---|---|
| RUSTSEC-2026-0283 clear_on_drop bakım almıyor | Tarihsel Bulletproofs miktar deneyi | Deney ayrı research/bulletproofs-lab crate'ine taşındı; node/cüzdan bağımlılıklarından çıkarıldı. Araştırma paketi bu uyarıyı taşır. |
| RUSTSEC-2024-0370 proc-macro-error bakım almıyor | Tauri/GTK Linux derleme zinciri | Windows/Android hedeflerinde bulunmaz; Linux GUI sürümü sunulmaz. Upstream geçişi izlenmeli. |
| RUSTSEC-2024-0429 glib VariantStrIter unsoundness | Tauri/GTK Linux runtime ağacı | Windows/Android hedeflerinde bulunmaz. Linux GUI dağıtımı, düzeltilmiş GTK/Tauri zinciri ve yeniden test olmadan yapılmaz. Uyarı gizlenmez/allowlist ile silinmez. |
Ham JSON raporları dağıtım artifact'lerinde tutulur; secrets içermez. Lisans envanteri 571 Rust paketini (kullanılmayan platform/build paketleri dahil) listeler. 43 pakette gömülü LICENSE/NOTICE bulunmadığı notices arşivinde açıkça kayıtlıdır. Bu envanter profesyonel lisans incelemesi değildir.
DAA bulguları
cargo run --release --example difficulty_scenarios sentetik expected-time modelidir; bloklar gerçek PoW ile üretilmez. Son 100 blok ortalamaları:
| Senaryo | Ortalama saniye | Son difficulty |
|---|---|---|
| Sabit 100 H/s | 119.88 | 11988 |
| 10 kat hash artışı | 119.88 | 119880 |
| 10 kat hash kaybı | 120.15 | 12015 |
| 100000 H/s, difficulty cap | 10.00 | 1000000 |
| Saldırgan parent+1 timestamp | 10000.00 | 1000000 |
Son iki senaryo üretim hedefini karşılamaz. Basit mevcut DAA saldırıya dayanıklı kabul edilmez. Canlı v2 konsensüsü sessizce değiştirilmedi; yeni DAA için birincil araştırma, bağımsız analiz, aktivasyon/sürüm planı ve adversarial kampanya gerekir.
Açık kapılar
Permissionless P2P savunmaları, compact/light sync, uzun fuzz/soak, hardware Keystore/gerçek cihaz, reproducible/üretim imzalı dağıtım, çapraz platform fixture, bağımsız kripto/konsensüs denetimi, harici backup/restore ve profesyonel hukuk incelemesi tamamlanmadı. MAINNET_CHECKLIST.md geçerlidir.