Selected Work & Open-Source Architecture
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.
Direct Portal, LinkedIn Contacts & 1-Click Outreach
Daniel Wang
Co-founder & CEO pioneering Based Contestable Rollups (BCR) and decentralized proposer/prover markets.
Brecht Devos
Co-founder & CTO leading Type-1 Ethereum-equivalent ZK-EVM & Raiko multi-proof architecture.
Taiko Labs People & Protocol Recruiting
Direct protocol engineering & operations team at Taiko Labs.
Hi! I built an interactive Based Rollup state-ring & Rust verifiable-compute portfolio specifically for Taiko Labs: https://taiko.vaked.dev — showcasing bit-exact C↔Rust codecs (pureQTern), Kintsugi SHA-256 ledgers (ZENO) & GPU kernels. Would love to connect! — Péter Lódri
Dear Taiko Labs Protocol & Engineering Team (Daniel, Brecht & Team), I built a live interactive Based Rollup verification showcase and protocol engineering CV specifically for Taiko Labs: • Live Interactive Protocol CV: https://taiko.vaked.dev • Protocol & Rust Engineering CV (PDF): https://taiko.vaked.dev/resume.pdf • Verifiable Systems Portfolio (PDF): https://taiko.vaked.dev/portfolio.pdf • Full Protocol Application Dossier: https://taiko.vaked.dev/application Why my work maps directly to Taiko's Rust nodes and Raiko multi-proof pipeline: 1. Cross-Language Bit-Exact Determinism (pureQTern): Dependency-free C and Rust codecs verified to produce identical SHA-256 golden hashes across architectures — the exact discipline required for multi-client L2 state transitions. 2. Cryptographic Ledgers & Verifiable Credentials (ZENO & AgentField): Architected ZENO's double-entry Kintsugi SHA-256 hash-chained ledger (zeno.vaked.dev) and AgentField's cryptographic VC verification gates, plus Core Architect on Osaurus (cryptographic agent identity in Swift) and Osiris. 3. Custom GPU Compute Kernels (MLX-QUANT): Low-level Metal/GPU kernels achieving 12.80× compression. Warm regards, Péter József Lódri https://www.linkedin.com/in/peter-lodri/
Technical Stack & Capabilities
Rust, C, Swift 6, Go — SIMD, custom Metal/WebGL2 GPU kernels, BitNet b1.58 {-1, 0, +1} ternary quantization (12.80× memory reduction), zero-dependency binaries.
Unity, Three.js, WebGL2, GLSL/HLSL shaders, oscilloscope vector synthesis, LiDAR/geospatial 3D telemetry (Osiris), procedural Web Audio.
Core Architect on Osaurus (osaurus-ai/osaurus) & Osiris (simplifaisoul/osiris), contributor to Headroom (PR #1418 kompress router), creator of AgentField verifiable DAGs.
9+ years shipping high-concurrency Go/Python/Rust/TS systems (ASAPP, DailyWire 110k concurrent users, institutional fintech ETL). Fluent English, native Hungarian, conversational multi-lingual + daily Japanese in Tokyo.
Why Taiko Labs (Based Ethereum ZK-Rollup)
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プロトコルと証明基盤の進化に貢献します。