ZKsync Airbender Prime beweist Ethereum-Blöcke in 10 Sekunden
ZKsyncs neuer Airbender-Prime-Prover hat Ethereum-Blöcke mit einer einzelnen GPU in weniger als 10 Sekunden bewiesen. Vitalik Buterin sagt, dass sich die Entwicklung von zkEVMs nun von der Geschwindigkeit hin zur Sicherheit verlagern muss.
Wenn die Geschwindigkeit der Beweiserstellung nicht mehr ausschlaggebend ist, welcher neue Standard wird dann konkurrierende zkEVMs voneinander unterscheiden? Formale Verifizierung kann bestätigen, dass ein System seiner eigenen Spezifikation entspricht. Sie kann jedoch nicht garantieren, dass diese Spezifikation alle Angriffe aus der realen Welt abdeckt. Wer entscheidet, wann ein Prover sicher genug ist, um Vermögenswerte in Milliardenhöhe zu schützen?
https://www.bonuz.xyz/en/blog/zksync-airbender-prime-zk-prover-ethereum
ZKsyncs neuer Airbender-Prime-Prover hat Ethereum-Blöcke mit einer einzelnen GPU in weniger als 10 Sekunden bewiesen. Vitalik Buterin sagt, dass sich die Entwicklung von zkEVMs nun von der Geschwindigkeit hin zur Sicherheit verlagern muss.
Wenn die Geschwindigkeit der Beweiserstellung nicht mehr ausschlaggebend ist, welcher neue Standard wird dann konkurrierende zkEVMs voneinander unterscheiden? Formale Verifizierung kann bestätigen, dass ein System seiner eigenen Spezifikation entspricht. Sie kann jedoch nicht garantieren, dass diese Spezifikation alle Angriffe aus der realen Welt abdeckt. Wer entscheidet, wann ein Prover sicher genug ist, um Vermögenswerte in Milliardenhöhe zu schützen?
https://www.bonuz.xyz/en/blog/zksync-airbender-prime-zk-prover-ethereum