Instruction: deposit_spl

This instruction finalizes a DA fact.

Input parameters

• fact: [u8; 32]: The DA fact to finalize.

Accounts

• payer: The signer for this transaction who pays account-creation fees.

  • Signer: Yes.

  • Init: No.

  • PDA: No.

  • Mutable: Yes.

  • Constraints: Must have sufficient lamports to cover the account-creation cost.

• fact_state_storage: The account to store the DA-fact finalization.

  • Signer: No.

  • Init: Yes.

  • PDA: Yes (derived from DA_FACT_STORAGE_SEED and fact with bump).

  • Mutable: Yes.

  • Constraints: Must be a new account initialized with space 8 + 1 (discriminator + FactStateStorage size).

Additional checks and behavior

• Sets fact_state_storage to a FactStateStorage struct with the state FactState::Finalized.

• Logs a FinalizeDaFact event.

CPI

N/A.