Installation

import {
  verifyZeroCiphertext,
  verifyPubkeyValidity,
  getVerifyProofInstruction,
  ZK_ELGAMAL_PROOF_PROGRAM_ADDRESS,
} from '@solana-program/zk-elgamal-proof';

import { verifyZeroCiphertext } from '@solana-program/zk-elgamal-proof';
import { ElGamalKeypair, ZeroCiphertextProofData } from '@solana/zk-sdk/node';
import { createSolanaRpc, generateKeyPairSigner } from '@solana/kit';

// Setup
const rpc = createSolanaRpc('https://api.devnet.solana.com');
const payer = await generateKeyPairSigner();

// Generate a valid zero ciphertext proof
const keypair = new ElGamalKeypair();
const ciphertext = keypair.pubkey().encryptU64(0n);
const proof = new ZeroCiphertextProofData(keypair, ciphertext);
const proofData = proof.toBytes();

// Create verification instructions
const instructions = await verifyZeroCiphertext({
  rpc,
  payer,
  proofData,
});

// Send transaction with the instructions
// ... transaction sending code

import { verifyZeroCiphertext } from '@solana-program/zk-elgamal-proof';
import { generateKeyPairSigner } from '@solana/kit';

// Create a context account to store the proof
const contextAccount = await generateKeyPairSigner();

const instructions = await verifyZeroCiphertext({
  rpc,
  payer,
  proofData,
  contextState: {
    contextAccount,
    authority: payer.address,
  },
});

// The instructions will:
// 1. Create the context state account
// 2. Verify the proof and store it in the context account

import { verifyZeroCiphertext } from '@solana-program/zk-elgamal-proof';
import { createRecord, createWriteInstruction, RECORD_META_DATA_SIZE } from '@solana-program/record';

// First, create and write proof to a record account
const { recordKeypair, ixs: initIxs } = await createRecord({
  rpc,
  payer,
  authority: recordAuthority.address,
  dataLength: BigInt(proofData.length),
});

const writeIx = createWriteInstruction({
  recordAccount: recordKeypair.address,
  authority: recordAuthority,
  offset: 0n,
  data: proofData,
});

// Send init and write instructions first
// ...

// Then verify using the record account
const verifyIxs = await verifyZeroCiphertext({
  rpc,
  payer,
  proofData: {
    account: recordKeypair.address,
    offset: Number(RECORD_META_DATA_SIZE),
  },
});

{
  "compilerOptions": {
    "moduleResolution": "bundler",
    "module": "ES2022",
    "target": "ES2022",
    "lib": ["ES2022"],
    "skipLibCheck": true
  }
}