Turinys:
ToggleTrumpai tariant
- ASI Alliance ir Matterhorn teigė, kad kuria įrankius, kad sumažintų AI sukurto blokų grandinės kodo riziką.
- Platforma apjungia automatizuotą analizę, žmogaus peržiūrą ir testavimo įrankius, kad patikrintų išmaniąsias sutartis prieš įdiegiant.
- Partnerystė veikia ASI:Chain ir siekia 2026 m. įtraukti 20 000 kūrėjų.
Dirbtinis intelektas pradeda rašyti kodą, kuris perkelia pinigus blokų grandinėse. Dirbtinio superintelekto aljansas ir kūrėjų platforma Matterhorn teigia norintys įsitikinti, kad kodas yra saugus.
„Materhorn“ ir „ASI Alliance“ penktadienį paskelbė apie naują iniciatyvą, kurios centre – „vibe kodavimas“ – „Matterhorn“ platformos funkcija, leidžianti kūrėjams apibūdinti programą paprasta kalba, o dirbtinis intelektas akimirksniu sugeneruoja visą išmaniosios sutarties kodą. Nors ši technika pagreitina kūrimą ir sumažina kliūtis kuriant programas, ji taip pat kelia pavojų, kad dirbtinis intelektas generuos klaidingą arba nesaugų kodą, kurį gali išnaudoti užpuolikai.
„Mes esame pasaulio, kuriame „dApps“ tampa „tik programėlėmis“, pradžioje, kaip ir šiandien naudojamos svetainės ir programėlės“, – sakoma bendrovės pranešime. „Kiekvienas kitas įrankis šioje erdvėje stengiasi greičiau išsiųsti kodą. Manome, kad tai neteisingos lenktynės. Gamintojams, kuriantiems dApps, kurios valdo tikrus pinigus ir tikrus vartotojus, reikia platformos, kuria jie galėtų pasitikėti, ir ši partnerystė yra tai, kaip mes ją sukuriame.”
Siekdamas sušvelninti šią grėsmę, „Matterhorn“ įkūrėjas Abhinavas Rameshas teigė, kad bendrovė dirba su išorės saugumo auditoriais ir automatizuotais įrankiais, kad padėtų kūrėjams peržiūrėti AI sukurtas išmaniąsias sutartis prieš įdiegiant.
„Mes bendradarbiaujame su saugumo audito įmonėmis, kurios gali pasiūlyti audito paslaugas per Materhorną statybininkams Materhorne“, – sakė Rameshas. Iššifruoti. „Mes taip pat turime dirbtinio intelekto agentų, kurie atlieka agentų auditą, bet mes visiškai nerekomenduojame to daryti tik pagrindinėms programoms.
„Matterhorn“ kūrimo platforma sukurta taip, kad būtų galima integruoti su ASI:Chain, blokų grandinės tinklu, kurį sukūrė Dirbtinis superintelliginis aljansas, decentralizuotas AI kolektyvas, apimantis Fetch.ai, SingularityNET ir CUDOS, suteikiant kūrėjams vieną aplinką decentralizuotoms programoms kurti, audituoti ir diegti.
„Mes leidžiame vartotojams lengvai prijungti MCP, kurti / naudoti įgūdžius, kurti dApps ir įdiegti iš vienos platformos“, – sakė Rameshas. „Dirbame su ASI komanda kurdami „palaimintus šablonus“, kad būtų lengviau sudaryti saugesnes sutartis, skirtas specialiai oficialiomis patvirtinimo kalbomis.
Bendrovė teigė, kad kūrėjai gali susisiekti su trečiųjų šalių auditoriais per platformą prieš sudarydami sutartis dėl tiesioginės blokų grandinės. Tačiau nors „Matterhorn“ teigė, kad jos platforma pagreitina plėtrą, ji negarantuoja saugumo.
„Esame stiprūs kūrėjai, kurie nori kurti žiniatinklyje“, – sakė Rameshas. „Materhorno komanda nesuteikia jokių garantijų dėl saugumo ar saugumo.
Rameshas sakė, kad „Materhorn“ ir „ASI Alliance“ kuria „palaimintus šablonus“, kad padėtų kūrėjams kurti saugesnes išmaniąsias sutartis, kartu integruojant ASI:Cloud, kad suteiktų kompiuterinės galios dirbtinio intelekto sistemoms, kurios generuoja ir analizuoja MeTTa, ASI:Chain programavimo kalbos, kodą.
Partnerystė atsiranda, kai dirbtinio intelekto agentai vis dažniau pereina į kriptovaliutų pramonę, kur kūrėjai eksperimentuoja su sistemomis, galinčiomis valdyti pinigines, vykdyti sandorius ir atlikti finansines užduotis grandinėje, todėl atsiranda naujų įrankių ir tyrimų, kuriais siekiama kontroliuoti riziką, kai šios autonominės sistemos valdo kriptovaliutą.
Khellar Crawford, vyriausiasis SingularityNET inovacijų pareigūnas, teigė, kad didžioji dalis blokų grandinės pramonės remiasi „patch-and-pray“ metodu – išmaniųjų sutarčių rašymas kalbomis, kurios prastai pritaikytos sudėtingam lygiagrečiai, ir pasitikėjimas auditoriais, kad pastebėtų trūkumus, o F1R3FLY ir ASI:Chain naudoja architektūrą, pagrįstą „konstrukciniu metodu“.
„Mes nespėjame, ar programa yra saugi, matematiškai įrodome tai naudodami erdvinius elgsenos tipus“, – sakė Crawfordas. Iššifruoti. „Prieš tai, kai viena kodo eilutė paliečia tiesioginį tinklą, pati matematika garantuoja, kad nebus aklavietės, nebus išnaudojimų dėl lenktynių ir nebus nutekėjusių lėšų.
Dienos apžvalga Naujienlaiškis
Pradėkite kiekvieną dieną nuo populiariausių naujienų dabar ir originalių funkcijų, tinklalaidės, vaizdo įrašų ir kt.