Starknet contributors Herodotus and StarkWare have unveiled what’s known as the Cairo Verifier, a system to verify cryptographic proofs on the Layer 2 itself as opposed to the Ethereum mainnet.

Cairo Verifier will let developers implement verifiable computations using STARK — a type of proof developed by Starkware — on Starknet Layer 2 so that apps running on Layer 3s can use them for security.

This, according to the developers, opens the door to Layer 3 application-specific blockchains on Starknet.

The verifier system will offer a cost-effective verification, addressing key challenges such as high verification costs and latency issues that may normally constrain the deployment of Layer 3 applications on Starknet.

“We have a working prototype of the Cairo Verifier, with an expected …