BlockPQR raziskuje zaupne pogodbe agentov z umetno inteligenco na Midnight

BlockPQR je ustanovil ekipo za raziskovanje veriženjske infrastrukture za avtonomne agente z umetno inteligenco, pri čemer so med obravnavanimi tehnologijami tudi zaupne pametne pogodbe Midnight.

Med razpravo X Space Decentralizing Cardano’s Core Development je Leonard Hegarty predstavil raziskave protokola za gospodarstvo, ki temelji na agentih. Pobuda preučuje, kako bi lahko avtonomni programski agenti odkrivali storitve, se pogajali o dogovorih, upravljali transakcije in izvajali naloge z uporabo veriženjske infrastrukture.

Raziskave zajemajo Cardano Layer 1, tehnologije Layer 2 in Midnight. Hegarty je izpostavil tudi možne aplikacije orodij za inženirstvo z visokimi zagotovili v okolju Compact za pametne pogodbe na Midnight.

BlockPQR prepoznava pet gradnikov gospodarstva agentov z umetno inteligenco

BlockPQR je ena od neodvisnih inženirskih organizacij, ki prevzemajo odgovornost za jedrno infrastrukturo Cardano, ki je bila prej vzdrževana znotraj Input Output. Njegove odgovornosti vključujejo razvoj knjige glavne evidence, formalne specifikacije, orodja API in ukazne vrstice ter inženirstvo z visokimi zagotovili.

Poleg teh funkcij je Hegarty potrdil, da je BlockPQR ustanovil ekipo, ki proučuje obstoječe protokole in infrastrukturo za avtonomne agente z umetno inteligenco.

Raziskave so usmerjene v pet medsebojno povezanih zmožnosti:

• Odkrivanje: Omogočanje agentom, da prepoznajo druge agente, storitve in razpoložljive vire.

• Pogajanje: Vzpostavitev dogovorov in pogojev transakcij med avtonomnimi udeleženci.

• Skrbniška hramba: Upravljanje sredstev v skladu z vnaprej določenimi pogoji pred njihovim sproščanjem.

• Ugled: Vrednotenje udeležencev z uporabo zapisov prejšnjih interakcij ali preverljivih informacij.

• Izvajanje agenta: Izvajanje odobrenih nalog in transakcij.

Skupaj te funkcije predstavljajo področja, ki jih BlockPQR preučuje kot del možne gospodarske infrastrukture, ki temelji na agentih.

Hegarty je med tehnologije, ki jih preučujejo, izrecno vključil zaupne pogodbe Midnight, skupaj z osnovnim slojem Cardano in rešitvami Layer 2.

Vendar ni napovedal dokončanega protokola, ni navedel, katere funkcije bi delovale na Midnight, niti ni podal časovnice izvedbe.

Zakaj so zaupne pametne pogodbe Midnight pomembne

Midnight zagotavlja programabilno arhitekturo zasebnosti, ki omogoča aplikacijam ločevanje javno preverljivih informacij od občutljivih podatkov, ki se hranijo zunaj javne evidence.

Razvijalci uporabljajo Compact, programski jezik za pametne pogodbe na Midnight, za definiranje pravil, ki lahko vključujejo zasebne informacije, pri čemer se za preverjanje določenih pogojev zanašajo na dokaze z ničelnim razkritjem znanja.

Tak pristop ustvarja potencialne aplikacije za avtonomne agente, ki delujejo z zaupnimi poslovnimi ali finančnimi informacijami.

Sistem, ki temelji na agentih, bo morda moral preveriti dovoljenja, omejitve transakcij ali pogodbene pogoje, ne da bi objavil vsak temeljni parameter. Arhitektura Midnight zagotavlja mehanizme za ločevanje zasebnih vnosov od javnih informacij, potrebnih za potrditev operacije.

Ta razlika je pomembna za interakcije, ki vključujejo poslovno občutljive podatke. Za verifikacijo v verigi blokov ni nujno, da vsaka podrobnost dogovora postane javno dostopna.

Kljub temu pogodbe, ki ohranjajo zasebnost, same po sebi ne vzpostavijo, da je agent z umetno inteligenco zaupanja vreden ali da je bila naloga izven verige pravilno opravljena.

Dokazi z ničelnim razkritjem znanja preverjajo vnaprej definirane računske izjave. Za vzpostavitev identitete agenta, upravljanje dovoljenj in preverjanje dejavnosti zunaj verige blokov bi bili potrebni dodatni mehanizmi.

BlockPQR ni objavil tehnične arhitekture, ki bi pojasnila, kako bi se ti sestavni deli povezali z Midnight.

[NEWSBREAK]

BlockPQR razmišlja o formalni verifikaciji za Compact

Iz Hegartyjeve razprave o odgovornostih BlockPQR na področju inženirstva z visokimi zagotovili je izšlo drugo razvojno področje.

Podjetje sodeluje pri formalnih specifikacijah in verifikacijskih metodah, zasnovanih za izboljšanje zanesljivosti ključne programske opreme za verigo blokov.

Hegarty je omenil prihodnja orodja, kot je Blaster, in razpravljal o možnosti razširitve verifikacijskih zmožnosti onkraj obstoječih okolij Cardano, potencialno tudi na Compact na Midnight.

Formalna verifikacija uporablja matematične tehnike za ugotavljanje, ali programska oprema izpolnjuje izrecno določene lastnosti. Za pametne pogodbe lahko te metode zagotovijo močnejša jamstva glede izbranih varnostnih zahtev kot zgolj klasično testiranje.

Takšne zmožnosti bi lahko postale pomembne za zaupne pogodbe, ki upravljajo finančna dovoljenja, pogoje transakcij ali druge občutljive operacije.

Vendar Hegarty ni potrdil, da Blaster trenutno podpira Compact ali da je BlockPQR dokončal formalno verifikacijo kakršnih koli pogodb za agente z umetno inteligenco na Midnight.

Pripombe nakazujejo možno prihodnjo usmeritev in ne razpoložljivega razvojnega orodja.

Kaj je BlockPQR potrdil

Osrednji razvoj, potrjen med razpravo, je ustanovitev notranje ekipe BlockPQR, ki raziskuje infrastrukturo za avtonomne agente z umetno inteligenco.

Njen pregled vključuje Cardano Layer 1, sisteme Layer 2 in zaupne pametne pogodbe Midnight. Pet področij, ki jih je navedel Hegarty, predstavlja začetni okvir za razumevanje tehničnih zmožnosti, ki so predmet obravnave.

Ločeno podjetje raziskuje, kako bi orodja za inženirstvo z visokimi zagotovili lahko sčasoma podprla dodatna okolja za pametne pogodbe, vključno s Compact.

Razmerje med tema dvema pobudama ni formalno opredeljeno. BlockPQR ni napovedal namenskega protokola agentov za Midnight, javnega repozitorija, delujoče predstavitve ali datuma izdaje.

Za zdaj Midnight ostaja ena od tehnologij v ocenjevanju, medtem ko BlockPQR raziskuje, kako bi lahko avtonomni agenti sodelovali prek veriženjske infrastrukture. Hegartyjevo razkritje opredeljuje obseg teh raziskav, ne da bi podjetje zavezal k specifični izvedbi.