Boundless fonctionne comme une place de marché décentralisée et une infrastructure pour créer, agréger et vérifier des preuves à zéro connaissance sur n'importe quel blockchain, en abstrayant le développement complexe des ZK grâce à des outils de développement.
La plateforme traite les requêtes de confirmation via un processus dans lequel les développeurs envoient des requêtes de calcul sur le marché Boundless. Les preuves fournies (opérateurs de nœuds) font des offres pour le travail sur un marché ouvert sans autorisation, en utilisant des enchères hollandaises inversées pour améliorer l'efficacité économique. Les nœuds désignés effectuent les calculs dans zkVM, créant des preuves à zéro connaissance et des données d'origine.
Dans Boundless $ZKC , une modèle zkVM généralisée est utilisée, prenant en charge des systèmes de protection zk-STARK avec agrégation récursive afin de minimiser les coûts de vérification on-chain. Le réseau de preuves fonctionne via un mécanisme décentralisé et sans permission appelé Proof of Verifiable Work, permettant d'effectuer des calculs off-chain et de retourner des preuves zk pour vérification sur n'importe quel blockchain.
Avec Steel, il est possible de faire une requête directe de l'état EVM à l'intérieur du zkVM, ce qui permet d'appeler des méthodes Solidity à l'intérieur des preuves et offre la possibilité de calculs off-chain directs pour les programmes Ethereum avec des frais de gaz minimaux et une finalisation presque instantanée
La plateforme propose le SDK Boundless Rust pour des API de haut niveau, boundless-cli pour les opérations en ligne de commande, des modèles et des tutoriels pour adapter Foundry, ainsi que des bibliothèques de contrats intelligents pour la vérification native sur divers blockchains.
