Payment Proofs

import { Treeship } from '@treeship/sdk';

const treeship = new Treeship({
  apiKey: process.env.TREESHIP_API_KEY
});

// Create a payment with proof generation
const payment = await treeship.commerce.createPayment({
  amount: 5000,
  currency: 'USD',
  recipient: 'agent_xyz',
  
  // Proof configuration
  proofConfig: {
    type: 'zk-SNARK',
    assertions: [
      'amount_within_limit',
      'recipient_authorized',
      'funds_available'
    ]
  }
});

// The proof can be shared publicly
console.log('Payment Proof:', payment.proof);
// Output: {
//   proofData: "0x8f9d3a...",
//   publicInputs: {
//     timestamp: 1706380800,
//     merkleRoot: "0x7d4e3..."
//   },
//   assertions: {
//     amount_within_limit: true,
//     recipient_authorized: true,
//     funds_available: true
//   }
// }

// Create a conditional payment with complex logic
const conditionalPayment = await treeship.commerce.createConditionalPayment({
  conditions: {
    // Payment releases when ALL conditions are met
    all: [
      {
        type: 'delivery_confirmed',
        verifier: 'oracle_address',
        deadline: '2024-12-31'
      },
      {
        type: 'quality_check_passed',
        threshold: 0.95,
        inspector: 'inspector_agent_id'
      }
    ]
  },
  
  payment: {
    amount: 10000,
    currency: 'USD',
    escrow: true
  },
  
  // Privacy settings
  privacy: {
    hideAmount: true,
    hideConditions: true,
    revealOnCompletion: ['amount']
  }
});

// Generate proof of escrow without revealing details
const escrowProof = await conditionalPayment.generateEscrowProof();

const simpleProof = await treeship.commerce.generatePaymentProof({
  transactionId: 'tx_123',
  assertions: ['payment_completed', 'amount_correct']
});

const rangeProof = await treeship.commerce.generateRangeProof({
  value: 15000,
  assertions: [
    { type: 'greater_than', value: 10000 },
    { type: 'less_than', value: 20000 }
  ]
});

const merkleProof = await treeship.commerce.generateMerkleProof({
  element: 'vendor_123',
  tree: 'authorized_vendors',
  assertion: 'vendor_is_authorized'
});

// Supplier agent receives order
const order = await supplierAgent.receiveOrder({
  items: ['component_a', 'component_b'],
  quantity: 1000,
  requiredBy: '2024-06-01'
});

// Generate production proof
const productionProof = await supplierAgent.generateProof({
  type: 'production_capability',
  assertions: [
    'has_materials',
    'has_capacity',
    'meets_timeline'
  ],
  privateInputs: {
    inventory: { /* private */ },
    schedule: { /* private */ }
  }
});

// Buyer verifies and creates payment
const payment = await buyerAgent.createPayment({
  amount: order.total,
  conditions: {
    productionProof: productionProof,
    deliveryOracle: 'logistics_oracle'
  },
  
  // Multi-stage release
  stages: [
    { percentage: 30, trigger: 'production_started' },
    { percentage: 50, trigger: 'quality_passed' },
    { percentage: 20, trigger: 'delivery_confirmed' }
  ]
});

// Each stage generates its own proof
const stage1Proof = await payment.completeStage(1, {
  evidence: productionStartEvidence,
  generateProof: true
});

// Public verification
const verification = await treeship.commerce.verifyPaymentProof({
  proof: paymentProof,
  expectedAssertions: ['payment_completed', 'amount_within_budget']
});

console.log('Proof Valid:', verification.isValid);
console.log('Assertions Met:', verification.assertions);

// Selective disclosure
const disclosure = await treeship.commerce.selectiveDisclose({
  proof: paymentProof,
  reveal: ['timestamp', 'currency'],
  to: 'auditor_address'
});

// Debug proof generation
try {
  const proof = await generatePaymentProof(payment);
} catch (error) {
  if (error.code === 'UNSATISFIABLE_CONSTRAINTS') {
    console.log('Check your inputs:', error.details);
  }
}