Boundless se bazează pe o arhitectură modulară, cu nucleul format din trei straturi: stratul de dovadă, stratul de verificare și stratul de coordonare. Strat de dovadă execută circuite ZK, în timp ce doveditorii folosesc resurse GPU sau CPU pentru a calcula dovezi. Protocolul suportă Plonk și alte scheme de aritmetizare, optimizând pentru viteză prin procesare paralelă.
Verificarea se întâmplă rapid, deoarece, odată ce o dovadă ajunge, rețeaua îi verifică validitatea folosind un verificator succint. Acest pas previne trimiterile invalide, iar stratul de coordonare gestionează distribuția sarcinilor. Folosește un protocol de bârfă pentru a difuza cereri, cu doveditorii mizând ZKC pentru a participa și a asigura implicarea în joc.
Securitatea formează un pilon cheie, deoarece Boundless încorporează verificarea formală pentru circuitele sale și rezistă atacurilor comune, cum ar fi atacurile de tip denial-of-service. Protocolul folosește semnături de prag pentru agregare, permițând mai multor doveditori să contribuie la o singură dovadă și să reducă punctele unice de eșec. Cerințele de lățime de bandă rămân scăzute, în jur de 1-2 MB pe cererea de dovadă.
Detaliile de implementare dezvăluie o inginerie atentă, cu stiva software incluzând Rust pentru componentele de bază. Se integrează cu WebAssembly pentru compilarea circuitelor, astfel încât utilizatorii să compileze circuite offline folosind instrumente precum Circom sau Halo2. Apoi, le încarcă în Boundless prin intermediul tabloului de bord, unde sistemul urmărește starea dovezii în timp real. API-urile returnează ID-uri de joburi pentru polling.
O caracteristică deosebită este dovada recursivă, deoarece Boundless poate dovedi dovezi ale dovezilor, permițând scalabilitatea pentru calcule mari. De exemplu, un operator de rollup ar putea folosi acest lucru pentru a grupa mii de tranzacții, cu adâncimea recursivă ajungând până la 10 niveluri fără scăderi de performanță. Benchmarks arată timpi de dovadă sub 10 secunde pentru circuite medii pe hardware standard.
Protocolul gestionează, de asemenea, calcule non-deterministe, chiar dacă ZK tradițional se concentrează pe cele deterministe. Boundless se extinde la dovezi probabilistice, care sunt utile pentru verificările în învățarea automată și lărgesc.