≡

(AB)ᵢⱼ = Σₖ AᵢₖBₖⱼ

tr(AB) = tr(BA)

∇L = ∂L/∂w

⊙

A = U Σ Vᵀ

rank(A) = #{σᵢ > 0}

‖A‖_F = √Σ σᵢ²

|A ∪ B| = |A| + |B| − |A ∩ B|

C(n,k) = n! / (k!(n−k)!)

↻ iterate

wₜ₊₁ = wₜ − η ∇L(wₜ)

L = − Σ y log ŷ

∂

P(A|B) = P(B|A) P(A) / P(B)

E[X] = Σ x P(x)

A = Q Λ Qᵀ

det(AB) = det A · det B

∀ε > 0, ∃δ

⟳

|⟨x,y⟩| ≤ ‖x‖·‖y‖

‖x+y‖ ≤ ‖x‖ + ‖y‖

∇

security & cryptography

Security and cryptography, built in-house.

Authentication, private networking, traffic filtering, and cryptography — the lab's own security tooling, all in development.

KeiAuth

The lab's own sign-in primitive, designed to need no password and no vendor hardware key. The mechanism is shared under NDA.

kgl-overlay

Self-hosted, Tailscale-class mesh VPN, built on standard networking and cryptography.

KeiWall

The lab's own web-application firewall: a Go reverse proxy with signature rules plus small machine-learning models.

MAX crypto

TLS 1.3, Ed25519, ChaCha20-Poly1305, Argon2id and BLAKE2b as C implementations in the MAX runtime, exposed as builtins and gated against RFC test vectors; the SHA-256/Poly1305 hot path is also written as FPGA RTL, verified in simulation.

Security & partnership inquiries

For security research collaboration, licensing, or a technical deep-dive under NDA — reach out via the contact page.

⊸ Security inquiry