s8sato

Protocol Engineer with 4+ years of experience in Rust-based protocol and state-machine design. Led the core ledger architecture of Hyperledger Iroha, designing verifiable state transitions and atomic execution pipelines. Conducted threat modeling for CBDC architectures (STRIDE & attack trees) to harden token systems. Passionate about advancing system robustness through formal methods and zero-knowledge proofs to achieve provably secure and privacy-preserving protocols.