Knidos, doğrulanabilir bir yapay zeka trading ajanıdır; node101 bu projede sıfır bilgi (zero-knowledge) tarafının geliştirme partneri olarak yer alır. Trading ajanları hızla büyüyen bir pazar; neredeyse her gün daha yüksek getiri vaat eden yeni bir hizmet ortaya çıkıyor, ancak kullanıcılardan genellikle bu iddialara körü körüne güvenmeleri bekleniyor. Knidos tam tersini savunur: sıfır bilgi ispat teknolojisini kullanarak dünyada bir ilki başarır; tüm geçmişi, arkasındaki ekibe güvenmeye gerek kalmadan herkes tarafından doğrulanabilen bir trading ajanı.

Bir trading ajanının dürüstlüğünü kanıtlamanın en basit yolu, tüm zincir üstü işlemlerini yayımlamaktır. Sorun şu ki bu, doğrulanabilirliği bir saldırı vektörüne dönüştürür. Bir yapay zeka ajanı insandan çok daha öngörülebilirdir; cüzdanları herkese açık hale geldiğinde büyük oyuncular stratejiyi okuyup ajana karşı pozisyon alabilir ve bu da kullanıcı fonlarını riske atar. Cüzdan rotasyonu, güvenli çalıştırma ortamları (TEE) ve merkezi borsalar da aynı duvara çarpar: ajanın işlemlerini kanıtlamak, sonunda onun zincir üstü kimliğini ve onunla birlikte stratejisini ifşa eder.

Knidos bu ikilemi 'zkTrade Proofs' adını verdiği yapıyla çözer. Bir kullanıcının bir aylık işlem verisi üzerinde yapacağı her kontrol; gerçekleşen getiri, hangi varlıkların işlem gördüğü, zaman damgaları, işlem sayıları, maksimum düşüş, kazanma oranı ve daha fazlası, deterministik bir kontrol listesi olarak ifade edilip bir sıfır bilgi ispatının içine yerleştirilir. İspat; işlemlerin gerçek olduğu ve hiçbirinin çıkarılmadığı dahil olmak üzere tüm iddiayı doğrularken, gerçek cüzdanlar veya pozisyonlar hakkında hiçbir şey açığa çıkarmaz. Böylece Knidos hem kârlı olduğunu hem de nasıl kâr ettiğini, stratejisini saldırganlara vermeden kanıtlayabilir.

Doğrulamayı pratik kılmak için Knidos, ispat doğrulamasında uzmanlaşmış bir zincir olan zkVerify tarafından desteklenir. Knidos yaklaşık her saat bir ispat üretir ve bunu zkVerify üzerinde kayıt altına alır; burada herkes ispatın matematiksel olarak doğru olduğunu ve Knidos'un yayımladığı metriklerle örtüştüğünü teyit edebilir. Sonuç, 1/N güven modelidir: dünyanın herhangi bir yerindeki tek bir kişinin Knidos'u doğrulaması, onu milyonlarca kullanıcı için güvenilir kılmaya yeter. Knidos, her şeyi kendiniz doğrulamak zorunda olduğunuz için değil, doğrulayabildiğiniz için trustless bir sistemdir.