CellScript - A DSL for Cell-Based Contracts

[zz_tovarishch]

因为这一条被置顶了，所以贴一下这里

---

中文用户可以看这条，传送门：

CellScript v0.1 — 为 Cell 模型而生的 DSL (早期测试版发布)

想和大家分享一个我一直在做的项目,也坦诚地说说它现在处在什么阶段。 Cell 模型是我在区块链架构中见过的最优雅的设计之一。CKB 证明了 UTXO 风格的状态管理,配合通用虚拟机,能给你账户模型永远做不到的东西:显式的所有权、没有隐式突变、在交易级别真正的可组合性。 但手写 Cell 脚本有点难。你要手动解析 witness 字节,追踪索引,把状态编码进原始数组,用数字调用系统调用。它很强大,但它无法扩展到一个生态系统。 所以我做了 CellScript。 CellScript 是一个领域特定语言,把 .cell 源码编译成 RISC-V ELF 二进制文件——就是 ckb-vm 已经在运行的那种。它不引入新的虚拟机。不修改交易的容器/信封。它在现有的执行栈上,叠加了一个类型安全、线性强制执行(linearity-enforced)的编程模型。 它给你什么 类型化的资源 (Typed Resources) resource: 线性的 Cell 支持资产,编译器跟踪它的生命周期。不能静默丢弃,不能意外复制 shared: 共享状态 Cell,用于池、注册表、配置。读写对元…