Cairo

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

推荐用户