Boundless funciona como un mercado descentralizado y una infraestructura para la creación, agregación y verificación de pruebas de conocimiento cero en cualquier blockchain, abstraiendo el complejo desarrollo de ZK mediante herramientas para desarrolladores.
La plataforma procesa solicitudes de confirmación a través de un proceso en el que los desarrolladores envían solicitudes de cálculo al mercado Boundless. Los proveedores de pruebas (operadores de nodos) hacen ofertas por trabajo en el mercado abierto sin permisos, utilizando subastas holandesas inversas para aumentar la eficiencia económica. Los nodos designados realizan cálculos en zkVM, creando pruebas de conocimiento cero y datos originales.
En Boundless $ZKC se utiliza un modelo generalizado zkVM, que admite sistemas de protección zk-STARK con agregación recursiva para minimizar los costos de verificación en cadena. La red de pruebas funciona a través de un mecanismo descentralizado de Prueba de Trabajo Verificable sin permisos y mediante el cual se pueden realizar cálculos fuera de la cadena, devolviendo pruebas zk para verificación en cualquier blockchain.
Con Steel se puede realizar una consulta directa del estado de EVM dentro de zkVM, lo que permite llamar a métodos de Solidity dentro de las pruebas y proporciona la posibilidad de cálculos directos fuera de la cadena para programas de Ethereum con costos de gas mínimos y una finalización casi instantánea.
La plataforma proporciona Boundless Rust SDK para API de alto nivel, boundless-cli para operaciones de línea de comandos, plantillas y tutoriales para adaptar Foundry, así como bibliotecas de contratos inteligentes para verificación nativa en diversas blockchains.
