Cairo语言

该标签用于标识与Cairo语言相关的内容。Cairo是一种用于编写StarkNet等零知识证明系统中可验证程序的语言，相关话题包括Cairo语法、智能合约开发、工具链使用及在区块链中的应用等。