Belirsiz bir sorudan
dünyanın güvenebileceği bir karara.

GenLayer'ın merkezinde, bugüne kadar hiçbir blokzincirin kullanmadığı türden bir konsensüs mekanizması var. Doğrulayıcılar bir bulmacayı ilk çözen olmak için yarışmak yerine, bir iddiayı değerlendirmek için akıl yürütür.

İlk turda ağdan her zaman rastgele tam 5 doğrulayıcı seçilir. Bunlardan biri lider olarak belirlenir: Intelligent Contract'ı yürütür ve bir yanıt önerir. Diğerleri bu yanıtı Eşdeğerlik İlkesi'ne göre bağımsız olarak yeniden değerlendirir. %50'den fazlası hemfikirse yanıt iyimser olarak kabul edilir ve dakikalar içinde kesinleşir.

İtiraz penceresi içinde biri yanıta itiraz ederse süreç bir üst aşamaya taşınır: her itiraz turu doğrulayıcı panelini 2n+1'e büyütür; 5 doğrulayıcı 11'e, sonra 23'e, sonra 47'ye çıkar ve bu böyle sürer. Panel her turda kabaca ikiye katlanır. Stake teşvikleri doğrulayıcıları doğruya çektikçe Schelling noktaları ortaya çıkar ve dürüstçe hemfikir olmak en kârlı yol hâline gelir. Nadiren görülen en kötü durumda süreç, yaklaşık 1.000 doğrulayıcılık üst sınıra (fiilen tüm aktif doğrulayıcılara) kadar tırmanır. Olağan durumda karar yaklaşık 30 dakikada kesinleşir; üst sınıra kadar tam bir tırmanma ise yaklaşık üç saat sürer.

Geleneksel akıllı sözleşmeler saf koddur: deterministiktir, esnek değildir ve gerçek dünyayı göremez. Intelligent Contract'lar farklıdır. Python kodunu, doğal dilde yazılmış şartnameleri ve web'den gerçek dünya verisi çekebilme yeteneğini bir araya getirirler. Bir sözleşme web sitelerini okuyabilir, PDF ayrıştırabilir, uçuş durumunu kontrol edebilir ya da hizmet sözleşmesindeki bir maddeyi yorumlayabilir.

Hangi sonuçların eşdeğer sayılacağını sözleşmenin kendisi ifade eder. Geliştiriciler şöyle kurallar yazar: “Teslimat vaat edilen tarihten itibaren 24 saat içinde yapıldıysa zamanında sayılsın.” Doğrulayıcılar sözleşmeyi değerlendirirken hem kodun mantığına uyar hem de dili ve kanıtları kendi akıl yürütmeleriyle tartar. Böylece gerçek dünyadaki her belirsiz durum, ağın güvenilir biçimde hükme bağlayabileceği bir şeye dönüşür.

GenVM, Intelligent Contract'ları yürüten korumalı çalışma ortamıdır. Her doğrulayıcı düğümünde çalışır ve deterministik ile deterministik olmayan hesaplamayı bir arada kullanmak için güvenli, denetimli bir ortam sağlar. Deterministik işlemler (aritmetik, kriptografik doğrulama, durum okuma) her düğümde birebir aynı şekilde yürütülür. Deterministik olmayan işlemlere (LLM çağrıları, web'den veri çekme, zaman damgası okuma) izin verilir, ancak bunlar kayda geçirilir.

GenVM yalnızca nihai yanıtı değil, akıl yürütme yolunu da kaydeder: hangi web kaynaklarına başvurulduğunu, hangi LLM çağrılarının yapıldığını ve modelin ne döndürdüğünü. Doğrulayıcılar anlaşamadığında birbirlerinin akıl yürütmesini inceleyebilir ve ağ, ayrışmanın nerede başladığını izleyebilir. Bu şeffaflık itiraz sürecini anlamlı kılar: bir doğrulayıcının akıl yürütmesi özensiz ya da taraflıysa, daha kalabalık bir doğrulayıcı grubu bunu yakalar.

Greyboxing, GenLayer'ın düşmanca girdilere karşı savunmasıdır. Bu ad bilerek seçildi: kara kutu değil (şeffaflık yok), cam kutu da değil (koruma yok). Bu bir gri kutu. Bir sözleşme hakkındaki karar tek bir yapay zekâ modeline emanet edilirse, bir saldırgan prompt injection saldırısı tasarlayabilir: modeli kandırıp yanlış yanıt vermesini sağlayan, özenle kurgulanmış bir soru ya da içine gizlenmiş bir talimat.

Greyboxing, önceden bilinmeyen ve birbirinden farklı modellerin kullanılmasını şart koşarak bunu boşa çıkarır. Her doğrulayıcı farklı bir LLM çalıştırır ya da aynı modeli farklı sistem istemleri, rastgele tohumlar, sıcaklık ayarları ve eğitim verileriyle kullanır. Saldırgan hangi modellerin seçileceğini, nasıl yapılandırılacaklarını ya da hangi akıl yürütme yolunu izleyeceklerini önceden bilemez. Bir saldırı tek bir modelde işe yarasa bile diğerlerinde başarısız olur. Çeşitlilik güvenliğe dönüşür.