Boundless funciona como um marketplace descentralizado e infraestrutura para criar, agregar e verificar provas de zero conhecimento em qualquer blockchain, abstraindo o desenvolvimento complexo de ZK com ferramentas de desenvolvedor.
A plataforma processa solicitações de confirmação através de um processo em que os desenvolvedores enviam solicitações de cálculo para o mercado Boundless. Os provedores de provas (operadores de nós) fazem ofertas pelo trabalho no mercado aberto sem permissões, utilizando leilões reversos para aumentar a eficiência econômica. Os nós designados realizam cálculos em zkVM, criando provas de zero conhecimento e dados de entrada.
No Boundless $ZKC , é utilizada um modelo genérico zkVM, que suporta sistemas de proteção zk-STARK com agregação recursiva para minimizar os custos de verificação on-chain. A rede de provas opera através de um mecanismo descentralizado de Proof of Verifiable Work sem permissão, permitindo que cálculos off-chain sejam realizados, retornando provas zk para verificação em qualquer blockchain.
Com o Steel, é possível fazer uma solicitação direta de estado EVM dentro do zkVM, permitindo chamar métodos Solidity dentro das provas e proporcionando a capacidade de cálculos off-chain diretos para programas Ethereum com custos de gás mínimos e finalização quase instantânea.
A plataforma fornece o Boundless Rust SDK para APIs de alto nível, boundless-cli para operações de linha de comando, modelos e tutoriais para adaptação do Foundry, bem como bibliotecas de contratos inteligentes para verificação nativa em várias blockchains.
