Blockchain Execution
Typed cells, UTXO semantics, CellScript, CKB, settlement, receipts, ProofPlan-style verification.
Arthur Zhang
Infrastructure researcher and engineer working across blockchain execution, secure OS deployment, and open digital infrastructure.
Researching execution semantics for open infrastructure, with particular attention to verifiable state transitions, typed cell models, and the developer tooling required to make these systems deployable and auditable at scale.
Research Domains
Three areas of sustained focus.
Secure OS Deployment
Redox/Linux deployment paths, secure appliances, reproducible environments, operational hardening.
Open Digital Infrastructure
Open protocols, public goods tooling, developer systems, auditability, institutional-grade infrastructure.
Selected Projects
Active work across protocol design, language tooling, and systems research.
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.
Contribution: Language design, type system architecture, compiler frontend, and semantic specification.
Rust TypeScript CKB DSL Design
Blockchain Execution active
CellFabric
A UTXO-generation and inter-protocol composition layer for CKB, enabling cross-protocol cell generation, state bridging, and modular protocol assembly.
Contribution: Protocol architecture, composition semantics, and interop specification.
Rust CKB Protocol Design
Open Digital Infrastructure active
Bounded Terminal
Bounded terminal primitives for AI coding agents. A small toolkit reducing accidental context expansion in shell-driven coding workflows by wrapping risky terminal operations with clear bounds and receipts.
Contribution: Design and implementation of bounded command output, code context extraction, file-effect observation, and pipe data-flow inspection primitives.
Rust Shell AST Tooling CLI
Blockchain Execution research
Research phase Typed Cell Runtime
A semantic execution kernel enforcing typed constraints over cell-based state transitions, enabling verifiable execution traces and deterministic settlement.
Contribution: Execution semantics, type system kernel design, and formal modelling.
Rust Formal Methods Type Theory
Selected Publications
Recent specifications, research notes, and protocol designs.