#zkvm heeft nog steeds innovatieve producten in ontwikkeling In vergelijking met @boundless_xyz, een algemene riscv-b zkvm, zijn alle bewijzen gebaseerd op de bewijzen van elke schakeling van de algemene instructieset. Brevis zkvm maakt gebruik van - een lijm-samenvoegingsoplossing, deze oplossing komt oorspronkelijk uit een blogpost van Vitalik - het identificeren van de kostbare specifieke bewerkingen die het grootste deel van de berekeningen vormen (meestal hashwaarden en handtekeningen), en vervolgens speciale modules creëren om deze bewerkingen efficiënt te bewijzen. Door het bewijs systeem van de inefficiënte maar algemene vm-instructieset te combineren met het efficiënte maar gespecialiseerde bewijs systeem, kunnen we het beste van beide werelden combineren. Het lijkt eigenlijk ook een beetje op de pre-compiled technologie van de EVM, dit valt onder circuit-niveau pre-compiled technologie - Innovaties aan de keten 1) Pure zk-bewijzen, het kostenprobleem blijft altijd bestaan. 2) Op-zk-bewijzen, dat wil zeggen dat er alleen een zk-bewijs wordt gegenereerd als het is aangepast, en dan laat je de keten het bewijs verifiëren. Als het niet is aangepast, wordt het optimistisch bevestigd. Dit zou moeten behoren tot de nieuwe categorie opzk. De kernoplossing richt zich op twee problemen, het kostenprobleem van zk-bewijzen. Een vrij pragmatische oplossing Gedetailleerde introductie:

Alleen aangepast = 》 Alleen uitgedaagd Spelfoutcorrectie

Ik heb net met @brevis_zk, de oprichter, gesproken. Ze gebruiken ook een RISC-V instructieset, gecombineerd met precompiled precompiles circuits.

Ik heb het gevoel dat dit bedrijf het meest waarschijnlijk op schaal kan worden gebracht, omdat ze veel ontwerp hebben gedaan aan de kostenkant van hun oplossing.