Proof of AI: üzerinde çalıştığı geliştiricilere ödeyen açık kaynaklı bir bulut

Her «merkezi olmayan yapay zeka» söyleminin altında iki sert sorun durur ve çoğu proje ikisine de el sallar.

Birincisi: hesaplamadığınız bir sonuca nasıl güvenirsiniz? Uzaktaki bir makine «model X üretti» derse, modeli gerçekten çalıştırdığını — daha ucuzunu, çöpü, önbellekteki bir yalanı değil — nereden bilirsiniz?

İkincisi daha sessizdir ve bize göre daha önemlidir: bütün yapay zeka yığını, neredeyse kimsenin ödemediği açık kaynak üzerine kuruludur. Çıkarım sunucunuz, tokenizer'ınız, vektör dizininiz, kripto kitaplığınız — kodlarının ürettiği gelirden hiçbir şey görmeyen insanlarca yazılmıştır.

Proof of AI (PoAI) birincisine yanıtımızdır. Ödeme taahhüdümüz ikincisine yanıttır. Bu yazı, bugün canlı olanın, bağlı ama uykuda olanın ve hâlâ yol haritası olanın dürüst bir hesabıdır. Hangisinin hangisi olduğunu açık söyleyeceğiz — çünkü bütün mesele doğrulanabilirliktir.

Proof of AI aslında neyi kanıtlar

Yapay zeka hesabını doğrulamak ünlü biçimde zordur, çünkü kayan nokta aritmetiği belirleyici değildir: aynı model, aynı girdi, aynı GPU, işlem sırasına ve zamanlamaya göre biraz farklı sayılar üretebilir. Her hesapladığınızda değişen bir sayı üzerinde uzlaşamazsınız.

PoAI, etrafından kanıtlamaya çalışmak yerine belirsizliği kaldırır:

1. Yalnızca tamsayı çıkarımı. Ağırlıklar ve etkinleştirmeler int8 olarak nicelenir. Birikim int32 olur, ölçekleme aritmetik bir sağa kaydırmadır, çıktılar doyar ve aşkın fonksiyonlar dondurulmuş arama tablolarıdır — asla exp() ya da rsqrt() değil. Sonuç, CPU, Metal, CUDA ve AMD üzerinde bit bit aynı bir ileri geçiştir.

2. Yeniden hesap, güven değil. Tamsayı transformer bir EVM ön derlemesi olarak açıktır. Güven modeli var olanların en basitidir: her doğrulayıcı, blok yürütülürken aynı hesabı yeniden çalıştırır. Çıktınız herkesin makinesinin ürettiğiyle uyuşmazsa bloğunuz reddedilir. Komite yok, özel donanım yok, sahteleşecek kanıt yok.

Bu, araştırmamızın ilk kez Proof of AI: doğrulanabilir hesap bir konsensüs ilkesi olarak (ZIP-002) içinde anlattığı PoAI çeşididir, şimdi kod olarak teslim edildi.

Bu kısım canlı

Kilit taş, belirleyici bir int8 matris çarpımıdır — gemm_i8 — Go, Rust ve C++ içinde bayt bayt aynı uygulanır, aynı bilinen yanıt testlerini geçen GPU çekirdekleriyle (Metal, CUDA, HIP). Go uygulaması 0x0300...0003 adresinde kayıtlı bir EVM ön derlemesidir, Lux, Zoo ve Hanzo EVM'leri tarafından boş içe aktarımla alınır, böylece aynı belirleyici çıkarım yolu üç zincirde de paylaşılır. Altın bir token dizisi her dilde test olarak ileri sürülür:

prompt  1 7 13 2  →  4 28 21 17 2 19 43 35 36 15

O vektör iki makine arasında bir gün ayrılırsa CI kırmızıya döner. «Doğrulanabilir» pratikte budur.

Bu kısım dürüst yol haritası

