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.
Role
Execution semantics, type system kernel design, and formal modelling.
Stack
Rust Formal Methods Type Theory