Selected Architecture & Engineering Works for Taiko Labs (Based Ethereum ZK-Rollup)
pureQTern & project-zero
Cross-language C and Rust ternary codecs verified to agree to the single bit via deterministic SHA-256 golden hashes.
ZENO (銭 · 禅 · 善)
Double-entry Kintsugi SHA-256 hash-chained ledger, deterministic settlement engine, and Foken proof-of-contribution bridge.
AgentField Verifiable Compute
Cryptographic Verifiable Credential (VC) issuance and verification across distributed multi-agent execution graphs.
8b-is / MLX-QUANT
Custom packed ternary GPU kernels and register-level bitpacking routines applicable to high-throughput prover acceleration.
Osaurus, Osiris & Headroom (#1418)
Core Architect on Osaurus (autonomous runtime with cryptographic identity) & Osiris (real-time global intelligence), plus Headroom PR #1418.
Institutional Fintech & 110k+ Stream Systems
Built deterministic financial ETL pipelines for Sixth Street, Citadel & Morgan Stanley, and 110k-concurrent Go backends at DailyWire.
Why Taiko Labs (Based Ethereum ZK-Rollup) (Global Remote from Tokyo (UTC+9 · 東京リモート))
Taiko's Based Contestable Rollup (BCR) and Raiko multi-proof architecture represent the cleanest protocol design in Ethereum scaling: credible neutrality via L1 sequencing, paired with heterogeneous ZK/SGX/TEE proofs so no single prover bug can compromise state. Every system I build — from pureQTern's cross-language C↔Rust golden-hash equivalence to ZENO's SHA-256 Kintsugi ledger and Osaurus's cryptographic agent identity — is engineered around that exact principle: a claim is only real when a stranger can cryptographically verify the state transition to the bit.
Taikoが推進するBased Contestable Rollup(BCR)とマルチプルーバー基盤「Raiko」は、中央集権的なシーケンサーを排し、複数の独立した暗号学的証明によって単一障害点をなくす最も美しいプロトコル設計です。CとRustで1ビットの狂いもなくゴールデンハッシュが一致する決定論的コーデック(pureQTern)やSHA-256ハッシュチェーン台帳(ZENO)を構築してきた経験を活かし、東京(UTC+9)からTaikoのRustプロトコルと証明基盤の進化に貢献します。