

- Scarb:用于构建合约、管理依赖、运行测试和执行Cairo程序
- Lambdaworks: Cairo -vm:在虚拟机中执行Cairo程序以生成跟踪,然后由Stone Prover验证
- StarkWare:stone-prover:为Cairo VM产生的跟踪生成证明
- Herodotus:cairo-lib:验证Cairo程序中的MMR(Merkle Mountain Range)证明
- Foundry:用于声明和部署智能合约
- Scarb:负责构建合约和管理依赖关系
- Herodotus:cairo-lib:在链上存储MMR的根,并附加新的承诺
- Herodotus:integrity:验证Stone Prover生成的证明
- StarkWare:stone-prover:负责为Cairo VM跟踪生成证明
- Next.js:用于构建前端
- TypeScript、starknet.js、starknet-react:用于与智能合约交互
- TailwindCSS、Shadcn、Aceternity:用于设置前端样式
