Boundless funktioniert als dezentraler Marktplatz und Infrastruktur zur Erstellung, Aggregation und Überprüfung von Nachweisen mit Nulloffenlegung auf jeder Blockchain und abstrahiert die komplexe ZK-Entwicklung mithilfe von Entwicklerwerkzeugen.
Die Plattform verarbeitet Bestätigungsanfragen über einen Prozess, in dem Entwickler Berechnungsanfragen an den Boundless-Markt senden. Nachweisführende (Knotenbetreiber) bieten auf Arbeiten auf dem offenen Markt ohne Genehmigungen, wobei sie umgekehrte niederländische Auktionen nutzen, um die wirtschaftliche Effizienz zu steigern. Die zugewiesenen Knoten führen Berechnungen in zkVM durch und generieren Nachweise mit Nulloffenlegung und Ausgangsdaten.
In Boundless $ZKC wird ein verallgemeinertes Modell zkVM verwendet, das zk-STARK-Schutzsysteme mit rekursiver Aggregation unterstützt, um die Kosten für On-Chain-Verifizierung zu minimieren. Das Beweissystem funktioniert über einen genehmigungsfreien dezentralen Mechanismus für Proof of Verifiable Work, mit dem Off-Chain-Berechnungen durchgeführt werden können, die zk-Beweise zur Überprüfung in jeder Blockchain zurückgeben.
Mit Steel kann ein direkter Statusanfrage an die EVM innerhalb der zkVM erfolgen, was es ermöglicht, Solidity-Methoden innerhalb von Beweisen aufzurufen und die Möglichkeit für direkte Off-Chain-Berechnungen für Ethereum-Programme mit minimalen Gas-Kosten und fast sofortiger Finalisierung zu bieten.
Die Plattform bietet das Boundless Rust SDK für hochrangige APIs, boundless-cli für Befehlszeilenoperationen, Vorlagen und Tutorials zur Anpassung von Foundry sowie Smart-Contract-Bibliotheken für die native Verifizierung in verschiedenen Blockchains.
