#zkvm Det finns fortfarande innovativa produkter som kommer ut Till skillnad från generisk RISC-B zkvm som @boundless_xyz, är alla bevis baserade på beviset för varje krets i den gemensamma instruktionsuppsättningen. Brevis zkvm antas - Limsömmar, det här schemat kom först från ett blogginlägg av V God - Identifiera de kostsamma specifika operationer (vanligtvis hashvärden och signaturer) som utgör majoriteten av beräkningen och skapa sedan specialiserade moduler för att bevisa dessa operationer effektivt. Genom att kombinera ett ineffektivt men allmänt bevissystem för VM-instruktionsuppsättningar med ett effektivt men specialiserat bevissystem får du det bästa av två världar. Faktum är att det också finns lite förkompileringsteknik som EVM, som tillhör förkompileringstekniken på kretsnivå - Innovation i kedjan 1) Rent ZK-bevis, kostnadsproblemet finns alltid. 2) OP-ZK-bevis, vilket innebär att först efter justering genereras ZK-beviset, och sedan låter kedjan verifiera beviset. Om den inte justeras är det en optimistisk bekräftelse. Detta bör tillhöra den nya OPZK-kategorin. Kärnan löser två problem, problemet med zk proof cost. Det är en mycket pragmatisk plan Detaljer:

Endast justerad = 》Endast ifrågasatt stavfelskorrigering

Jag har precis chattat med grundaren @brevis_zk, och de använde också RISC-V-instruktionsuppsättningen, i kombination med förkompilerade förkompileringskretsar.

Jag känner att den här är den mest troliga att skalas eftersom han har gjort en hel del design på kostnadssidan av sin plan.