Cairo, 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.