Skip to content
View mokkunsuzuki-code's full-sized avatar

Block or report mokkunsuzuki-code

Report abuse

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

Report abuse
mokkunsuzuki-code/README.md

Motohiro Suzuki

Quantum Security Verification

I am exploring how quantum-security claims can be turned into reproducible and independently verifiable evidence.

My focus is not simply on whether a system uses Post-Quantum Cryptography (PQC), Quantum Key Distribution (QKD), or other quantum-security technologies.

The question I am interested in is:

When someone claims that a system is quantum-safe, what can an independent third party actually verify from the available evidence?

QSP

QSP Public Verification Portal:
https://github.com/mokkunsuzuki-code/qsp

I am building QSP, an open verification project exploring:

  • Post-Quantum Cryptography (PQC)
  • Cryptographic Agility
  • PQC Migration Evidence
  • Cross-Implementation Verification
  • Independent Re-verification
  • Evidence Portability
  • Cryptographic Binding
  • QKD Evidence Classification
  • Software Supply Chain Integrity
  • External Timestamp Evidence
  • Independent Assessment

Core Principle

Do not trust a quantum-security claim beyond what its evidence can independently demonstrate.

QSP distinguishes between:

Claimed → Evidenced → Verified → Independently Re-verified

and explicitly records states such as:

Not Verified · Pending · Unknown · Out of Scope

The project does not claim that an entire system is quantum-safe merely because PQC or another quantum-security technology has been implemented.

Mission

From Quantum-Security Claims to Verifiable Evidence.

My current work focuses on reproducible evidence chains for post-quantum security, including cryptographic binding, deterministic verification, cross-implementation interoperability, evidence preservation, and independent third-party verification.

I welcome technical review, reproducibility testing, criticism, and independent verification.

Pinned Loading

  1. stage380 stage380 Public

    Stage380: Independent Verification Package Contract & Deterministic Offline Core Verifier

    Python

  2. stage381 stage381 Public

    Stage381: Cross-Platform Deterministic Reverification & Reproducibility Gate

    Python

  3. stage386 stage386 Public

    Stage386 PQC Independent Re-verification, Public Key Binding & Evidence Portability Gate

    Python

  4. stage387 stage387 Public

    Stage387 PQC Multi-Implementation Interoperability & Verifier Independence Gate

    Python

  5. stage388 stage388 Public

    Stage388: Independent Assessment Readiness & Evidence Package Gate

    Python

  6. stage390 stage390 Public

    Stage390 Independent Third-Party Reproduction & Assessment Intake Gate

    Python