Boundless opiera się na architekturze modułowej, której rdzeń składa się z trzech warstw: warstwy dowodzenia, warstwy weryfikacji i warstwy koordynacji. Warstwa dowodzenia wykonuje obwody ZK, podczas gdy dowodzący wykorzystują zasoby GPU lub CPU do obliczania dowodów. Protokół wspiera Plonk i inne schematy arytmetyzacji, optymalizując szybkość dzięki równoległemu przetwarzaniu.
Weryfikacja odbywa się szybko, ponieważ gdy dowód dotrze, sieć sprawdza jego ważność przy użyciu zwięzłego weryfikatora. Ten krok zapobiega nieprawidłowym zgłoszeniom, a warstwa koordynacji zarządza dystrybucją zadań. Używa protokołu plotkarskiego do transmitowania żądań, przy czym dowodzący stawiają ZKC, aby uczestniczyć i zapewnić udział w grze.
Bezpieczeństwo stanowi kluczowy filar, ponieważ Boundless wprowadza formalną weryfikację dla swoich obwodów i opiera się na powszechnych atakach, takich jak odmowa usługi. Protokół wykorzystuje podpisy progowe do agregacji, umożliwiając wielu dowodzącym wniesienie wkładu do jednego dowodu i zmniejszenie pojedynczych punktów awarii. Wymagania dotyczące pasma pozostają niskie, około 1-2 MB na żądanie dowodu.
Szczegóły wdrożenia ujawniają przemyślane inżynierie, z zestawem oprogramowania obejmującym Rust dla komponentów rdzeniowych. Integruje się z WebAssembly do kompilacji obwodów, więc użytkownicy kompilują obwody offline za pomocą narzędzi takich jak Circom lub Halo2. Następnie przesyłają do Boundless za pośrednictwem pulpitu nawigacyjnego, gdzie system śledzi status dowodu w czasie rzeczywistym. API zwraca identyfikatory zadań do sprawdzania.
Jedną z wyróżniających cech jest rekurencyjne dowodzenie, ponieważ Boundless może dowodzić dowodów dowodów, umożliwiając skalowalność dla dużych obliczeń. Na przykład operator rollupu może używać tego do grupowania tysięcy transakcji, przy czym głębokość rekurencji osiąga do 10 poziomów bez spadków wydajności. Benchmarki pokazują czasy dowodów poniżej 10 sekund dla średnich obwodów na standardowym sprzęcie.
Protokół obsługuje również obliczenia niedeterministyczne, nawet jeśli tradycyjne ZK koncentruje się na deterministycznych. Boundless rozszerza się na dowody probabilistyczne, które są przydatne dla weryfikacji uczenia maszynowego i rozszerzają.