Skip to content
View doomhammerhell's full-sized avatar
:octocat:
Focusing
:octocat:
Focusing

Organizations

@Stigning @WitnessChainNetwork @Aletheia-One @AxiomX-Protocol @QIA-QZK @Verifiable-Semantic-Execution-Layer @Aegis-OSI @Q-Trust-Plane

Block or report doomhammerhell

Report abuse

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

Report abuse
doomhammerhell/README.md

Mayckon Giovani

Principal Systems Engineer • Distributed Systems • Post-Quantum Infrastructure

I design and harden security-critical systems under adversarial conditions.

My work operates at the intersection of:

  • Post-Quantum Cryptography
  • Distributed Financial Infrastructure
  • Blockchain Protocol Engineering
  • Secure IIoT Communication
  • High-Performance Rust Backends
  • Zero-Trust Architecture

I don’t focus on shipping features.

I focus on enforcing invariants.


🧭 Engineering Doctrine

Systems fail at boundaries.

My approach:

  • Define invariants first
  • Model failure surfaces explicitly
  • Assume adversarial actors
  • Design for asymmetric degradation
  • Engineer for long-horizon maintainability

🔬 Current Focus Areas

  • Post-Quantum Key Exchange & Signature Systems (Kyber / Falcon)
  • Deterministic State Machines for Financial Ledgers
  • Protocol-level Attack Surface Analysis
  • Failure Models & Partial Partition Tolerance
  • Zero-Knowledge Execution Models
  • Cryptographic Infrastructure for Hostile Environments
  • Memory-constrained systems (no_std, heapless Rust)

🧱 Selected Projects

🧠 PQC-IIoT

Post-Quantum secure communication layer for Industrial IoT systems.
Zero-allocation Rust, Kyber-based handshake, heapless architecture.

🔐 Q-Trust Plane

Zero-trust governance infrastructure focused on cryptographic control planes.

🌀 Helix Protocol

Adversarially hardened decentralized execution architecture.

📊 Atlas DeFi

Multi-chain financial portfolio intelligence platform.


📚 Technical Writing

I publish deep technical articles on:

  • Distributed ledger invariants
  • Post-quantum cryptographic systems
  • Partition tolerance & failure modeling
  • Financial infrastructure correctness
  • Adversarial execution environments

Technical articles: → https://dev.to/doomhammerhell

Long-form essays & research notes: → https://mayckongiovani.vercel.app/pensieve


⚙️ Core Stack & Domains

Languages Rust • Go • TypeScript • Solidity

Infrastructure PostgreSQL • SurrealDB • Kubernetes • Docker • GitLab CI/CD

Blockchain Ethereum • Polkadot • EVM • Smart Contracts • MPC

Security & Cryptography Kyber • Falcon • Zero-Knowledge • Threat Modeling • Protocol Auditing


📊 Activity


🌍 Connect

Pinned Loading

  1. quantum-tunneler quantum-tunneler Public

    Quantum-safe IPSec protocol written entirely in Rust, leveraging Kyber & Falcon for post-quantum cryptography. Modular, no_std-ready, and ideal for secure tunnels in next-gen IIoT and VPN infrastru…

    Rust 7 1

  2. OpenQASMCompiler OpenQASMCompiler Public

    A modular, extensible compiler and interpreter for OpenQASM 2.0, written in C++ using Flex and Bison. Generates an Abstract Syntax Tree (AST), simulates quantum circuits, and includes CLI tools and…

    C++ 1

  3. CPZKp CPZKp Public

    🔐 Rust library for Chaum-Pedersen zero-knowledge proofs over scalar and elliptic curve groups (secp256k1), built for secure authentication and privacy-preserving systems.

    Rust 1

  4. pqc-iiot pqc-iiot Public

    A lightweight, modular, and no_std-friendly Rust crate providing post-quantum cryptographic primitives (Kyber, Falcon) tailored for secure Industrial IoT (IIoT) applications.

    C 3

  5. bitcoin-quantum-safe bitcoin-quantum-safe Public

    A formal, adversarial, and invariant-driven treatment of what it actually takes to make Bitcoin quantum-safe at the consensus level — not at the wallet level, not at the "just use a post-quantum si…

    Rust 55 1

  6. Noetheris Noetheris Public

    Structural Quantum Security Kernel for compiling security-critical system models into QUBO/Ising objectives, certificates, oracle mappings, CV/GKP diagnostics, and formal artifacts.

    Python