ASSESSMENT
Kraken’s documents allow unusually concrete security and reserve checks, provided the lab retains examination scope and snapshot limitations. The result is a documented control set, not a perpetual assurance certificate.
EXCHANGE DOCUMENT RUN
Protocol map covers Exchange versus Wallet, EEA entity allocation, account controls, the 30 June 2026 reserve snapshot and route-dependent fees and holds.
Kraken Exchange documentary evidence for global and EEA services; Kraken Wallet and live customer journeys are outside this run.
Kraken’s documents allow unusually concrete security and reserve checks, provided the lab retains examination scope and snapshot limitations. The result is a documented control set, not a perpetual assurance certificate.
Users comfortable configuring passkeys or granular 2FA and comparing Instant, Pro and funding-hold conditions as separate protocols.
Inspectability is strong, but entity allocation and point-in-time evidence prevent an all-service safety conclusion.
DOCUMENTARY AXES
Each axis distinguishes a documentary result from the controlled scenario protocol.
DOCUMENT / Global and EEA terms map services to different Irish and Cypriot entities.
LIMIT / A named group does not mean every service has identical authorisation.documentedDOCUMENT / Kraken documents custody controls and a 30 June 2026 customer-verifiable reserve snapshot.
LIMIT / Snapshot inclusion is not continuous solvency or a financial audit.documentedDOCUMENT / Instant and Pro use different pricing mechanics; funding documents disclose method-specific holds.
LIMIT / Total realised cost and exit time require an account scenario.documentedDOCUMENT / Passkeys, granular 2FA, GSL, ISO 27001 and SOC 2 Type 1 are publicly described.
LIMIT / Configuration adoption, full examination scope and support performance are unmeasured.documentedPROTOCOL MODULES
No scenario is labelled complete unless inputs, environment, steps and limitations are captured.
Custodial Exchange and self-custody Wallet are separated.
Published account controls are catalogued.
Snapshot and Merkle inclusion mechanism are documented.
Fee and hold rules are identified.
ANALYSIS OUTPUT
Primary artefacts sit beside each result. Documentary proof is never promoted into an unobserved runtime claim.
Kraken’s help material explicitly allocates the Exchange to custodial control and Kraken Wallet to user-held recovery. The proof rig therefore treats them as different subjects. A Wallet feature cannot satisfy an Exchange custody assertion, and vice versa.
SOURCES / Kraken Support · KrakenEEA terms assign crypto-asset, e-money and certain investment or derivative functions to different Irish or Cypriot companies. That is enough to populate a service-to-entity matrix, but not to label the whole interface ‘MiCA regulated’ without testing each activity and permission.
SOURCES / Kraken · KrakenThe security page documents passkeys, two-factor options, Global Settings Lock and cold/hot control claims, plus ISO 27001 and a SOC 2 Type 1 examination. The lab records those artefacts as capabilities; it cannot infer user configuration, future effectiveness or coverage beyond the stated scope.
SOURCES / KrakenThe proof-of-reserves interface reviewed showed 30 June 2026 and supports customer Merkle-inclusion checks. Kraken also states point-in-time and encumbrance constraints. The reproducible result is ‘inclusion can be checked for the supported snapshot’, not ‘Kraken is solvent now’.
SOURCES / KrakenInstant and Kraken Pro pricing belong to separate test cases. Funding documentation further shows that rapid processing may be paired with a 72-hour or seven-day withdrawal restriction. A timing benchmark must start at deposit and end at transferable withdrawal, not at account credit.
SOURCES / Kraken · Kraken SupportThe SEC’s 2023 staking settlement is a valid US historical artefact for that service and period. It does not substitute for current EEA terms or establish the legal state of every present product. The protocol keeps enforcement history and current authorisation in separate fields.
SOURCES / US SEC · KrakenDEEP PROTOCOL ARRAY / 10 RUNS
Documentary baselines were retrieved on . Protocol outputs are published with fixed inputs, procedures and pass artefacts.
Kraken publishes a detailed security-control baseline.
The Pro route is documentable and reproducible.
The procedure cannot support that output.
Published methods can impose holds.
SOURCES / Kraken Support · Kraken
SOURCES / Kraken
SOURCES / Kraken
SOURCES / Kraken Support
DECISION ENVIRONMENTS
Environment / No-value account with passkey/2FA/GSL.
Variables / Recovery and sensitive change.
Output / Control-chain output.
PUBLISHEDEnvironment / One bank/card rail.
Variables / Tradable versus withdrawable clocks.
Output / Hold-adjusted route.
PUBLISHEDEnvironment / Fixed market/window/tier.
Variables / Market/limit/API.
Output / Execution dataset.
PUBLISHEDEnvironment / Named entity/activity.
Variables / Policy question and data request.
Output / Remedy and privacy output.
PUBLISHEDCHANGE SIGNALS
Activity-specific regulation remains a required resolver.
PoR output stays point-in-time.
Runtime input freeze ready.
ALTERNATIVE RIGS
Listed-company traceability and mainstream onboarding lead.
Market/API breadth leads and local eligibility is clear.
STOP GATE
METHOD
CHANGE LOG
Added ten test rigs and four decision environments with explicit pass evidence.
FAQ
No.
Some documented methods can.
No.
No; configuration and recovery are protocol inputs.
Document review dated . Author: Axial Proof Editorial Team. Independent reviewer: Axial Proof Review Team.