TUSIRO NEDEN VAR
İşlem sistemleri bugün mutabakata, operatör hafızasına ve olay sonrası tahminine dayanıyor.
Protokol belgeleri niyeti tanımlar. Mekan spesifikasyonları formatı tanımlar. Ancak bir işlem sisteminin gerçekten doğru davranıp davranmadığı — operasyon sırasında, stres altında veya güven bozulduktan sonra — hâlâ manuel olarak yeniden yapılandırılıyor. Tusiro, bu davranışı makine-doğrulanabilir hale getirmek için var.
TUSIRO NEDİR
Finansal Sistem Bütünlük Platformu
Bir ticaret motoru değil, bir pano değil, bir danışmanlık değil. Piyasaya bağlı işlem altyapıları için biçimsel doğruluk ve kanıt sistemi.
Paylaşılan Doğruluk Çekirdeği
Tek semantik çekirdek — kanonik olaylar, sözleşme mantığı, değerlendirici, dağıtıcı, kanıt defteri — tüm yüzeylerde yeniden kullanılır.
Önce Doğrulama
Yüzey A inşa edilmiş ve operasyonel. Saldırı testi ve çalışma zamanı koruması mimari olarak önceden planlanmış, dürüstçe sıralanmış.
FARKI NE
Kanonik olay modeli
Kaynak veriler paylaşılan bir sözcük dağarcığına normalize edilir. Kaynak yetenek boşlukları gizlenmez, beyan edilir.
Değerlendirici + Dağıtıcı + Kanıt Defteri
Çelişkiler güveni değiştirir. Kural ihlalleri karar üretir. İkisi de kalıcıdır. Hiçbiri çökmez.
Denetim düzeyinde çıktı, pano tiyatrosu değil
Tipli kanıt defteri ve doğruluk raporları. Uyarılar değil. Günlük yeniden paketlemesi değil.
MEVCUT DURUM
Tusiro bugün nerede.
İşlem Doğruluk Doğrulaması
MEVCUTBeyan edilen yaşam döngüsü kurallarına karşı çevrimdışı denetim.
Saldırı Dayanıklılık Testi
MEVCUTPaylaşılan doğruluk çekirdeği üzerinde üretim öncesi stres testi.
Çalışma Zamanı Koruması
GELECEKDoğrulama ve talep sınırları yeterince güçlenene kadar ertelenmiştir.
Tusiro şu anda dar ve kanıtlanmış bir kapsamla işlem doğruluk doğrulamasına odaklanmaktadır. Genişleme, yol haritası baskısıyla değil, kanıtla sıralanmaktadır.
KURUCU
Ali Noori
KURUCU VE SİSTEM MİMARI
Ali Noori, broker, borsa ve piyasaya bağlı işlem sistemleri için bir finansal sistem bütünlük platformu olan Tusiro'nun kurucusudur. Manuel mutabakat, operatör hafızası ve olay sonrası tahmini makine-doğrulanabilir doğruluk ve kanıtla değiştirmek için Tusiro'yu inşa ediyor.
İLKELER
Semantik dürüstlük
Bir kaynağın neyi kanıtlayıp neyi kanıtlayamayacağını beyan edin. Verinin içermediği semantiği asla uydurmayın.
Sınır bütünlüğü
Bağlayıcılar ayrıştırır. Değerlendiriciler gerçeğe karar verir. Dağıtıcılar yönlendirir. Raporlar okur. Hiçbir katman sınırını aşmaz.
Anlatı yerine kanıt
Nedensel bir zincirde tipli kayıtlar. Uyarılar değil, panolar değil, olaydan sonra el yordamıyla yeniden yapılandırma değil.
Özellik yayılmasından önce paylaşılan çekirdek
Tek semantik çekirdek. Müşteriye özel kural hileleri yok. Yüzey başına şema çatallanması yok. Platform bütünlüğü önce gelir.
İLERLEME
Paylaşılan doğruluk çekirdeği tanımlandı
Mimari donduruldu. Kanonik olay modeli, sözleşme katmanı, değerlendirici semantiği, kanıt defteri.
Doğrulama yüzeyi operasyonel
Gerçek tarihsel veriler üzerinde uçtan uca boru hattı. Tipli çelişkiler, kararlar, dağıtım kararları.
Denetim iş akışı tamamlandı
Paylaşılan çekirdekten doğruluk raporları ve kanıt eserleri üretildi.
Kaynak genişlemesi beklemede
Ek gerçek dünya kaynakları planlanmaktadır. Mimari ilk kaynak üzerinde kanıtlanmıştır.
SONRAKİ ADIM