Skip to content
View o2splatform-cmyk's full-sized avatar

Block or report o2splatform-cmyk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
o2splatform-cmyk/README.md

Alex Le

Senior Distributed Systems & Smart Contract Engineer · O2S Systems Lab (Singapore)

Core Focus Areas

  • Smart Contracts & Settlement Protocols: Rust / Soroban (Stellar), Solidity / Foundry (EVM), deterministic escrow state machines, and cryptographic verification (secp256k1 / ed25519 / EIP-712).
  • Protocol Security & Formal Invariants: Static invariant verification, local-fork exploit reproduction, and automated fuzzing harnesses.
  • Cloud & Infrastructure Benchmarks: High-throughput Node.js/TypeScript & Rust services, verifiable open-data registries, and micropayment APIs.

Selected Technical Work

  • Soroban Payment & Escrow State Machines: Dispute window invariants, atomic escrow transitions, and ledger timestamp boundary verification.
  • Infrastructure & Cloud Credit Registry Analysis: https://o2splatform-cmyk.github.io

Popular repositories Loading

  1. o2splatform-cmyk.github.io o2splatform-cmyk.github.io Public

    Interactive L2 & x402 settlement latency benchmarks, open data registry dataset explorer, and protocol engineering documentation.

    HTML

  2. OphirPay OphirPay Public

    Forked from OphirPay/OphirPay

    Soroban smart contract payment & escrow settlement engine — dispute cooling-off invariant and state-transition hardening.

    TypeScript

  3. o2splatform-cmyk o2splatform-cmyk Public

    Senior Distributed Systems & Smart Contract Engineer (Rust / Soroban / EVM / TypeScript) — protocol architecture & benchmarks.

  4. Go-Hybrid Go-Hybrid Public

    Forked from limitlessprojects/Go-Hybrid

    Hybrid: a Go superset with compiler-enforced ownership & sendability. Add a .hy file, get plain readable Go. If you know Go, you already know Hybrid.

    Rust