BlockPQR istražuje povjerljive ugovore AI agenata na Midnight

BlockPQR je uspostavio tim koji istražuje blockchain infrastrukturu za autonomne AI agente, pri čemu su među razmatranim tehnologijama i povjerljivi pametni ugovori Midnight.

Tijekom X Space rasprave Decentralizing Cardano’s Core Development, Leonard Hegarty je iznio istraživanje onoga što je opisao kao protokol ekonomije temeljene na agentima. Inicijativa proučava kako bi autonomni softverski agenti mogli otkrivati usluge, pregovarati o sporazumima, upravljati transakcijama i izvršavati zadatke koristeći blockchain infrastrukturu.

Istraživanje obuhvaća Cardano Layer 1, tehnologije Layer 2 i Midnight. Hegarty je također naveo potencijalne primjene alata za inženjerstvo visokog stupnja pouzdanosti u Compact okruženju pametnih ugovora na Midnight.

BlockPQR identificira pet gradivnih elemenata za ekonomiju AI agenata

BlockPQR je jedna od neovisnih inženjerskih organizacija koje preuzimaju odgovornost za temeljnu infrastrukturu Cardano, koju je prethodno održavao Input Output. Njegove odgovornosti uključuju razvoj glavne knjige, formalne specifikacije, API i alate za naredbeni redak te inženjerstvo visokog stupnja pouzdanosti.

Uz te funkcije, Hegarty je potvrdio da je BlockPQR osnovao tim koji proučava postojeće protokole i infrastrukturu za autonomne AI agente.

Istraživanje se usredotočuje na pet međusobno povezanih sposobnosti:

• Otkrivanje: Omogućavanje agentima da identificiraju druge agente, usluge i dostupne resurse.

• Pregovaranje: Utvrđivanje sporazuma i uvjeta transakcija između autonomnih sudionika.

• Skrbništvo: Upravljanje imovinom prema unaprijed definiranim uvjetima prije njezina oslobađanja.

• Reputacija: Vrednovanje sudionika uz korištenje zapisa prethodnih interakcija ili provjerljivih informacija.

• Izvršavanje agenta: Provedba odobrenih zadataka i transakcija.

Zajedno, ove funkcije predstavljaju područja koja BlockPQR istražuje kao dio moguće ekonomske infrastrukture temeljene na agentima.

Hegarty je posebno uvrstio povjerljive ugovore Midnight među tehnologije koje se razmatraju, uz bazni sloj Cardano i rješenja Layer 2.

Međutim, nije najavio dovršeni protokol, nije naveo koje bi funkcije radile na Midnight niti je dao vremenski plan za implementaciju.

Zašto su povjerljivi pametni ugovori Midnight relevantni

Midnight pruža programabilnu arhitekturu privatnosti koja aplikacijama omogućuje odvajanje javno provjerljivih informacija od osjetljivih podataka koji se čuvaju izvan javne glavne knjige.

Programeri koriste Compact, jezik za programiranje pametnih ugovora Midnight, kako bi definirali pravila koja mogu uključivati privatne informacije uz oslanjanje na dokaze nultog znanja za provjeru određenih uvjeta.

Ovaj pristup stvara potencijalne primjene za autonomne agente koji djeluju s povjerljivim komercijalnim ili financijskim informacijama.

Sustav temeljen na agentima može trebati provjeriti dopuštenja, limite transakcija ili ugovorne uvjete bez objave svakog temeljnog parametra. Arhitektura Midnight pruža mehanizme za odvajanje privatnih ulaznih podataka od javnih informacija potrebnih za potvrdu valjanosti operacije.

Ta je razlika važna za interakcije koje uključuju poslovno osjetljive podatke. Verifikacija na blockchainu ne zahtijeva nužno da svaki detalj sporazuma postane javno dostupan.

Ipak, ugovori koji čuvaju privatnost ne uspostavljaju automatski da je AI agent pouzdan ili da je izvanlančani zadatak ispravno dovršen.

Dokazi nultog znanja potvrđuju definirane računske tvrdnje. Bili bi potrebni dodatni mehanizmi za uspostavu identiteta agenta, upravljanje dopuštenjima i provjeru aktivnosti izvan blockchaina.

BlockPQR nije objavio tehničku arhitekturu koja objašnjava kako bi se ovi sastavni dijelovi povezali s Midnight.

[NEWSBREAK]

BlockPQR razmatra formalnu verifikaciju za Compact

Drugo razvojno područje proizašlo je iz Hegartyjeve rasprave o odgovornostima BlockPQR za inženjerstvo visokog stupnja pouzdanosti.

Tvrtka je uključena u formalne specifikacije i metode verifikacije osmišljene za poboljšanje pouzdanosti kritičnog blockchain softvera.

Hegarty je spomenuo buduće alate poput Blaster i raspravljao o mogućnosti proširenja verifikacijskih sposobnosti izvan postojećih Cardano okruženja, potencijalno uključujući Compact na Midnight.

Formalna verifikacija koristi matematičke tehnike kako bi utvrdila zadovoljava li softver izričito definirana svojstva. Za pametne ugovore te metode mogu pružiti jača jamstva o odabranim sigurnosnim zahtjevima nego samo konvencionalno testiranje.

Takve sposobnosti mogle bi postati relevantne za povjerljive ugovore koji upravljaju financijskim dopuštenjima, uvjetima transakcija ili drugim osjetljivim operacijama.

Međutim, Hegarty nije potvrdio da Blaster trenutačno podržava Compact niti da je BlockPQR dovršio formalnu verifikaciju bilo kojih ugovora AI agenata temeljenih na Midnight.

Ove napomene označavaju mogući budući smjer, a ne dostupan razvojni alat.

Što je BlockPQR potvrdio

Središnji razvoj potvrđen tijekom rasprave jest osnivanje internog tima BlockPQR koji istražuje infrastrukturu za autonomne AI agente.

Njihovo istraživanje uključuje Cardano Layer 1, sustave Layer 2 i povjerljive pametne ugovore Midnight. Pet područja koja je identificirao Hegarty pružaju početni okvir za razumijevanje tehničkih sposobnosti koje se razmatraju.

Odvojeno od toga, tvrtka istražuje kako bi alati za inženjerstvo visokog stupnja pouzdanosti mogli s vremenom podržati dodatna okruženja pametnih ugovora, uključujući Compact.

Odnos između te dvije inicijative nije formalno definiran. BlockPQR nije najavio namjenski protokol agenata za Midnight, javno spremište, radnu demonstraciju niti datum objave.

Za sada, Midnight ostaje jedna od tehnologija koje se procjenjuju dok BlockPQR istražuje kako bi autonomni agenti mogli međudjelovati putem blockchain infrastrukture. Hegartyjeva objava utvrđuje opseg tog istraživanja bez obvezivanja tvrtke na određenu implementaciju.