BlockPQR esplora contratti riservati per agenti di IA su Midnight

BlockPQR ha costituito un team per investigare l'infrastruttura blockchain per agenti di IA autonomi, con gli smart contract riservati di Midnight tra le tecnologie oggetto di valutazione.

Durante la discussione su X Space Decentralizing Cardano’s Core Development, Leonard Hegarty ha delineato la ricerca su quello che ha descritto come un protocollo per un'economia agentica. L'iniziativa esamina come agenti software autonomi potrebbero scoprire servizi, negoziare accordi, gestire transazioni ed eseguire attività utilizzando l'infrastruttura blockchain.

La ricerca si estende a Cardano Layer 1, alle tecnologie Layer 2 e a Midnight. Hegarty ha inoltre individuato potenziali applicazioni per strumenti di ingegneria ad alta affidabilità nell'ambiente di smart contract Compact di Midnight.

BlockPQR individua cinque elementi costitutivi per un'economia di agenti di IA

BlockPQR è una delle organizzazioni ingegneristiche indipendenti che stanno assumendo la responsabilità dell'infrastruttura core di Cardano in precedenza mantenuta all'interno di Input Output. Le sue responsabilità includono lo sviluppo del ledger, le specifiche formali, strumenti API e da riga di comando e l'ingegneria ad alta affidabilità.

Accanto a tali funzioni, Hegarty ha confermato che BlockPQR ha costituito un team che esamina protocolli e infrastrutture esistenti per agenti di IA autonomi.

La ricerca si concentra su cinque capacità interconnesse:

• Scoperta: Abilitare gli agenti a identificare altri agenti, servizi e risorse disponibili.

• Negoziazione: Stabilire accordi e condizioni di transazione tra partecipanti autonomi.

• Escrow: Gestire gli asset secondo condizioni predefinite prima del loro rilascio.

• Reputazione: Valutare i partecipanti utilizzando registri di interazioni precedenti o informazioni verificabili.

• Esecuzione degli agenti: Eseguire attività e transazioni autorizzate.

Insieme, queste funzioni rappresentano aree che BlockPQR sta indagando come parte di una possibile infrastruttura economica basata su agenti.

Hegarty ha incluso specificamente i contratti riservati di Midnight tra le tecnologie esaminate, insieme al livello base di Cardano e alle soluzioni Layer 2.

Tuttavia, non ha annunciato un protocollo completato, né identificato quali funzioni opererebbero su Midnight, né fornito una tempistica per l'implementazione.

Perché gli smart contract riservati di Midnight sono rilevanti

Midnight offre un'architettura di privacy programmabile che consente alle applicazioni di separare le informazioni pubblicamente verificabili dai dati sensibili mantenuti al di fuori del registro pubblico.

Gli sviluppatori utilizzano Compact, il linguaggio di programmazione per smart contract di Midnight, per definire regole che possono incorporare informazioni private facendo affidamento su prove a conoscenza zero per verificare condizioni specificate.

Questo approccio crea potenziali applicazioni per agenti autonomi che operano con informazioni commerciali o finanziarie riservate.

Un sistema basato su agenti potrebbe dover verificare permessi, limiti di transazione o condizioni contrattuali senza pubblicare ogni parametro sottostante. L'architettura di Midnight fornisce meccanismi per separare input privati dalle informazioni pubbliche necessarie a validare un'operazione.

Questa distinzione è importante per interazioni che coinvolgono dati sensibili per il business. La verifica su blockchain non richiede necessariamente che ogni dettaglio di un accordo diventi accessibile pubblicamente.

Tuttavia, contratti che preservano la privacy non stabiliscono automaticamente che un agente di IA sia affidabile o che un'attività off chain sia stata completata correttamente.

Le prove a conoscenza zero verificano enunciati computazionali definiti. Sarebbero necessari meccanismi aggiuntivi per stabilire l'identità degli agenti, gestire i permessi e verificare attività al di fuori della blockchain.

BlockPQR non ha pubblicato un'architettura tecnica che spieghi come questi componenti si collegherebbero a Midnight.

[NEWSBREAK]

BlockPQR considera la verifica formale per Compact

Una seconda area di sviluppo è emersa dalla discussione di Hegarty sulle responsabilità di ingegneria ad alta affidabilità di BlockPQR.

L'azienda è coinvolta in specifiche formali e metodi di verifica progettati per migliorare l'affidabilità del software blockchain critico.

Hegarty ha citato strumenti futuri come Blaster e ha discusso la possibilità di estendere le capacità di verifica oltre gli ambienti Cardano esistenti, includendo potenzialmente Compact su Midnight.

La verifica formale utilizza tecniche matematiche per stabilire se il software soddisfa proprietà definite in modo esplicito. Per gli smart contract, questi metodi possono fornire garanzie più forti su determinati requisiti di sicurezza rispetto al solo testing convenzionale.

Tali capacità potrebbero diventare rilevanti per contratti riservati che gestiscono permessi finanziari, condizioni di transazione o altre operazioni sensibili.

Tuttavia, Hegarty non ha confermato che Blaster supporti attualmente Compact o che BlockPQR abbia completato la verifica formale di contratti per agenti di IA basati su Midnight.

Le osservazioni individuano una possibile direzione futura più che uno strumento di sviluppo già disponibile.

Ciò che BlockPQR ha confermato

Lo sviluppo centrale confermato durante la discussione è la costituzione da parte di BlockPQR di un team interno che ricerca infrastrutture per agenti di IA autonomi.

La sua indagine include Cardano Layer 1, i sistemi Layer 2 e gli smart contract riservati di Midnight. Le cinque aree individuate da Hegarty forniscono un quadro iniziale per comprendere le capacità tecniche in esame.

Separatamente, l'azienda sta esplorando come strumenti di ingegneria ad alta affidabilità potrebbero in futuro supportare ulteriori ambienti per smart contract, incluso Compact.

La relazione tra queste due iniziative non è stata definita formalmente. BlockPQR non ha annunciato un protocollo dedicato per agenti su Midnight, un repository pubblico, una dimostrazione funzionante o una data di rilascio.

Per ora, Midnight rimane una delle tecnologie in valutazione mentre BlockPQR indaga su come agenti autonomi potrebbero interagire tramite l'infrastruttura blockchain. La rivelazione di Hegarty definisce l'ambito di tale ricerca senza impegnare l'azienda a un'implementazione specifica.