Blockchain Execution active
CellScript
A semantic DSL for CKB cell-based contracts, providing typed constraints, composable verification primitives, and developer-grade tooling for the cell model.
Role
Language design, type system architecture, compiler frontend, and semantic specification.
Stack
Rust TypeScript CKB DSL Design