#zkvm gibt es immer noch innovative Produkte Im Vergleich zu @boundless_xyz, einem allgemeinen riscv-b zkvm, basieren alle Beweise auf den Beweisen jedes Schaltkreises des allgemeinen Befehlssatzes. Brevis zkvm verwendet - eine Kleber- und Nähtechnik, die ursprünglich aus einem Blogbeitrag von Vitalik stammt. - Bestimmt die kostspieligen spezifischen Operationen, die den Großteil der Berechnungen ausmachen (normalerweise Hashwerte 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-Pre-Compilation-Technologie ist. - Innovationen auf der Kettenseite 1) Speicherung von zk-Beweisen, 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 gehören. Der Kern löst zwei Probleme, das Kostenproblem von zk-Beweisen. Eine ziemlich pragmatische Lösung. Detaillierte Einführung: