Boundless funcționează ca un marketplace descentralizat și o infrastructură pentru crearea, agregarea și verificarea dovezilor cu dezvăluire zero pe orice blockchain, abstractizând dezvoltarea complexă ZK prin instrumente pentru dezvoltatori.
Platforma procesează cereri de confirmare printr-un proces în care dezvoltatorii trimit cereri de calcul pe piața Boundless. Furnizorii de dovezi (operatorii de noduri) fac oferte pentru muncă pe piața deschisă fără permise, folosind licitații olandeze inverse pentru a îmbunătăți eficiența economică. Nodurile desemnate efectuează calcule în zkVM, generând dovezi cu dezvăluire zero și date originale.
În Boundless $ZKC se utilizează un model generalizat zkVM, care susține sisteme de protecție zk-STARK cu agregare recursivă pentru a minimiza costurile de verificare on-chain. Rețeaua de dovezi funcționează printr-un mecanism descentralizat de tip Proof of Verifiable Work, care nu necesită permisiuni și prin care pot fi efectuate calcule off-chain, returnând dovezi zk pentru verificare în orice blockchain.
Cu ajutorul Steel, se poate realiza o solicitare directă a stării EVM în cadrul zkVM, ceea ce permite apelarea metodelor Solidity în cadrul dovezilor și oferă posibilitatea de calcule off-chain directe pentru programele Ethereum cu costuri minime de gaz și finalizare aproape instantanee.
Platforma oferă Boundless Rust SDK pentru API-uri de nivel înalt, boundless-cli pentru operațiuni din linia de comandă, șabloane și tutoriale pentru adaptarea Foundry, precum și biblioteci de smart contracte pentru verificare nativă în diferite blockchain-uri.
