Security And Abuse Resistance

CoreTex is designed around deterministic replay and fail-closed rejection.

Hard Rejections

Patches are rejected for:

• Wrong parent root
• Patch budget violation
• Reserved-bit writes
• No-op writes
• Invalid target region
• State-compliance failure
• No measurable improvement
• Protected-regression failure

Anti-Withholding Incentive

A useful patch earns normal credits when it advances the live state. If a miner withholds a better patch, another miner can advance the state first.

Auditability

The coordinator cannot silently invent roots. Accepted patches, state advances, snapshots, and finalized roots are all public. Independent validators replay them and compare roots.

Remaining Trust Assumption

V0 does not have an on-chain fraud proof for the full CoreTex evaluator. The EVM cannot cheaply rerun the memory benchmark. Instead, V0 uses a public audit window and operator revert path. V1 should move toward bonded challenges or succinct proofs.