Infrastructure research and engineering — execution models, developer tooling, and deployment architectures.https://arthurzhang.info/https://arthurzhang.info/writing/bounded-terminal-cutting-token-waste-in-agentic-terminal-work/https://arthurzhang.info/writing/bounded-terminal-cutting-token-waste-in-agentic-terminal-work/A practical model for reducing token waste in agentic terminal workflows with bounded command output, source context, file-effect receipts, and pipeline observations.Wed, 27 May 2026 12:00:00 GMThttps://arthurzhang.info/writing/cocoon-capability-delimited-service-capsules/https://arthurzhang.info/writing/cocoon-capability-delimited-service-capsules/A design note for Cocoon, a Redox service deployment layer built around typed manifests, authority diffs, and capability-delimited runtime plans.Wed, 15 Apr 2026 12:00:00 GMThttps://arthurzhang.info/writing/cellscript-linear-types-cell-model/https://arthurzhang.info/writing/cellscript-linear-types-cell-model/A language design essay on CellScript, where linear types meet the cell model for safer state transitions and resource handling.Fri, 24 Oct 2025 12:00:00 GMThttps://arthurzhang.info/writing/metalayer/https://arthurzhang.info/writing/metalayer/A research note on proof-based settlement, deterministic ordering, and commitment fabrics for verifiable state validation.Sun, 28 Sep 2025 17:57:51 GMThttps://arthurzhang.info/writing/proof-of-useful-work-via-ntt-micro-tasks/https://arthurzhang.info/writing/proof-of-useful-work-via-ntt-micro-tasks/An exploration of proof-of-useful-work using Number Theoretic Transform micro-tasks, including verification cost and incentive constraints.Tue, 23 Sep 2025 10:16:10 GMThttps://arthurzhang.info/writing/adaptor-signature-swap-en/https://arthurzhang.info/writing/adaptor-signature-swap-en/A design note on using adaptor signatures, Taproot, and Schnorr-based scriptless scripts for atomic cross-chain asset swaps.Sat, 16 Aug 2025 10:42:59 GMThttps://arthurzhang.info/writing/three-phase-fractional-auction-protocol-nash-equilibrium-analysis-and-optimizations/https://arthurzhang.info/writing/three-phase-fractional-auction-protocol-nash-equilibrium-analysis-and-optimizations/A mechanism-design analysis of a three-phase auction protocol for on-chain fractionalisation of high-value assets.Fri, 06 Jun 2025 16:00:00 GMThttps://arthurzhang.info/writing/avato-usd-an-anchored-auditable-and-privacy-preserving-rgb-stablecoin/https://arthurzhang.info/writing/avato-usd-an-anchored-auditable-and-privacy-preserving-rgb-stablecoin/An architectural note on RGB-based reserve anchoring for a privacy-preserving Bitcoin stablecoin.Tue, 27 May 2025 16:00:00 GMThttps://arthurzhang.info/writing/on-traversal-memory-and-the-limits-of-institutional-light/https://arthurzhang.info/writing/on-traversal-memory-and-the-limits-of-institutional-light/A reflective essay on traversal, memory, and the limits of institutional systems when they attempt to preserve or illuminate complex work.Wed, 07 May 2025 02:16:41 GMThttps://arthurzhang.info/research/execution-models-and-infrastructure/https://arthurzhang.info/research/execution-models-and-infrastructure/On the relationship between execution semantics, verifiable state transitions, and the infrastructure required to operate them at scale.Tue, 12 Nov 2024 00:00:00 GMThttps://arthurzhang.info/research/secure-deployment-principles/https://arthurzhang.info/research/secure-deployment-principles/A concise set of operational principles for deploying secure systems in adversarial environments.Tue, 03 Sep 2024 00:00:00 GMT