Ang Math Olympian sa Shadow of John Nash ay Sinusubukang Lutasin ang Blockchain, AI Trust Dilemma

Sa matematika, si Jasper Zhang ay itinuturing na isang uri ng Zeus. Sinabi niya na nanalo siya ng mga gintong medalya sa math olympiads sa China at Russia, at inabot lamang siya ng dalawang taon upang makakuha ng Ph.D. mula sa Unibersidad ng California, Berkeley.

Ngayon ay sinusubukan niya ang kanyang kamay sa paglutas ng isang pangunahing problema sa intersection ng dalawa sa pinakamabilis na lumalago ngunit pinaka-kumplikadong mga lugar – blockchain at AI.

Jasper Zhang ay isang tagapagsalita sa CoinDesk's Consensus Festival, Mayo 29-31, sa Austin, Texas.

Ang Hyperbolic, ang dalawang taong gulang na startup na pinamumunuan ni Zhang na nakatuon sa desentralisadong AI computing, ay nagsabi noong Huwebes na nagpapakilala ito ng protocol na tinatawag na "Proof of Sampling (PoSP)," na naglalayong tugunan ang mga hamon nang may pagtitiwala sa mga desentralisadong AI network.

Ang Hyperbolic ay co-founded noong 2022 nina Zhang at Yuchen Jin, na may hawak na Ph.D. sa computer science mula sa University of Washington.

Ang konsepto para sa bagong protocol ay nilikha kasabay ng mga mananaliksik mula sa Berkeley at Columbia University, ayon sa koponan. Pinagsasama nito ang matematika, agham ng computer at ekonomiya, na nagde-deploy ng "mga advanced na pamamaraan ng sampling at teorya ng laro upang magbigay ng insentibo sa integridad at mabawasan ang mga hinihingi sa computational sa mga desentralisadong network," ibinahagi ni Hyperbolic sa isang press release kasama ang CoinDesk.

Sinabi ni Zhang, 28, sa isang panayam sa CoinDesk na nakikita niya ang PoSP bilang susunod na pag-ulit ng pag-verify para sa mga desentralisadong network.

"Inisip ng mga tao sa simula na may ONE paraan lamang upang magsagawa ng pag-verify, na may konsensus," sabi ni Zhang. "Mamaya matuklasan ng mga tao optimistic proving at pagkatapos ay ZK proofs.”

Ngayon ay mayroong PoSP, aniya, at hindi lamang ito mailalapat sa AI, kundi pati na rin sa mga rollup, isang uri ng layer-2 blockchain, pati na rin ang tinatawag na actively validated services (AVSs), na mga protocol na sinigurado ng muling pagtatanghal ng mga protocol tulad ng EigenLayer.

A research paper sa Proof of Sampling Protocol ni Zhang at ilang mga co-authors ay isinumite noong Mayo 1 sa arXiv, isang open-access na repository na hino-host ng Cornell University para sa mga siyentipikong papel na hindi pa nasusuri ng peer.

Ayon sa papel, ang disenyo ay umaasa sa isang "purong diskarte Nash Equilibrium." Iyon ay tumutukoy sa isang konsepto ng teorya ng laro na iniuugnay sa mathematician na si John Nash na edukado sa Princeton University, na naging paksa ng 2001 Oscar-winning na pelikula. Isang Magandang Isip, sa direksyon ni Ron Howard at pinagbibidahan ni Russell Crowe.

Narito ang isang figure mula sa papel na naglalarawan ng arkitektura:

Bilang bahagi ng paglabas, ipinakilala ng Hyperbolic ang "spML," isang pagpapatupad ng PoSP na partikular na binuo para sa pag-verify ng AI.

"SpML ay gumagamit ng mga pangunahing prinsipyo ng PoSP upang lumikha ng isang mekanismo ng pag-verify na hindi lamang mas mabilis at mas secure ngunit magagawa rin sa ekonomiya," sabi ni Zhang sa press release.

Ngayon kailangan lang nilang patunayan na gumagana ito sa pagsasanay.

Read More: Ang mga Enabler ng Desentralisadong AI