Boundless paļaujas uz moduļu arhitektūru, kuras pamatā ir trīs slāņi: pierādījumu slānis, verifikācijas slānis un koordinācijas slānis. Pierādījumu slānis izpilda ZK ķēdes, kamēr pierādītāji izmanto GPU vai CPU resursus, lai aprēķinātu pierādījumus. Protokols atbalsta Plonk un citus aritmēzācijas shēmas, optimizējot ātrumu ar paralēlu apstrādi.
Verifikācija notiek ātri, jo, kad pierādījums ierodas, tīkls pārbauda tā derīgumu, izmantojot īsu verifikatoru. Šis solis novērš nederīgas iesniegšanas, un koordinācijas slānis pārvalda uzdevumu sadalīšanu. Tas izmanto gossip protokolu, lai izplatītu pieprasījumus, ar pierādītājiem, kas liek ZKC, lai piedalītos un nodrošinātu ādas klātbūtni spēlē.
Drošība veido galveno pīlāru, jo Boundless iekļauj formālu verifikāciju saviem ķēdēm un iztur parastās uzbrukumus, piemēram, pakalpojumu atteikšanu. Protokols izmanto sliekšņa parakstus agregācijai, ļaujot vairākiem pierādītājiem piedalīties vienā pierādījumā un samazināt vienīgās kļūdas punktus. Joslas platuma prasības paliek zemas, apmēram 1-2 MB uz pierādījuma pieprasījumu.
Ieviešanas detaļas atklāj rūpīgu inženieriju, ar programmatūras kaudzi, kas ietver Rust centrālajām sastāvdaļām. Tas integrējas ar WebAssembly ķēdes kompilācijai, tāpēc lietotāji kompilē ķēdes bezsaistē, izmantojot rīkus kā Circom vai Halo2. Tad viņi augšupielādē uz Boundless caur vadības paneli, kur sistēma reālā laikā seko pierādījuma statusam. API atgriež darba ID par polling.
Viens izcelšanās elements ir rekursīva pierādīšana, jo Boundless var pierādīt pierādījumus par pierādījumiem, ļaujot mērogojamību lielām aprēķināšanām. Piemēram, rollup operators varētu to izmantot, lai grupētu tūkstošiem darījumu, ar rekursijas dziļumu, kas sasniedz līdz 10 līmeņiem bez veiktspējas kritumiem. Līmeņu rādītāji rāda pierādījuma laikus zem 10 sekundēm vidējiem ķēdēm standarta aparatūrā.
Protokols arī apstrādā nedeterministiskus aprēķinus, pat ja tradicionālais ZK fokusējas uz deterministiskajiem. Boundless paplašina uz probabilistiskajiem pierādījumiem, kas ir noderīgi mašīnmācīšanās verifikācijām un paplašina.
@Boundless #boundless #BoundlessEarning #ZKC