Skip to content
View miladtsx's full-sized avatar
🎯
🎯
31 followers · 23 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@LinkTrue @BlockByBlock-Network

Block or report miladtsx

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
miladtsx/README.md

Protocol Reliability Engagement

Applied invariant-driven reliability analysis to active infrastructure systems:

  • NEAR MPC (threshold cryptography infrastructure) —
    Identified a startup identity ambiguity in participant ↔ TLS key mapping and proposed strict bijection enforcement to preserve deterministic peer attribution.
    near/mpc#2250

  • Ironclaw (AI agent orchestration) —
    Identified a permission-state consistency gap under revocation and proposed containment to prevent post-revocation execution ambiguity.
    nearai/ironclaw#358

Emphasis on structural clarity, fail-fast guarantees, and explicit recovery boundaries in value-bearing systems.

Pinned Loading

  1. software-correctness-lab software-correctness-lab Public

    Deterministic reliability lab focused on failure modes, invariants, and recovery boundaries in infrastructure systems.

    Python