Miksi usean proverin järjestelmät ovat tärkeitä zkVM Securitylle? zkVM:t kehittyvät edelleen. Virheet - todistajissa tai todentajissa - ovat väistämättömiä tässä vaiheessa. Multi-prover-arkkitehtuurit ovat käytännöllinen tapa ylläpitää elävyyttä ja turvallisuutta, vaikka uusin proof-järjestelmä ei olisikaan täydellinen. Berliinin Ethproofs-huippukokouksessa @OffchainLabs tuotepäällikkö @zkLumi @DeclanFox14 täyttänyt, että yksi tärkeimmistä suojakeinoista haitallisia tai virheellisiä päivityksiä vastaan zkVM:iin on todisteiden monimuotoisuus. Sen sijaan, että luottaisit yhteen todistajatoteutukseen, usean todistajan kokoonpano voi: • Suorita useita ZK-proof-toteutuksia rinnakkain. • Sisällytä todistuksia eri järjestelmistä. • Turvaudu vaihtoehtoisiin todistetyyppeihin (esim. petostodisteisiin), jos todiste epäonnistuu tai on eri mieltä toisen kanssa. Esimerkiksi @arbitrum Orbit-ketjut voivat toimia hybriditilassa: • Toimii normaalisti ZK-todisteella. • Jos riita syntyy tai todistaja epäonnistuu, turvaudu petostodisteisiin. • Ylläpidä useita zkVM- tai ZK-toteutuksia virheiden havaitsemiseksi. Tämä lähestymistapa tarjoaa joustavuutta, jos zkVM-päivitys aiheuttaa virheen - olipa kyseessä sitten haitallinen muutos tai tahaton virhe - ja varmistaa, että tilan vahvistamiseen on aina turvallinen polku. Mukana myös @alexanderlhicks @ethereumfndn ja @mpfzajac @NethermindEth. Katso koko paneeli täältä: