p-ATA tracking issue

[grod220]

Task breakdown to deploying p-ata, a pinocchio-based Associated Token Account program.

CreateAccountAllowPrefund

CreateAccountAllowPrefund is a system program instruction that permits account creation when the target account already has lamports (prefunded). It is a dependency for p-ata.

• SIMD-0312: CreateAccountAllowPrefund solana-foundation/solana-improvement-documents#312
• SIMD-0312: add CreateAccountAllowPrefund system instruction anza-xyz/solana-sdk#352
• add CreateAccountAllowPrefund, feature-gated anza-xyz/agave#9647
• Rekey create_account_allow_prefund feature anza-xyz/agave#9805
• programs/system: Rename payer to from anza-xyz/agave#10658
• feature-set: Rekey create-account-allow-prefund anza-xyz/agave#10708
• add CreateAccountAllowPrefund builder anza-xyz/pinocchio#307
• Confirm stable Agave lib release containing create_account_allow_prefund (currently in v4.0.0-alpha.0)
• Bump to stable 4.0 crates anza-xyz/mollusk#254
• Firedancer parity for CreateAccountAllowPrefund (runtime + types): https://github.com/firedancer-io/firedancer/blob/main/src/flamenco/runtime/program/fd_system_program.c
• Feature activation (https://github.com/anza-xyz/feature-gate-tracker/issues/93, feature key: 6sPDzwyARRExKH52LECxcGoqziH8G7SZofwuxi8Ja331, holder: @joncinque)
  • Devnet
  • Testnet
  • Mainnet

p-ATA

• p-ata: Idempotent w/ existing ATA #200
• Core PR to supersede: (Replaced) p-ata #102
• Update solana-program-test tests to mollusk (with helper harness) #131
• Scaffold pinocchio crates #197
• p-ata: create flow pt. 2 + sizing #204
• p-ata: RecoverNested migration #216
• p-ata: RecoverNested mixed mint #227
• Evaluate optimizations:
  • p-ata: use batch on t-22 create #230
  • p-ata: optional rent account #236
  • p-ata: account_len hint #256
  • p-ata: remove bump hints #237
  • p-ata: Make account len u32 #252
  • Wincode ix parsing #251
  • p-ata: Implement bump hints #250
  • p-ata: add CreateWithArgs instruction #249
  • token-2022: Add TLV extension state infrastructure and initial extension structs anza-xyz/pinocchio#349
  • interface: add allocation-free account length helper token-2022#1231
  • p-ata: Short circuit on known t22 lengths #258
  • p-ata: Use rent sysvar in init #275
  • p-ata: Use bump hint on idempotent no-op path #277
  • p-ata: Use rent sysvar in init #275
  • p-ata: InitializeAccount for t22 if rent passed  #278
  • Cold path error opts. Examples: A / B
• p-ata: RecoverNested multisig support #274
• sdk: Use direct account pointers in program entrypoint anza-xyz/pinocchio#421
• Use pinocchio-token-2022 batch helpers (not started)
• Update codama macros to handle multiig remaining accounts on RecoverNested
• Update pinocchio version when account pointers feature is activated
• program: RecoverNested doesn't forward TransferHook extra accounts #244
• Fresh benchmarks
• Nikita AI audit feedback
• Discussion posted: Migrate ATA program to pinocchio (p-ATA) solana-foundation/solana-improvement-documents#543
• SIMD-0567: CU-optimized ATA Program (p-ATA) solana-foundation/solana-improvement-documents#567
• Expose newer set of client ix builders w/ new instruction apis (replace in mollusk_harness & tests)
• Replace manual batch builder: https://github.com/solana-program/associated-token-account/blob/main/pinocchio/program/src/batch.rs#L18-L20
• Add feature gates (like SIMD-0266: Efficient Token program anza-xyz/agave#7125)
• Update to agave/mollusk/pinocchio 4.0 lib versions
• Fuzzing: review febo's and joe's guides.
• Add p-ata instruction creators to the interface crate #137
• SIMD-0418: Enable Loader v2 to v3 Program Migrations solana-foundation/solana-improvement-documents#418
• Test with https://github.com/febo/p-token-migration
• Formal verification (?)
• Security audit + remediation
• Devnet -> Testnet -> Mainnet activation
• Docs follow up Document security hazards of system_interface::instruction::create_account anza-xyz/solana-sdk#416