# 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 + 8 ağ/storage/proof 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 ve ayrı dosyadan restore/replay node açılışı; HTTPS hostname/sertifika/yönlendirme ve public yönetim uçlarının kapalı olduğu doğrulandı.

- 0.2.1 sayfalı sync testi: sabitlenmiş tip, 16 blok/2 MiB sınırı, eş ilerlemesi, fork, corrupt sayfa ve cache değişmeme kontrolleri geçti. İki-node gizli akış yeni sync taşımasıyla da geçti.
- Windows'ta üretilen sabit Orchard proof fixture'ı Merkle root, havuz bakiyesi, alıcı not açılması ve çift harcama reddiyle doğrulanır; aynı fixture Ubuntu build testine dahildir.

Ubuntu release suite'inde aynı Windows proof fixture'ı 6.80 saniyede, iki-node gizli akış 93.01 saniyede, mutation kampanyası 133.01 saniyede geçti (CPU kotası altında). Ayrı yedekten 29. blok/hash ile node replay açılışı doğrulandı. Salt okunur health timer ilk koşuda node/disk/backup/TLS kontrollerini geçti.

Canlı VPS 0.2.1 smoke testi, yalnız Windows'ta imzalanan kamuya açık test fixture anahtarlarıyla geçti. Shield 100000000 → private send 60000000 → unshield 20000000 atom; net havuz artışı 79998000 atom, replay reddi ve peer canonical blok yakınsaması doğrulandı. Test yüksekliği 34/hash `d62da57813848463e5010fc9a336556615694f13fce1d7f358a4b560eccd7351`. Bu test coinleri değersizdir ve kullanıcı fonu değildir.

## 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](https://rustsec.org/advisories/RUSTSEC-2026-0283.html) 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](https://rustsec.org/advisories/RUSTSEC-2024-0370.html) 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](https://rustsec.org/advisories/RUSTSEC-2024-0429.html) 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.