百科 Cairo

Cairo 是一种编程语言， 用于编写可被证明程序，使得其他验证者确信该程序被正确执行。在 Starknet 和 StarkEx 上使用 Cairo编写智能合约 。