Proč jsou pro zkVM Security důležité multi-prover systémy? zkVM se stále vyvíjejí. Chyby - v dokazovačích nebo ověřovatelích - jsou v této fázi nevyhnutelné. Architektury s více důkazy představují praktický způsob, jak zachovat živost a bezpečnost, i když nejnovější důkazní systém není dokonalý. Produktový manažer @OffchainLabs @zkLumi @DeclanFox14 na našem berlínském summitu Ethproofs zdůraznil, že jednou z nejdůležitějších záruk proti škodlivým nebo chybným upgradům zkVMs je rozmanitost. Místo spoléhání se na jednu implementaci s více proverem může nastavení s více provery: • Spusťte paralelně více implementací ZK proof. • Začlenit atesty z různých systémů. • Vraťte se k alternativním typům důkazů (např. důkazům o podvodu), pokud důkaz selže nebo se neshoduje s jiným. Například @arbitrum Orbit chainy mohou pracovat v hybridním režimu: • Normálně provozujte s důkazem ZK. • Pokud dojde ke sporu nebo selže dokazování, vraťte se k důkazům o podvodu. • Udržujte více implementací zkVMs nebo ZK pro zachycení chyb. Tento přístup poskytuje odolnost v případě, že upgrade zkVM zavede chybu – ať už se jedná o škodlivou změnu nebo nezamýšlenou chybu – a zajišťuje, že vždy existuje bezpečná cesta k ověření stavu. Obsahuje také @alexanderlhicks @ethereumfndn a @mpfzajac @NethermindEth. Podívejte se na celý panel zde: