AZ Arthur Zhang
Infrastructure Researcher / Engineer

Arthur Zhang

Infrastructure researcher and engineer working across blockchain execution, secure OS deployment, and open digital infrastructure.

I design execution models, developer tooling, and deployment architectures for systems that need to be verifiable, composable, and operationally serious.

View CV Identity & Contact

Research Domains

Three areas of sustained focus.

01
Execution UTXO CKB

Blockchain Execution

Typed cells, UTXO semantics, CellScript, CKB, settlement, receipts, ProofPlan-style verification.

02
Redox Linux Hardening

Secure OS Deployment

Redox/Linux deployment paths, secure appliances, reproducible environments, operational hardening.

03
Protocols Tooling Public Goods

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
Repository Specification
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
Repository
Blockchain Execution research

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
Research Note
Blockchain Execution research

Elone

A next-generation Lightning-style channel architecture optimised for UTXO-based settlement layers, with emphasis on capital efficiency and minimal on-chain footprint.

Contribution: Channel protocol design, state machine specification, and security analysis.

Protocol Design Cryptography CKB
Specification
View all projects

Selected Publications

Recent specifications, research notes, and protocol designs.

View all publications

Current Focus

What I am working on now.

"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."

Ongoing interests include: formal semantics for UTXO-based contracts, reproducible secure deployment, and protocol-grade developer experience.

Contact

Ways to reach me.

Identity & Links arthur@example.com