BlockPQR untersucht vertrauliche KI Agentenverträge auf Midnight

BlockPQR hat ein Team eingerichtet, um Blockchain Infrastruktur für autonome KI Agenten zu untersuchen, wobei die vertraulichen Smart Contracts von Midnight zu den geprüften Technologien gehören.

Während der X Space Diskussion Decentralizing Cardano’s Core Development skizzierte Leonard Hegarty Forschungen zu dem, was er als Protokoll für eine agentische Ökonomie bezeichnete. Die Initiative untersucht, wie autonome Softwareagenten Dienste entdecken, Vereinbarungen aushandeln, Transaktionen verwalten und Aufgaben mithilfe von Blockchain Infrastruktur ausführen könnten.

Die Forschung erstreckt sich über Cardano Layer 1, Layer 2 Technologien und Midnight. Hegarty identifizierte zudem potenzielle Anwendungen für Hochsicherheits Engineering Tools in der Compact Smart Contract Umgebung von Midnight.

BlockPQR identifiziert fünf Bausteine für eine KI Agentenökonomie

BlockPQR ist eine der unabhängigen Engineering Organisationen, die die Verantwortung für die Kerninfrastruktur von Cardano übernehmen, die zuvor innerhalb von Input Output gepflegt wurde. Zu den Aufgaben gehören Ledger Entwicklung, formale Spezifikationen, API und Kommandozeilen Tools sowie Hochsicherheits Engineering.

Zusätzlich zu diesen Aufgaben bestätigte Hegarty, dass BlockPQR ein Team eingerichtet hat, das bestehende Protokolle und Infrastruktur für autonome KI Agenten untersucht.

Die Forschung konzentriert sich auf fünf miteinander verbundene Fähigkeiten:

• Entdeckung: Ermöglichen, dass Agenten andere Agenten, Dienste und verfügbare Ressourcen identifizieren.

• Verhandlung: Vereinbarungen und Transaktionsbedingungen zwischen autonomen Teilnehmern festlegen.

• Treuhand: Vermögenswerte gemäß vordefinierten Bedingungen verwalten, bevor sie freigegeben werden.

• Reputation: Teilnehmer anhand von Aufzeichnungen früherer Interaktionen oder verifizierbarer Informationen bewerten.

• Agentenausführung: Autorisierte Aufgaben und Transaktionen durchführen.

Zusammen stellen diese Funktionen Bereiche dar, die BlockPQR im Rahmen einer möglichen agentenbasierten ökonomischen Infrastruktur untersucht.

Hegarty zählte ausdrücklich die vertraulichen Verträge von Midnight zu den untersuchten Technologien, neben Cardanos Basisschicht und Layer 2 Lösungen.

Er kündigte jedoch kein abgeschlossenes Protokoll an, legte nicht fest, welche Funktionen auf Midnight laufen würden, und nannte keinen Zeitplan für die Umsetzung.

Warum die vertraulichen Smart Contracts von Midnight relevant sind

Midnight bietet eine programmierbare Datenschutzarchitektur, die es Anwendungen ermöglicht, öffentlich verifizierbare Informationen von sensiblen Daten zu trennen, die außerhalb des öffentlichen Ledgers gehalten werden.

Entwickler verwenden Compact, die Smart Contract Programmiersprache von Midnight, um Regeln zu definieren, die private Informationen einbeziehen können, während sie sich auf Zero Knowledge Nachweise stützen, um festgelegte Bedingungen zu verifizieren.

Dieser Ansatz schafft potenzielle Anwendungen für autonome Agenten, die mit vertraulichen geschäftlichen oder finanziellen Informationen arbeiten.

Ein agentenbasiertes System muss möglicherweise Berechtigungen, Transaktionslimits oder vertragliche Bedingungen verifizieren, ohne jeden zugrunde liegenden Parameter zu veröffentlichen. Die Architektur von Midnight bietet Mechanismen, um private Eingaben von den öffentlichen Informationen zu trennen, die zur Validierung eines Vorgangs benötigt werden.

Diese Unterscheidung ist wichtig für Interaktionen mit geschäftssensiblen Daten. Eine Blockchain Verifizierung erfordert nicht zwingend, dass jedes Detail einer Vereinbarung öffentlich zugänglich wird.

Dennoch stellen datenschutzwahrende Verträge nicht automatisch fest, dass ein KI Agent vertrauenswürdig ist oder dass eine Off Chain Aufgabe korrekt abgeschlossen wurde.

Zero Knowledge Nachweise verifizieren definierte rechnerische Aussagen. Zusätzliche Mechanismen wären erforderlich, um die Identität von Agenten festzustellen, Berechtigungen zu verwalten und Aktivitäten außerhalb der Blockchain zu verifizieren.

BlockPQR hat keine technische Architektur veröffentlicht, die erklärt, wie diese Komponenten mit Midnight verbunden würden.

[NEWSBREAK]

BlockPQR erwägt formale Verifikation für Compact

Ein zweites Entwicklungsfeld ergab sich aus Hegartys Diskussion über die Hochsicherheits Engineering Verantwortlichkeiten von BlockPQR.

Das Unternehmen ist an formalen Spezifikationen und Verifikationsmethoden beteiligt, die darauf ausgelegt sind, die Zuverlässigkeit kritischer Blockchain Software zu verbessern.

Hegarty verwies auf zukünftige Tools wie Blaster und erörterte die Möglichkeit, Verifikationsfähigkeiten über bestehende Cardano Umgebungen hinaus zu erweitern, potenziell einschließlich Compact auf Midnight.

Formale Verifikation verwendet mathematische Techniken, um festzustellen, ob Software explizit definierte Eigenschaften erfüllt. Für Smart Contracts können diese Methoden stärkere Zusicherungen zu ausgewählten Sicherheitsanforderungen liefern als konventionelles Testen allein.

Solche Fähigkeiten könnten für vertrauliche Verträge relevant werden, die finanzielle Berechtigungen, Transaktionsbedingungen oder andere sensible Abläufe verwalten.

Hegarty bestätigte jedoch nicht, dass Blaster derzeit Compact unterstützt oder dass BlockPQR eine formale Verifikation irgendwelcher auf Midnight basierender KI Agentenverträge abgeschlossen hat.

Die Ausführungen markieren eher eine mögliche zukünftige Richtung als ein verfügbares Entwicklungswerkzeug.

Was BlockPQR bestätigt hat

Die zentrale während der Diskussion bestätigte Entwicklung ist die Einrichtung eines internen Teams bei BlockPQR, das Infrastruktur für autonome KI Agenten erforscht.

Die Untersuchung umfasst Cardano Layer 1, Layer 2 Systeme und die vertraulichen Smart Contracts von Midnight. Die von Hegarty identifizierten fünf Bereiche liefern einen ersten Rahmen zum Verständnis der betrachteten technischen Fähigkeiten.

Unabhängig davon untersucht das Unternehmen, wie Hochsicherheits Engineering Tools künftig zusätzliche Smart Contract Umgebungen unterstützen könnten, darunter Compact.

Die Beziehung zwischen diesen beiden Initiativen ist nicht formell definiert. BlockPQR hat weder ein eigenes Midnight Agentenprotokoll noch ein öffentliches Repository, eine funktionierende Demonstration oder ein Veröffentlichungsdatum angekündigt.

Vorerst bleibt Midnight eine der Technologien in der Bewertung, während BlockPQR untersucht, wie autonome Agenten über Blockchain Infrastruktur interagieren könnten. Hegartys Offenlegung legt den Umfang dieser Forschung fest, ohne das Unternehmen auf eine konkrete Implementierung festzulegen.