smartledger-bsv 3.3.5 → 3.4.4

package/examples/smart_contract/covenant_builder_demo.js

@@ -1,176 +0,0 @@
-#!/usr/bin/env node
-/**
- * Covenant Builder Demo
- * ====================
- * 
- * Demonstrates how to use the enhanced SmartContract.Preimage API
- * to build practical covenant constraints with field isolation.
- * 
- * This example shows:
- * - Extracting preimage fields with JavaScript
- * - Generating ASM for stack operations
- * - Building covenant logic for common use cases
- * - Testing locally before broadcast
- */
-
-const SmartContract = require('../../lib/smart_contract');
-const crypto = require('crypto');
-
-console.log('🏗️  Smart Contract Covenant Builder Demo');
-console.log('='.repeat(60));
-
-// Get sample preimage for testing
-const preimageHex = require('../preimage/generate_sample_preimage').getLargePreimage();
-
-console.log('\n📋 Step 1: Analyze Preimage Structure');
-const analysis = SmartContract.Preimage.analyzeFromHex(preimageHex);
-console.log(`Preimage: ${analysis.length} bytes`);
-console.log(`Structure: LEFT(${analysis.structure.leftFixed}) + scriptLen(${analysis.structure.scriptLenVarint}) + script(${analysis.structure.scriptCode}) + RIGHT(${analysis.structure.rightFixed})`);
-console.log(`Valid BIP-143: ${analysis.validation.valid}`);
-
-console.log('\n🎯 Step 2: Common Covenant Patterns');
-
-// Pattern 1: Minimum Amount Covenant
-console.log('\n🔹 Pattern 1: Minimum Amount Covenant');
-const valueExtraction = SmartContract.Preimage.extractFromHex(preimageHex, 'value');
-console.log(`Current amount: ${valueExtraction.interpretation.satoshis} satoshis`);
-console.log('ASM to extract value:');
-console.log(valueExtraction.asm);
-console.log('\n💡 Use case: Ensure outputs meet minimum threshold (e.g., 1000 sats)');
-
-// Pattern 2: SIGHASH Validation Covenant
-console.log('\n🔹 Pattern 2: SIGHASH Validation Covenant');
-const sighashExtraction = SmartContract.Preimage.extractFromHex(preimageHex, 'sighashType');
-console.log(`SIGHASH type: ${sighashExtraction.interpretation.description}`);
-console.log('ASM to extract sighash:');
-console.log(sighashExtraction.asm);
-console.log('\n💡 Use case: Enforce specific signing behavior (SIGHASH_ALL, etc.)');
-
-// Pattern 3: Script Template Covenant
-console.log('\n🔹 Pattern 3: Script Template Covenant');
-const scriptExtraction = SmartContract.Preimage.extractFromHex(preimageHex, 'scriptCode');
-console.log(`Script type: ${scriptExtraction.interpretation.description}`);
-console.log('ASM to extract scriptCode:');
-console.log(scriptExtraction.asm);
-console.log('\n💡 Use case: Validate output script patterns (P2PKH, multisig, etc.)');
-
-console.log('\n🎮 Step 3: Multi-Field Covenant Logic');
-
-// Extract multiple fields for complex covenant
-const covenantFields = SmartContract.Preimage.extractMultipleFromHex(
-  preimageHex,
-  ['nVersion', 'hashPrevouts', 'value', 'sighashType', 'scriptCode']
-);
-
-console.log('\nCovenant constraint analysis:');
-Object.keys(covenantFields).forEach(field => {
-  const result = covenantFields[field];
-  console.log(`• ${field}: ${result.strategy} extraction → ${result.interpretation.description || 'Raw data'}`);
-});
-
-console.log('\n🔧 Step 4: Building Complete Covenant Script');
-
-// Example: Build a covenant that enforces minimum amount + specific SIGHASH
-function buildMinimumAmountCovenant(minimumSats, requiredSighash) {
-  const valueASM = SmartContract.Preimage.generateASMFromHex(preimageHex, 'value');
-  const sighashASM = SmartContract.Preimage.generateASMFromHex(preimageHex, 'sighashType');
-  
-  return `
-# 🏛️ Minimum Amount + SIGHASH Covenant
-# Ensures output has minimum ${minimumSats} satoshis and correct SIGHASH
-
-# Extract and validate amount
-${valueASM}
-# Stack: [value]
-OP_BIN2NUM               # Convert to number: [value_num]
-${minimumSats}           # Push minimum: [value_num, min]
-OP_GREATERTHANOREQUAL   # Check minimum: [bool]
-OP_VERIFY               # Verify minimum amount
-
-# Extract and validate SIGHASH
-${sighashASM}
-# Stack: [sighash]
-${requiredSighash}      # Push required SIGHASH: [sighash, required]
-OP_EQUAL               # Check SIGHASH: [bool]
-OP_VERIFY             # Verify SIGHASH type
-
-# If we reach here, covenant constraints are satisfied
-OP_TRUE               # Success: [true]
-
-# 📖 This covenant ensures:
-#   1. Output amount >= ${minimumSats} satoshis
-#   2. Transaction uses SIGHASH type ${requiredSighash}
-#   3. Can be extended with additional constraints
-  `.trim();
-}
-
-const covenantScript = buildMinimumAmountCovenant(1000, '0x41000000');
-console.log('\nGenerated covenant locking script:');
-console.log(covenantScript);
-
-console.log('\n🎯 Step 5: Covenant Testing Framework');
-
-// Create a testing framework for covenant validation
-function testCovenant(preimageHex, covenantLogic) {
-  console.log('\n🧪 Testing covenant logic...');
-  
-  try {
-    // Validate preimage structure
-    const validation = SmartContract.Preimage.validateFromHex(preimageHex);
-    if (!validation.valid) {
-      console.log('❌ Invalid preimage:', validation.errors.join(', '));
-      return false;
-    }
-    
-    // Extract fields for testing
-    const testFields = SmartContract.Preimage.extractMultipleFromHex(
-      preimageHex,
-      ['value', 'sighashType']
-    );
-    
-    // Test covenant constraints
-    const currentAmount = parseInt(testFields.value.interpretation.satoshis);
-    const currentSighash = testFields.sighashType.value;
-    
-    console.log(`Current amount: ${currentAmount} satoshis`);
-    console.log(`Current SIGHASH: ${testFields.sighashType.interpretation.description}`);
-    
-    // Simulate covenant checks
-    const minimumAmount = 1000;
-    const requiredSighash = '41000000'; // SIGHASH_ALL | FORKID
-    
-    const amountOK = currentAmount >= minimumAmount;
-    const sighashOK = currentSighash === requiredSighash;
-    
-    console.log(`✓ Amount check: ${amountOK ? 'PASS' : 'FAIL'} (${currentAmount} >= ${minimumAmount})`);
-    console.log(`✓ SIGHASH check: ${sighashOK ? 'PASS' : 'FAIL'} (${currentSighash} === ${requiredSighash})`);
-    
-    const covenantValid = amountOK && sighashOK;
-    console.log(`\\n🏛️ Covenant validation: ${covenantValid ? '✅ PASS' : '❌ FAIL'}`);
-    
-    return covenantValid;
-    
-  } catch (error) {
-    console.log('❌ Test error:', error.message);
-    return false;
-  }
-}
-
-const testResult = testCovenant(preimageHex, covenantScript);
-
-console.log('\n' + '='.repeat(60));
-console.log('🎉 Covenant Builder Demo Complete!');
-console.log('');
-console.log('🔗 What developers can now do:');
-console.log('  ✅ Extract any preimage field with JavaScript');
-console.log('  ✅ Generate optimal ASM for stack operations');
-console.log('  ✅ Build complex covenant constraints');
-console.log('  ✅ Test locally before broadcast');
-console.log('  ✅ Validate preimage structure and fields');
-console.log('  ✅ Create reusable covenant patterns');
-console.log('');
-console.log('📚 Next Steps:');
-console.log('  • Add real UTXO generation with BSV keys');
-console.log('  • Build custom locking/unlocking script generators');
-console.log('  • Implement local script verification engine');
-console.log('  • Create broadcast integration for production');

