Champaign, Ilinoisa, Amerikas Savienotās Valstis, 2024. gada 2. jūlijs, Chainwire

Pi Squared (pierādījuma pierādījums) paziņoja par sava pirmā kapitāla palielināšanas slēgšanu. Polychain Capital vadītajā sindikātā ietilpst ABCDE, Bloccelerate, Generative Ventures, Robot Ventures un Samsung Next. Eņģeļu investori ir Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju un Common Prefix.

Izmantojot nulles zināšanu (ZK) tehnoloģiju pareizi pēc uzbūves un principiāli unikālā veidā, Pi Squared nodrošinās neuzticamu attālo skaitļošanu, AI un sadarbspējīgus viedos līgumus jebkurai blokķēdei vai dApp. Tas būs iespējams, izveidojot universālu un atbruņojoši mazu ZK ķēdi, kas pārbauda matemātisko pierādījumu integritāti, kas nodrošinās pārbaudāmas skaitļošanas pareizības garantijas visām valodām un virtuālajām mašīnām (VM) tieši no to formālās semantikas, bez jebkādas tulkošana uz kopīgu valodu, VM vai instrukciju kopas arhitektūru (ISA).

"Mūsu misija ir revolucionizēt pārbaudāmo skaitļošanu, padarot to universālu visām valodām un virtuālajām mašīnām, pēc būtības pareizu un zibens ātru," saka Grigore Roşu, Pi Squared izpilddirektors un Ilinoisas Universitātes Urbana-Champaign CS profesors. . “Tam būs daudz lietojumprogrammu, tostarp universālais norēķinu slānis (USL), lai visas blokķēdes, L1 un L2 varētu būt universālas, pareizas, sadarbspējīgas un efektīvas. Ar to viss nebeidzas, mūsu ilgtermiņa misija ir sakārtot visu zinātni un zināšanas par USL. 

"Pi Squared pierādījuma tehnoloģijai būs pārveidojoša ietekme visā Web3 un ne tikai," sacīja Kartiks Raju, Polychain Capital GP. "Pi Squared universālā ZK shēma ievērojami palielinās Web3 sasniedzamību un pielietojamību ikvienam, sākot no celtniekiem līdz gala lietotājiem."

Pi Squared nodrošinās nākamās paaudzes pārbaudāmu skaitļošanu, kas ir universāla un mērogojama ar optimāli minimālu uzticības bāzi. Pirmais produkts, ko darbina Pi Squared, ir universālais norēķinu slānis (USL), modulāro blokķēžu arhitektūra, kas nodrošina šādas īpašības:

Universālisms

Aprēķinus var izteikt jebkurā augsta līmeņa vai virtuālās mašīnas valodā, neizmantojot kompilatorus vai tulkotājus.

Pierādāma pareizība

Ir matemātiski pierādīts, ka USL pārbaudītie aprēķini ir pareizi, un jebkura ārēja entītija var neatkarīgi pārbaudīt USL stāvokļa pareizību.

Uzticības bāzes minimālums

USL atklāj visus uzticamības pieņēmumus augšējā slāņa aprēķinos, lai palielinātu pārredzamību, galalietotāju informētību un samazinātu uzticības bāzi, izmantojot pareizības pierādījumus.

Lietotņu savietojamība

USL atbalstīs sadarbspēju starp dažādiem lietojumprogrammu moduļiem un tīkliem (piemēram, lietotņu ķēdēm). 

Determinisms un reproducējamība

Validācija ir reproducējama un neatkarīgi pārbaudāma jebkurai ārējai struktūrai.

Tāpēc Pi Squared USL nodrošina visaptverošas pareizības garantijas vispārējiem aprēķiniem, vienlaikus samazinot uzticības bāzi, kas ir šo aprēķinu pamatā. USL veicina pārbaudāmu skaitļošanu kā standarta izplatīto skaitļošanas paradigmu, nepieprasot vai neveicinot noteiktas domēnam specifiskas valodas (DSL), virtuālās mašīnas vai izpildes vides, vienlaikus nodrošinot efektīvu un mērogojamu darbību.

Pi Squared no 8. līdz 11. jūlijam prezentēs un izstādīs pasākumus ap EthCC Briselē. Dalībnieki var klausīties Pi Squared izpilddirektora Grigora Rošu uzstāšanās Restaking & Infra Day 8. jūlijā un L2con 9. jūlijā.

Par Pī kvadrātu

Pī kvadrāts nozīmē matemātisko pierādījumu ZK pierādījumus. Pi Squared izmanto ZK tehnoloģiju pareizi pēc konstrukcijas un principiāli unikālā veidā. Universāla un atbruņojoši maza ZK shēma nodrošina pārbaudāmas skaitļošanas pareizības garantijas gan visām valodām, gan virtuālajām mašīnām, bez jebkāda tulkojuma kopējā valodā, VM vai ISA. Pi Squared vada UIUC profesors Grigore Rosu, K ietvara un Runtime Verification dibinātājs, un tajā ir pētnieki un veiksmīgu projektu dibinātāji formālo metožu, blokķēdes un AI/ML jomā.

Lai rezervētu tikšanos ar Pi Squared izpilddirektoru un komandu, dalībnieki var sazināties ar adresi contact@pi2.network. 

Lai uzzinātu vairāk par Pi Squared redzējumu un pierādījumu pierādījumu, apmeklējiet pi2.network un sekojiet Pi Squared sociālajos medijos.

Sazināties

Mārketinga vadītājs Kriss Hazeltons Pi Squared Incmedia@pi2.network

Post The Pi Squared Raises $ 12,5 miljonus sākuma finansējuma, ko vada Polychain Capital, lai izveidotu universālu ZK ķēdi, ko darbina pierādījuma pierādījums appeared first on CaptainAltcoin.