#zkvm wciąż pojawiają się innowacyjne produkty W porównaniu do @boundless_xyz, które jest ogólnym zkvm opartym na riscu-b, wszystkie dowody są oparte na ogólnym zestawie instrukcji dla każdego obwodu. Brevis zkvm przyjęło - rozwiązanie klejowe, które pierwotnie pochodzi z wpisu blogowego Vitalika Buterina - określenie kosztownych specyficznych operacji, które stanowią większość obliczeń (zwykle są to wartości hash i podpisy), a następnie stworzenie specjalnych modułów do efektywnego dowodzenia tych operacji. Połączenie nieefektywnego, ale ogólnego systemu dowodzenia zestawu instrukcji vm z efektywnym, ale specjalistycznym systemem dowodzenia pozwala na uzyskanie zalet obu. W rzeczywistości przypomina to technologię wstępnej kompilacji w evm, która należy do technologii wstępnej kompilacji na poziomie obwodu. - innowacje w zakresie łańcucha 1) czyste dowody zk, problem kosztów wciąż istnieje. 2) dowody op-zk, co oznacza, że tylko po dostosowaniu generowane są dowody zk, a następnie łańcuch weryfikuje dowód. Jeśli nie jest dostosowane, to optymistycznie potwierdzamy. To powinno należeć do nowej kategorii opzk. Kluczowo rozwiązujemy dwa problemy: problem kosztów dowodów zk. To dość pragmatyczne rozwiązanie. Szczegółowe wprowadzenie: