Optimism Kona v1.8.0 Tightens Fault-Proof Execution And Malformed Batch Handling
TL;DR
- Optimism has launched Kona v1.8.0 parts with fixes for derivation, proof execution, TLS and preimage dealing with.
- The launch prevents a malformed batch from inflicting Kona to derive a unique chain from op-node beneath a selected faulty-batcher situation.
- Optimism recommends the discharge for all chains and says kona-host must be run with the matching kona-client v1.8.0 absolute prestates.
Optimism’s Rust-based fault-proof stack has obtained a considerable upkeep launch centered on preserving derivation and proof execution aligned with the remainder of the OP Stack.
Kona host v1.8.0 was revealed October 1 alongside the matching shopper launch. Optimism recommends the replace for all chains.
The launch is technical, however the issue it addresses is straightforward to know: two items of verification software program shouldn’t derive totally different solutions from the identical chain information.
Malformed batches get stricter remedy
After the Holocene improve, Kona now checks the guardian hash of every singular batch towards the protected head in the identical manner op-node does.
Optimism says the earlier test at all times handed. In a slender case the place a defective batcher produced a malformed batch, Kona may subsequently derive a unique chain from op-node.
The workforce notes that fault proofs are unaffected except the batcher truly misbehaves. Still, matching derivation conduct throughout shoppers is strictly the type of consistency requirement fault-proof programs rely upon.
That fault-proof roadmap can be seen in Super Root dispute-game governance and Superchain interoperability testing.
Execution errors are dealt with extra fastidiously
Kona v1.8.0 additionally modifications what occurs when proof execution runs into errors.
A block is now changed with a deposit-only block, or dropped in older circumstances, solely when the payload is definitely invalid. Errors similar to lacking preimage or witness information now cease execution as a substitute of being handled as proof that the payload itself was dangerous.
That sounds delicate, however fault proofs want to tell apart “I can not full this computation” from “this computation proves the block is invalid.”
The launch additionally updates the EVM implementation, patches a TLS dependency and improves preimage-server error dealing with.
The OP Stack is changing into extra client-diverse
Optimism’s infrastructure more and more contains a number of implementations and proof programs relatively than one canonical piece of software program.
Client variety can enhance resilience, however it additionally creates a brand new requirement: unbiased implementations should agree exactly on state transitions and edge instances.
The identical upkeep burden is seen in Optimism’s required op-batcher releases and different operator updates.
Kona v1.8.0 is subsequently much less a couple of flashy new characteristic and extra about ensuring the verification layer behaves predictably when the inputs are ugly. In fault-proof infrastructure, that’s precisely the place reliability issues most.
—
This article was written by the News Desk and edited by Samuel Rae.
