形式化验证是 Move 智能合约的重要特性
硬核长文
梳理 Aptos CLI,顺便聊聊理想的 REPL 设计
一份优质的学习总结
2025,Move 迈入新阶段。 不仅有 Aptos 和 Sui 等 L1,也出现了 Movement 和 Rooch 等 L2。
本专栏特性:
狗哥区块链与AI精品内容集@NonceGeek