Observed · not hosted
DeepSeek-V3
A signed record of the public facts about DeepSeek-AI's DeepSeek-V3, as observed on 2026-06-25. LeanLogix does not host, train, or evaluate this model — this passport makes the cited facts tamper-evident, not a benchmark claim.
Signed public facts
DeveloperDeepSeek-AI
Parameters671B total · 37B activated per token
Base architectureMixture-of-Experts (Multi-head Latent Attention, DeepSeekMoE, Multi-Token Prediction)
Context window128K tokens
Modalitytext
Released2024-12
LicenseDeepSeek License Agreement v1.0 (weights) · MIT (code)
Observed byLeanLogix · 2026-06-25
Dispositionobserved — public facts only, no benchmark signed
The seal — Ed25519, re-checkable offline
Signed with the same key that signs our hosted model passports — one provenance authority across both tiers. Verify it here, or paste the receipt into the public verifier and re-derive the proof in your own browser.
Signing key fpa97122c37f5c…97fac1e1
Body sha256c062a251438f…21e8c74f
Public-fact observation of a model LeanLogix does not host, train, or evaluate. No benchmark or quality claim is made or signed — only the cited public facts on the observed date. Signed with the LeanLogix provenance key so the record is tamper-evident and offline-verifiable.