Boundless funziona come un mercato decentralizzato e un'infrastruttura per creare, aggregare e verificare prove con zero conoscenza su qualsiasi blockchain, semplificando lo sviluppo complesso di ZK grazie a strumenti per sviluppatori.
La piattaforma elabora le richieste di verifica attraverso un processo in cui gli sviluppatori inviano richieste di calcolo sul mercato Boundless. I fornitori di prove (operatori di nodi) fanno offerte per eseguire il lavoro sul mercato aperto senza autorizzazioni, utilizzando asta olandese inversa per aumentare l'efficienza economica. I nodi assegnati eseguono i calcoli nel zkVM, creando prove con zero conoscenza e dati di origine.
In Boundless $ZKC viene utilizzata un'architettura zkVM generica, che supporta sistemi di protezione zk-STARK con aggregazione ricorsiva per ridurre al minimo i costi di verifica on-chain. La rete di prova funziona tramite un meccanismo decentralizzato e senza bisogno di autorizzazione Proof of Verifiable Work, consentendo l'esecuzione di calcoli off-chain e il ritorno di prove zk per la verifica in qualsiasi blockchain.
Con Steel è possibile effettuare una richiesta diretta dello stato EVM all'interno del zkVM, consentendo così di chiamare metodi Solidity all'interno delle prove e offrendo la possibilità di calcoli off-chain diretti per programmi Ethereum con costi di gas minimi e finalizzazione quasi istantanea
La piattaforma offre Boundless Rust SDK per API di alto livello, boundless-cli per operazioni da riga di comando, modelli e guide per adattare Foundry, nonché librerie di smart contract per la verifica nativa in diversi blockchain.
