#zkvm gibt es immer noch innovative Produkte. Im Vergleich zu @boundless_xyz, einem allgemeinen RISC-B zkvm, basieren alle Beweise auf den Beweisen jedes Schaltkreises des allgemeinen Befehlssatzes. Brevis zkvm verwendet - eine Kleber-Naht-Lösung, die ursprünglich aus einem Blogbeitrag von Vitalik stammt. - Bestimmt die kostspieligen spezifischen Operationen, die den Großteil der Berechnungen ausmachen (normalerweise Hash-Werte und Signaturen), und erstellt spezielle Module, um diese Operationen effizient zu beweisen. Durch die Kombination eines ineffizienten, aber allgemeinen VM-Befehlssatzes mit einem effizienten, aber spezialisierten Beweissystem kann man das Beste aus beiden Welten nutzen. Es ähnelt auch ein wenig der Pre-Compilation-Technologie von EVM, die eine Art von Schaltkreis-niveau Pre-Compilation-Technologie ist. - Innovationen auf der Kette 1) Reine zk-Beweise, das Kostenproblem besteht weiterhin. 2) Op-zk-Beweise, das bedeutet, dass nur bei Anpassungen zk-Beweise generiert werden, die dann von der Kette validiert werden. Wenn keine Anpassungen vorgenommen werden, wird optimistisch bestätigt. Dies sollte zur neuen Kategorie der opzk-Produkte gehören. Der Kern löst zwei Probleme: das Kostenproblem der zk-Beweise. Eine ziemlich pragmatische Lösung. Detaillierte Einführung: