The upgraded prover should lead to faster and cheaper transactions, according to StarkWare. The news comes just a week after StarkWare and Polygon announced Circle STARKS, a new type of cryptographic proof.
StarkWare, the developer behind the Ethereum layer-2 blockchain Starknet, had come under heavy criticism for the unlocking schedule for its new STRK tokens.
The Cairo Verifier, which the StarkWare and the Herodotus developer team worked on together, is a key piece of technology that verifies proofs and posts them back to the layer-2 blockchain, instead of Ethereum’s mainnet.
StarkWare president Eli Ben-Sasson will become CEO, and Kolodny will continue to serve on the StarkWare board of directors, the company said on Thursday.
Avail’s new “data availability” solution, currently in testing, and Madara, which is Starkware’s sequencer, are both expected to go live in early 2024. They might be used in conjunction to create new application chains or “appchains.”