• Model boyutu. Zincir üstü ön derleme bugün küçük bir başvuru transformer'ı çalıştırır. Bir üretim modelinin (Qwen3-0.6B / zen-nano) taşınması belirtilmiş ve sürmektedir — her doğrulayıcıda bir sınır modelini yeniden hesaplamak hedef değildir; küçük doğrulanabilir modeller ve büyüklerin örneklemeli doğrulaması hedeftir.
• Kriptografik kanıtlar. zkML kanıtları ve gizli (TEE) yürütme sonraki bir sürüm için tasarlanmış ve iskeleti kurulmuştur. Bugünkü güvence, yeniden çalıştırabileceğiniz belirleyiciliktir; bu gerçek bir güvencedir, yalnızca özlü bir kanıt değildir.
• Donanım tasdiki. Zincir üstünde yeniden hesaplanamayacak kadar büyük modeller için güven çapası bir donanım tasdikidir. AMD SEV-SNP tasdiki yığınımızda uçtan uca uygulanmıştır (AMD'nin anahtar hizmetine karşı tam sertifika zinciri doğrulaması); Intel TDX ve NVIDIA GPU gizli hesabı iskelede, bitmiş değil.

Size bunu söylemek, «zk ile doğrulanmış yapay zeka» diyen bir slayt göndermekten iyidir.

Açık kaynak ödemesi: %25, tasarım gereği

Taahhüt budur ve yalnızca bir blog yazısında değil, kodumuzdadır: iliştirilebilir bulut gelirinin %75'i platformda kalır; %25'i, bulutun gerçekten çalıştırdığı paketlerin açık kaynak geliştiricileri için havuzlanır.

İlişkilendirme uçtan uca nasıl işler:

Adım	Ne olur
Derleme	Derleme sistemimizin ürettiği her imge bir yazılım malzeme listesi alır (syft → CycloneDX) — çıkanın tam bağımlılık grafiği.
İlişkilendir	Bir git blame motoru her bağımlılığı yazarlarına satır satır eşler ve yazar başına katkı yüzdeleri üretir.
Ölç	Bulut, faturalama için kullanımı kuruluş başına zaten ölçer. O kullanım maliyet tabanıdır.
Böl	Kullanım, katkıya göre ağırlıklandırılarak bağımlılık grafiğine dağıtılır ve iliştirilebilir tutarın %25'i katkıda bulunanlar için ayrılır.
Öde	Katkıda bulunanlara ödenir — başlangıçta süresi dolmayan Hanzo kredileriyle; kripto ve fiat rayları ardından gelir.

Durum konusunda kesin konuşuyoruz: SBOM üreteci, ilişkilendirme motoru, %25 bölümü, ölçüm ve ödeme modeli bugün kodda vardır. Şimdi bağladığımız bağ dokusudur — SBOM alımını açmak, ödeme koşusunu zamanlamak ve zaten keyfi alıcılara ödeyen raydan gerçek para geçirmek. İlk ödemeler, başvuru uygulaması olarak, Hanzo Cloud'un kendi üzerinde çalıştığı bağımlılıklara gider.

Deponuzu bağlayın, ödeme alın

Son durum self servistir: bir GitHub deposu bağlayın, sizin olduğunu doğrulayın, nasıl ödenmek istediğinizi seçin ve Hanzo Cloud sizinkine bağlı yazılım çalıştırdıkça bir pay alın. O katılım akışı şimdi kurduğumuz parçadır. İndiğinde bu yazının başlığının birebir konusu olacak — ve kendi kazancınızı, onu üreten SBOM'a karşı doğrulayabileceksiniz.

Bir düğüm çalıştırmak ve bulutu paylaşmak

Düğüm işletenler. Hanzo Node bir makinenin kriptografik bir kimlikle kaydolmasına, ne yapabildiğini duyurmasına, eşler arası bir ağdan iş almasına ve bunun için stablecoin uzlaşmasıyla (x402) ödenmesine izin verir. Bu döngü ajan ve araç işi için bugün gerçektir. Tamamen donanımla ölçülen, tasdikli hesap pazarı — TEE tasdiki altında GPU süresi satıp zincir üstünde uzlaştığınız yer — yukarıdaki tasdik ve uzlaşma ilkeleri üzerine kurulu yöndür, onların etrafından bir kestirme değil.

Yönlendirmeler ve paylaşım. Bir geliştirici ya da kuruluş yönlendirin, ikiniz de kredi kazanın; iş ortakları yönlendirilen harcamanın kademeli bir payını kazanır. Bu, faturalama sisteminde bugün canlıdır, dolandırıcılık kapısıyla ve sınanmış olarak — açık kaynak ödemesinin üzerine kurulduğu aynı gelir paylaşım düzeneği.

Bu neden önemli

Sonuçlarını kanıtlayamayan bir yapay zeka bulutu kör güven ister. Açık kaynaktan kâr edip geri ödemeyen bir yapay zeka bulutu sürdürülebilir değildir. Proof of AI birincisini eldeki en sıkıcı, en sağlam düzenekle karşılar — belirleyici yeniden hesap — ve %25 ödememiz ikincisini koda yazdığımız bir sayıyla karşılar.

Dürüst skor: doğrulanabilir çıkarım çekirdeği teslim edildi ve sınandı; ödeme hattı kuruldu ve açılıyor; kanıtlar, büyük modelin taşınması ve self servis kapı, altında gerçek temeller olan yol haritasıdır.

Gerçek olanı yayımlamayı ve olmayanı etiketlemeyi sürdüreceğiz. «Proof of AI» adının bir şey ifade etmesinin tek yolu budur.

---

Hanzo AI, Techstars '17'dir. Bu yazının ardındaki teknik denetim — her iddia bir dosyaya ve satıra eşlenmiş — içeride tutulur ve kurulum planını sürer.