Skip to content
View m374-crypt0's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report m374-crypt0

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
m374-crypt0/README.md

Sébastien Lévy — Senior Software Engineer / Technical Lead

Note

Read my articles on dev.to

My full resume


C++ · Backend · Systems · Distributed Systems · Technical Leadership

Senior software engineer with 20+ years of experience building and evolving production software. I work on complex systems where correctness, performance and maintainability matter: C++ backends, distributed systems, low-level components, and more recently EVM-based protocols and Zero-Knowledge systems.

I'm at my best when I can work close to the code, take technical ownership, and help a team make better technical decisions.

What I Do

  • C++ / Systems engineering — complex codebases, modernization, performance, reliability
  • Backend engineering — distributed systems, services, infrastructure, observability
  • Technical leadership — design ownership, code review, mentoring, engineering practices
  • Blockchain engineering — EVM, Solidity, smart contracts, Zero-Knowledge, with a focus on RWA and RegTech

Selected Work

Concrete, verifiable. Each repository answers: problem → approach → result.

🔐 Privacy-Preserving Eligibility Proofs (RWA)

  • Problem: Prove eligibility for tokenized Real-World Asset protocols without disclosing private data
  • Approach: Noir ZK circuits, Solidity verifier, issuer/customer architecture, on-chain revocation
  • Result: End-to-end private flow validated on testnet
  • Repo: zk-assets

⚙️ EVM Protocol Engineering

  • Problem: Gas usage and unsafe edge cases in production-oriented contracts
  • Approach: Yul refactor, storage layout optimization, invariant and mainnet-fork testing
  • Result: ~35% gas reduction, critical paths hardened
  • Repos: dexterity, nifty

🧪 Systems & Backend (C++ / Distributed)

  • Focus: Large-scale C++ codebases, distributed components, observability, deterministic build environments
  • Context: Semiconductor test engineering, cloud telephony backends, cloud-deployed services
  • Stack: C++ · C · Python · Qt · Docker · OpenTelemetry · Linux · Networking

❔ Why these repositories exist

  • dexterity — demonstration of AMM architecture, security patterns and invariant testing.
  • nifty — demonstration of safe upgradeability and governance-ready protocol patterns.
  • zk-assets — demonstration of how to prove eligibility without disclosing private data. Not a full RWA framework, not a replacement for regulatory processes.

How I Work

  • Clear scope, clear ownership, clear communication
  • Documentation and async-friendly collaboration over hero coding
  • Pragmatic engineering: correctness, reliability, maintainability
  • Remote-first, comfortable across time zones

What I'm Looking For

  • Senior Software Engineer / Technical Lead roles (C++ / backend / systems)
  • Blockchain engineering roles with a serious, production-oriented focus (RWA, RegTech, ZK)
  • Environments where technical ownership and hands-on work are valued

Contact

Pinned Loading

  1. zk-assets zk-assets Public

    Prove you are eligible to any RWA policy - Privately

    Solidity 5

  2. nifty nifty Public

    An up-gradable digital deed

    Solidity

  3. dexterity dexterity Public

    An ERC20 Decentralized Exchange

    Solidity

  4. tooling tooling Public

    A curated list of tool I made and use every day

  5. spdit-prototype spdit-prototype Public

    A prototype to experiment new ways for information interchange

    TypeScript