#zkvm Stále přicházejí inovativní produkty Na rozdíl od obecných RISC-B zkvm, jako je @boundless_xyz, jsou všechny důkazy založeny na důkazu každého obvodu ve společné instrukční sadě. Přijat Brevis zkvm - Schéma šití lepidlem, toto schéma poprvé pochází z příspěvku na blogu uživatele V God - Identifikujte ty nákladné specifické operace (obvykle hashe a podpisy), které tvoří většinu výpočtů, a poté vytvořte specializované moduly pro efektivní prokázání těchto operací. Kombinace neefektivního, ale obecného systému důkazů instrukční sady VM s účinným, ale specializovaným systémem důkazů vám poskytne to nejlepší z obou světů. Ve skutečnosti existuje také trochu technologie předkompilace, jako je EVM, která patří k technologii předkompilace na úrovni obvodů - Inovace v řetězci 1) Čistý důkaz ZK, problém s náklady vždy existuje. 2) OP-ZK proof, což znamená, že teprve po adjustaci se ZK proof vygeneruje, a pak nechť řetězec korektur ověří. Pokud není upraveno, je to optimistické potvrzení. Ta by měla patřit do nové kategorie OPZK. Jádro řeší dva problémy, problém zk proof nákladů. Je to velmi pragmatický plán Podrobnosti:

Pouze upraveno = 》Pouze napadená oprava překlepu

Právě jsem si popovídal se zakladatelem @brevis_zk a také použili instrukční sadu RISC-V v kombinaci s předkompilovanými předkompilovanými obvody.

Mám pocit, že tento je nejpravděpodobnější, že bude škálován, protože udělal hodně designu na nákladové straně svého plánu.