Pitsburga, Amerikas Savienotās Valstis, 2024. gada 6. decembris, Chainwire
Anaxi Labs sadarbībā ar Kārnegija Melona universitātes CyLab, universitātes kiberdrošības un privātuma institūtu, izsludina kriptogrāfijas kompilatora sistēmu, kas atrisina strupceļu — mērogojamu lietojumprogrammu izveidei ar nulles zināšanām ir nepieciešami būtiski kompromisi. Mērogojamu, kriptogrāfiski aizsargātu un decentralizētu lietojumprogrammu nenotveramie elementi līdz šim tika uzskatīti par neiespējamiem un par šķērsli masveida ieviešanai.
Izrāviens kriptogrāfijā bez kompromisiem
Blokķēdes, piemēram, Ethereum, ir pasludinātas par decentralizētas infrastruktūras nākotni, ar Zero-Knowledge (ZK) tehnoloģiju, lai uzlabotu Ethereum drošību un mērogojamību, pārsniedzot 120 TPS. Pēc komandas domām, ZK pierādījumu izstrāde ir sarežģīta un laikietilpīga, un desmitiem izstrādātāju prasa tūkstošiem stundu. Ātruma prioritātes noteikšana pierādījumu ģenerēšanā nozīmē arī manuālu protokolu izstrādi, un ar manuālu kodēšanu un desmitiem tūkstošu koda rindu tas rada ievērojamas drošības ievainojamības. Tas sarežģī drošības jutīgu decentralizētu lietojumprogrammu izveidi un padara pārbaudāmību un atbilstību par murgu — visi šķēršļi plašai ieviešanai regulētajās nozarēs, piemēram, finansēs, veselības aprūpē un AI.
Kārnegija Melona pētnieku komanda sadarbojas ar Anaxi Labs, lai pārvarētu šo kompromisu
CMU nesenais dokuments piedāvā revolucionāru veidu, kā tieši kompilējiet augsta līmeņa programmatūru un pārveidojiet to vienkāršākās formās (zema līmeņa attēlojumos), kas nepieciešamas, lai darbotos pamatā esošās pārbaudes sistēmas. Un tas viss tiek darīts automātiski, atkārtojami un auditējami, atbrīvojoties no manuālā darba, krasi uzlabojot veiktspēju, vienlaikus kriptogrāfiski nodrošinot procesa drošību. Darbā tas tiek panākts, analizējot augsta līmeņa programmu, sadalot programmu mazās, nedalāmās vienībās, pēc tam no katras vienības izveidojot zema līmeņa reprezentāciju, ko var viegli ievadīt pierādīšanas sistēmu variantos.
“Šī ideja par aprēķinu sadalīšanu ļoti specifiskos gabalos, kas automātiski aizstāj CPU, ir jauna pieeja, un šī ir pirmā reize, kad kāds ir mēģinājis izmantot šāda veida pieeju, kurā mēs izvairāmies no pilnas programmas attēlojuma kompilators,” sacīja Kārnegija Melona universitātes Elektrotehnikas un datortehnikas katedras docents Riads Vabijs. “Mēs esam ļoti satraukti par to.”
Jaunu decentralizētu lietojumprogrammu atbloķēšana
Pētījumi un ietvars, ko Anaxi Labs veido no pētījuma, ir paredzēti, lai mainītu Web3 un ne tikai nozares. Tradicionālajā un regulētajā finansēšanā veiktspējas palielināšana, vienlaikus saglabājot pārbaudāmību, nodrošina reāllaika norēķinus par iekšbankas pārvedumiem, piemēram, tūlītējiem USD maksājumiem. Veselības aprūpē, ņemot vērā problēmas, ar kurām saskaras 23andMe, droši un privātumu saglabājoši šifrēšanas rīki, ko nodrošina Anaxi Labs izstrādātais produkts, tagad varētu risināt kritiskas problēmas un droši izmantot privāto ģenētisko informāciju, nodrošinot likumīgas īpašumtiesības uz DNS, vienlaikus nodrošinot vērtīgu izpēti. Uzņēmuma mākslīgā intelekta un kritisko fizisko infrastruktūru jomā par realitāti kļūst decentralizēts risinājums, kam nepieciešama augsta pieejamība un gandrīz nulles latentums, piemēram, ātra precizēšana un secinājumi vairākos datu un skaitļošanas jaudas resursos.
Tuvākajā laikā produkti, kuru pamatā ir pētījumi, nodrošina visefektīvāko risinājumu Web3 uzņēmumiem, kas cīnās ar mērogojamības, drošības un decentralizācijas kompromisiem, piedāvājot jaunu dizaina paradigmu apkopojumiem un sadarbspējai.
“Šis pētījums un produkts, ko mēs veidojam, ietverot pētījumu, būtiski ietekmēs daudzas svarīgas mūsdienu nozares lietojumprogrammas, kurām ir nepieciešams drošs risinājums to lielajām veiktspējas pieskaitāmajām izmaksām, piemēram, ZK un EVM, kas beidzot novedīs mūs pie mūsu kriptogrāfijas redzējuma sliekšņa. – nodrošināta decentralizēta vienprātība ar norēķiniem reāllaikā,” sacīja Keita Šena, Anaxi Labs līdzdibinātāja.
“Mums patīk arī fakts, ka tas ir valodu un bibliotēku agnostiķis, kas nozīmē, ka daudzi projekti var gūt labumu no tā bez koda modifikācijas. Tas ļāva mums izveidot atvērtu, sadarbības sistēmu pretstatā mūsdienās arvien statiskākajām, monolītākajām pieejām,” piebilst Šens. “Tas ļauj visiem izstrādātājiem automātiski izvēlēties un apvienot labākos no jaunākajiem sasniegumiem pārbaudes sistēmās, piemēram, uzmeklēšanā, līdzprocesoros un aparatūras paātrināšanā; maksimāli palielinot katra skaitļošanas substrāta veiktspējas pieaugumu.
Anaxi Labs un CyLab, partnerība, kas maina spēli
Kārnegija Melona CyLab ir bijis visprogresīvāko pētījumu centrā, kas kalpoja par pamatu blokķēdes izstrādei, tostarp nulles zināšanām. Ievērojami CyLab mācībspēku pētnieki ir cienījamais profesors Braiens Parno, kurš ir nozīmīgs ZK vēstures līdzstrādnieks, kura laboratorija izstrādāja plaši citēto Nova papīra sēriju, un docents Riads Vahbijs, kura atklājumu rezultātā tika radītas jaunas kriptogrāfijas tehnoloģijas, kas realizēja Ethereum fonda vīzijas ( un pavisam nesen Andreesena Horowitz kriptovalūtu nodaļas a16z īstenotā Jolt zkVM ieviešana. kriptovalūta).
Šajā kompilatora sistēmā izklāstītie atklājumi ir otrā pētniecības projekta rezultāts, kas radies no simbiotiskās partnerības starp Anaxi Labs un CyLab, izmantojot CMU Secure Blockchain iniciatīvu. Šī partnerība ļauj CMU mācībspēkiem sadarboties un mācīties no ieskatiem, kas gūti no viņu blokķēdes izpētes komerciālās izvietošanas, ko vada Anaxi Labs, gan Web3, gan Web 2.0 lietojumprogrammām. Tas ļauj viņiem atrast komerciālus risinājumus galvenajām esošajām problēmām ar blokķēdi, kas nespēj pārvarēt plaisu starp zināmajām blokķēdes tehnoloģijas priekšrocībām un masveida ieviešanu. Un tas arī kalpo kā tramplīns CMU studentiem, lai uzsāktu karjeru Web3.
“Anaxi Labs partnerība ar CyLab uzlabo CMU pētnieku spēju strādāt pie projektiem ar tiešām, reālām lietojumprogrammām, nodrošinot, ka viņu darbam ir praktiska nozīme un ietekmes potenciāls,” sacīja Maikls Lisanti, CyLab vecākais partnerību direktors.
Lai uzzinātu vairāk par Anaxi Labs: https://www.anaxilabs.com/
Lai uzzinātu vairāk par Anaxi Labs un CyLab jaunāko darbu: https://www.cylab.cmu.edu/
Lai uzzinātu vairāk par CyLab sadarbību ar Anaxi Labs: https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html
Par Anaxi Labs
Anaxi Labs ir jauna veida pētniecības un izstrādes laboratorija, kas savieno progresīvas akadēmiskās teorijas un masveida adopcijas pasauli. Tie ir paredzēti, lai ražotu oriģinālus, progresīvus pētījumus, izveidotu uzņēmuma līmeņa, drošu un mērogojamu decentralizētu infrastruktūru un katalizētu nākamās paaudzes decentralizētas lietojumprogrammas, kuras darbina kriptogrāfija.
Anaxi Labs sadarbojas ar pasaules vadošajiem prātiem kriptogrāfijas izpētē un pasaules līmeņa inženieriem, kuriem ir pieredze mājsaimniecības produktu izveidē un ekspluatācijā ar simtiem miljonu lietotāju. Viņi ir nozares partneri tādām vadošajām akadēmiskajām iestādēm kriptogrāfijā kā Kārnegija Melona universitāte. Kopā viņi ir apņēmušies pārveidot interneta nākotni, atklājot spēku, ko zinātne var darīt cilvēku, sabiedrības un planētas labā.
Vietne: https://www.anaxilabs.com/
Par CyLab
Kārnegija Melona universitātes CyLab ir universitātes drošības un privātuma pētniecības institūts. Tie apvieno ekspertus no visām universitātes skolām, kas aptver inženierzinātņu, datorzinātņu, sabiedriskās politikas, informācijas sistēmu, uzņēmējdarbības, finanšu informācijas riska pārvaldības, humanitāro un sociālo zinātņu jomas. Mūsu misija ir katalizēt, atbalstīt, veicināt un stiprināt sadarbību drošības un privātuma izpētē un izglītošanā starp departamentiem, disciplīnām un ģeogrāfiskām robežām, lai panāktu būtisku ietekmi uz pētniecību, izglītību, sabiedrisko politiku un praksi.
Vietne: https://www.cylab.cmu.edu/
Sazināties
PR
Deizija Leunga
[email protected]
