Controlled research. Explicit authorization.

Cryptography and formal methods.

The published KeyAI Research record covers cryptography and formal methods, AI-assisted research verification, Lean formalization, and Research OS infrastructure.

The documented secp256k1/ECDLP research scope includes algebraic methods, generic and subgeneric algorithm analysis, Hidden Number Problem research, lattice methods, partial-information and side-channel models, ML-assisted leakage analysis, bounded experimental cryptanalysis, and formal verification.

This describes a research scope. It does not assert that every method is active or successful, or authorize an experiment outside its recorded project decision.

Only controlled, authorized instances.

The recorded experiment rules permit only synthetic or generated keys and instances, published public research challenges, systems and data owned by the organization, or explicitly authorized research targets.

Each experiment must record its scope, inputs, authorization, budget, and validation method. Public availability alone is not permission to access a system or use someone else's keys or data.

The historical external-pilot protocol has a stricter boundary: its instances must not protect live funds, accounts, or third-party assets. Existing project gates continue to apply.

Excluded activities.

• Unauthorized third-party systems.
• Third-party wallet or private-key recovery.
• Live-funds targets without explicit authorization.
• Credential theft.
• Accessing accounts or data without authorization.

KeyAI does not offer third-party cryptocurrency key recovery. This research scope does not imply access to live funds.

Claims follow the evidence.

No break of secp256k1 or solution to ECDLP is claimed. Formal statements, bounded observations, and open proposals retain their assumptions, proof trust, instance limits, and unresolved obligations.

Research governance · Results and proof scope · Technical workspace · Decision contract