John Nash'in Gölgesindeki Matematik Olimpiyatçısı Blockchain ve Yapay Zeka Güven İkilemini Çözmeye Çalışıyor

Matematikte Jasper Zhang bir nevi Zeus'a benziyor. Çin ve Rusya'daki matematik olimpiyatlarında altın madalya kazandığını ve doktora derecesini almasının sadece iki yıl sürdüğünü söylüyor. Berkeley'deki Kaliforniya Üniversitesi'nden.

Şimdi en hızlı büyüyen ancak en karmaşık alanlardan ikisinin, blockchain ve yapay zekanın kesişimindeki önemli bir sorunu çözmek için elinden geleni yapıyor.

Zhang'ın liderliğini yaptığı, merkezi olmayan yapay zeka hesaplamasına odaklanan iki yıllık girişim Hyperbolik, perşembe günü yaptığı açıklamada, merkezi olmayan yapay zeka ağlarına duyulan güvenle zorlukların üstesinden gelmeyi amaçlayan "Örnekleme Kanıtı (PoSP)" adlı bir protokol sunduğunu söyledi.

Hyperbolik, 2022 yılında doktora derecesine sahip Zhang ve Yuchen Jin tarafından ortaklaşa kuruldu. Washington Üniversitesi'nden bilgisayar bilimi alanında.

Ekibe göre yeni protokolün konsepti Berkeley ve Columbia Üniversitesi'nden araştırmacılarla birlikte oluşturuldu. Hyperbolik, CoinDesk ile yaptığı bir basın bülteninde, matematik, bilgisayar bilimi ve ekonomiyi birleştirerek "bütünlüğü teşvik etmek ve merkezi olmayan ağlar üzerindeki hesaplama taleplerini en aza indirmek için gelişmiş örnekleme yöntemleri ve oyun teorisini" kullanıyor.

28 yaşındaki Zhang, CoinDesk ile yaptığı röportajda PoSP'yi merkezi olmayan ağlar için doğrulamanın bir sonraki adımı olarak gördüğünü söyledi.

Zhang, "Başlangıçta insanlar doğrulama yapmanın tek bir yolu olduğunu düşündüler, o da fikir birliğine varmaktı" dedi. "Daha sonra insanlar şunu keşfetti: nbsp; iyimser kanıtlama ve ardından ZK kanıtları .

Artık PoSP var, dedi ve bu sadece yapay zekaya değil, aynı zamanda bir tür katman-2 blok zinciri olan toplamalara ve ayrıca aşağıdakiler tarafından güvence altına alınan protokoller olan aktif olarak doğrulanmış hizmetlere (AVS'ler) de uygulanabilir: nbsp; yeniden alım protokolleri  EigenLayer gibi.

A  Zhang ve birkaç ortak yazarın Örnekleme Protokolü Kanıtı hakkındaki araştırma makalesi , 1 Mayıs'ta Cornell Üniversitesi tarafından barındırılan ve henüz hakem denetiminden geçmemiş bilimsel makaleler için açık erişimli bir depo olan arXiv'e sunuldu.

Makaleye göre tasarım "saf strateji Nash dengesine" dayanıyor. Bu, 2001 Oscar ödüllü filmin konusu olan Princeton Üniversitesi'nde eğitim görmüş matematikçi John Nash'e atfedilen bir oyun teorisi kavramına gönderme yapıyor   Ron Howard'ın yönettiği ve Russell Crowe'un başrol oynadığı A Beautiful Mind .

İşte mimariyi gösteren makaleden bir şekil:

Sürümün bir parçası olarak Hyperbolik, özellikle yapay zeka doğrulaması için oluşturulmuş bir PoSP uygulaması olan "spML"yi tanıtıyor.

Zhang, basın bülteninde "SpML, yalnızca daha hızlı ve daha güvenli değil, aynı zamanda ekonomik olarak da uygulanabilir bir doğrulama mekanizması oluşturmak için PoSP'nin temel ilkelerinden yararlanıyor" dedi.

Şimdi sadece bunun pratikte işe yaradığını kanıtlamaları gerekiyor.