Selected work across protocol design, language tooling, systems research, and secure deployment infrastructure.
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.
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.
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.
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.
An Eltoo-inspired payment-channel architecture adapted to the CKB cell model, with a factory pattern for multi-party channel bootstrapping.
Contribution: Protocol adaptation, factory contract design, and cell-model optimisation.
Reproducible, hardened deployment paths for Redox OS and Linux-based secure appliances, with sealed environments and operational attestation.
Contribution: Deployment automation, hardening profiles, reproducible build pipelines, and operational documentation.