Produkt należący do portfela Boundless: maszyna wirtualna zkVM (dostarczona przez RISC Zero)
Funkcja: uniwersalna maszyna wirtualna z dowodami zerowej wiedzy oparta na instrukcjach RISC-V, która pozwala programistom pisać programy w języku Rust i automatycznie generować dowody ZK, znacznie obniżając próg wejścia do tworzenia oprogramowania.
Wspiera złożone obliczenia, takie jak wnioskowanie AI; po试运行 w 2024 roku wydajność wzrosła 50–100 razy.
@citrea_xyz buduje ZK rollup, który zwiększa możliwości przestrzeni blokowej Bitcoin. Citrea zapisuje potwierdzenia rollup bezpośrednio na blockchainie Bitcoin i opiera się na Boundless w celu wygenerowania podwójnego dowodu zerowej wiedzy obejmującego wykonanie kontraktów inteligentnych i zawartość bloków Bitcoin.
