Add Solana zero-knowledge proof program with prove/finalize workflow

[Copilot]

Adds Solana smart contract for on-chain zero-knowledge proof verification with a two-phase prove/finalize workflow.

Structure

• solana/programs/zkproof/ - Anchor program with three instructions:

  • initialize - Creates proof account
  • prove - Submits proof data (max 1024 bytes)
  • finalize - Verifies and completes proof

• solana/README.md - Complete usage documentation with TypeScript examples

• solana/tests/ - Test suite covering happy path and error cases

Usage

// Initialize proof account
await program.methods.initialize()
  .accounts({ proofAccount, authority, systemProgram })
  .rpc();

// Submit proof data
await program.methods.prove(proofData)
  .accounts({ proofAccount, authority })
  .rpc();

// Verify and finalize
await program.methods.finalize()
  .accounts({ proofAccount, authority })
  .rpc();

Account Structure

pub struct ProofAccount {
    pub authority: Pubkey,    // Access control
    pub verified: bool,       // Verification status
    pub proof_data: Vec<u8>,  // ZK proof bytes
}

Space calculation accounts for discriminator (8) + pubkey (32) + bool (1) + vec metadata (4) + proof data (1024) = 1069 bytes.

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.