#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 przyjmuje - rozwiązanie klejowe, które pierwotnie pochodzi z wpisu blogowego V-Geniusza - określenie kosztownych specyficznych operacji, które stanowią większość obliczeń (zwykle są to wartości haszujące i podpisy), a następnie stworzenie specjalnych modułów do efektywnego dowodzenia tych operacji. Połączenie mało efektywnego, 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) przechowywanie dowodów zk, problem kosztów wciąż istnieje. 2) dowody op-zk, co oznacza, że tylko po dostosowaniu generowany jest dowód zk, a następnie łańcuch weryfikuje dowód. Jeśli nie jest dostosowany, potwierdza się optymistycznie. To powinno należeć do nowej kategorii opzk. Kluczowo rozwiązano dwa problemy: problem kosztów dowodów zk. To dość pragmatyczne rozwiązanie. Szczegółowe informacje:
408