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.
Source link
Layer-2 Blockchain Developer StarkWare Plans ‘Cairo’ to Verify Layer-3s