package/examples/smart_contract/script_testing_integration.js

@@ -1,198 +0,0 @@
-#!/usr/bin/env node
-/**
- * Smart Contract Script Testing Integration Demo
- * ============================================= 
- * 
- * Demonstrates how to integrate the script_interpreter.js with our
- * SmartContract development environment for complete covenant testing.
- */
-
-const SmartContract = require('../../lib/smart_contract');
-const { execSync } = require('child_process');
-const fs = require('fs');
-const path = require('path');
-
-console.log('🔧 Smart Contract Script Testing Integration');
-console.log('='.repeat(70));
-
-// ============================================================================
-// PHASE 1: CREATE COVENANT WITH REAL UTXOS
-// ============================================================================
-
-console.log('\n🏛️ Phase 1: Create Covenant with Real UTXOs');
-console.log('-'.repeat(50));
-
-// Create test environment
-const testEnv = SmartContract.createTestEnvironment({
-  utxoCount: 1,
-  satoshis: 100000,
-  covenantAmount: 80000
-});
-
-// Get preimage for analysis
-const preimageHex = testEnv.getPreimage();
-const keypair = testEnv.getKeypair();
-
-console.log('Test Environment:');
-console.log(`  Address: ${keypair.addressString}`);
-console.log(`  Preimage: ${preimageHex.substring(0, 40)}...`);
-
-// ============================================================================
-// PHASE 2: BUILD COVENANT LOCKING SCRIPT
-// ============================================================================
-
-console.log('\n🔒 Phase 2: Build Covenant Locking Script');
-console.log('-'.repeat(50));
-
-// Extract fields and generate ASM
-const valueField = testEnv.extractField('value');
-const sighashField = testEnv.extractField('sighashType');
-
-// Build a simple amount validation covenant
-const covenantASM = `
-# Amount Validation Covenant
-${valueField.asm}
-# Stack: [value_bytes]
-OP_BIN2NUM
-# Stack: [value_number]
-75000
-# Stack: [value_number, minimum]
-OP_GREATERTHANOREQUAL
-# Stack: [bool]
-`.trim().replace(/^#.*$/gm, '').replace(/\n\n+/g, '\n').trim();
-
-console.log('Generated Covenant ASM:');
-console.log(covenantASM);
-
-// ============================================================================
-// PHASE 3: BUILD UNLOCKING SCRIPT  
-// ============================================================================
-
-console.log('\n🔓 Phase 3: Build Unlocking Script');
-console.log('-'.repeat(50));
-
-// Create unlocking script that provides the preimage
-const unlockingASM = preimageHex;
-
-console.log('Unlocking Script (Preimage):');
-console.log(`  Length: ${preimageHex.length / 2} bytes`);
-console.log(`  Hex: ${preimageHex.substring(0, 60)}...`);
-
-// ============================================================================
-// PHASE 4: TEST WITH SCRIPT INTERPRETER
-// ============================================================================
-
-console.log('\n🧪 Phase 4: Test with Script Interpreter');
-console.log('-'.repeat(50));
-
-// Write scripts to temporary files for easier testing
-const tempDir = path.join(__dirname, 'temp');
-if (!fs.existsSync(tempDir)) {
-  fs.mkdirSync(tempDir);
-}
-
-const lockingFile = path.join(tempDir, 'locking.asm');
-const unlockingFile = path.join(tempDir, 'unlocking.hex');
-
-fs.writeFileSync(lockingFile, covenantASM);
-fs.writeFileSync(unlockingFile, unlockingASM);
-
-console.log('Script files created:');
-console.log(`  Locking: ${lockingFile}`);
-console.log(`  Unlocking: ${unlockingFile}`);
-
-// ============================================================================
-// PHASE 5: AUTOMATED SCRIPT VERIFICATION
-// ============================================================================
-
-console.log('\n⚡ Phase 5: Automated Script Verification');
-console.log('-'.repeat(50));
-
-function testCovenantScript(unlockingScript, lockingScript) {
-  console.log('Testing covenant script execution...');
-  
-  try {
-    // Test using our script interpreter
-    const interpreterPath = path.join(__dirname, '../scripts/script_interpreter.js');
-    
-    // Run truth evaluation
-    const cmd = `node "${interpreterPath}" --unlocking "${unlockingScript}" --locking "${lockingScript}" --truth`;
-    console.log('Executing:', cmd.substring(0, 80) + '...');
-    
-    const result = execSync(cmd, { 
-      encoding: 'utf8', 
-      timeout: 10000,
-      stdio: ['pipe', 'pipe', 'pipe']
-    });
-    
-    console.log('\\nScript Execution Result:');
-    console.log(result);
-    
-    // Parse result to determine success/failure
-    const success = result.includes('TRUE (Success)');
-    return { success, output: result };
-    
-  } catch (error) {
-    console.log('❌ Script execution failed:', error.message);
-    return { success: false, error: error.message };
-  }
-}
-
-// Test the covenant
-const testResult = testCovenantScript(unlockingASM, covenantASM);
-
-console.log('\\n📊 Test Results:');
-console.log(`  Success: ${testResult.success ? '✅ PASS' : '❌ FAIL'}`);
-
-if (testResult.success) {
-  console.log('  ✅ Covenant script executed successfully!');
-  console.log('  ✅ Amount constraint validated');
-  console.log('  ✅ Preimage extraction working');
-  console.log('  ✅ Ready for mainnet deployment');
-} else {
-  console.log('  ❌ Covenant validation failed');
-  console.log('  🔧 Debug with step-by-step execution:');
-  console.log(`     node examples/scripts/script_interpreter.js --unlocking "${unlockingASM.substring(0, 40)}..." --locking "${covenantASM.replace(/\n/g, ' ').substring(0, 40)}..." --step`);
-}
-
-// ============================================================================
-// PHASE 6: INTEGRATION SUMMARY
-// ============================================================================
-
-console.log('\n' + '='.repeat(70));
-console.log('🎯 SCRIPT TESTING INTEGRATION COMPLETE');
-console.log('='.repeat(70));
-
-console.log('\n🔗 Integration Benefits:');
-console.log('  ✅ Generate covenants with real BSV UTXOs');
-console.log('  ✅ Extract preimage fields automatically');
-console.log('  ✅ Build ASM scripts with field validation');
-console.log('  ✅ Test covenant execution with script interpreter');
-console.log('  ✅ Debug step-by-step when issues arise');
-console.log('  ✅ Verify locally before expensive broadcast');
-
-console.log('\n🚀 Complete Workflow Available:');
-console.log('  1. SmartContract.UTXOGenerator → Real UTXOs');
-console.log('  2. SmartContract.Preimage → Field extraction + ASM');
-console.log('  3. Custom covenant logic → Locking scripts');
-console.log('  4. script_interpreter.js → Local verification');
-console.log('  5. Mainnet broadcast → Production deployment');
-
-console.log('\n💡 Debug Commands:');
-console.log('  # Step-by-step execution:');
-console.log('  node examples/scripts/script_interpreter.js --combined "YOUR_ASM" --step');
-console.log('');
-console.log('  # Truth evaluation:');
-console.log('  node examples/scripts/script_interpreter.js --unlocking "HEX" --locking "ASM" --truth');
-
-console.log('\n✅ Smart contract development ecosystem with script testing is complete!');
-
-// Cleanup
-try {
-  fs.unlinkSync(lockingFile);
-  fs.unlinkSync(unlockingFile);
-  fs.rmdirSync(tempDir);
-  console.log('\\n🧹 Temporary files cleaned up');
-} catch (e) {
-  // Ignore cleanup errors
-}