RESEARCH_&_PRODUCTION

Academic log — distributed systems, compiler theory, and decentralized protocol design.

Optimizing Compiler Pipelines for WASM-based Blockchains

[2023] PUBLISHED

An analysis of execution environments in Substrate-based networks, proposing structural optimizations for runtime compilation targeting reduced latency and improved determinism in on-chain WASM execution.

WASM COMPILERS SUBSTRATE

Consensus Mechanisms in Asynchronous Environments

[2022] PUBLISHED

A formal verification approach to Byzantine fault tolerance in highly partitioned, asynchronous network states, with applications to Parachain collation and finality.

DISTRIBUTED SYSTEMS CONSENSUS BYZANTINE FAULT TOLERANCE