Layer-2 blockchain developer StarkWare is working on 'Cairo,' a technology developed in collaboration with the Herodotus developer team. Cairo is designed to verify proofs and post them back to the layer-2 blockchain, rather than Ethereum's mainnet. This development represents a significant step in blockchain technology, potentially enhancing the efficiency and scalability of layer-2 solutions.