Quick Start Guide

Get up and running with ZKPRET in 5 minutes! This guide will walk you through setting up a local development environment and running your first zero-knowledge proof.

Prerequisites

Before you begin, ensure you have the following installed:

Node.js (version 18 or higher)
npm or yarn package manager
Git for cloning repositories

# Check your versions
node --version  # Should be 18+
npm --version   # Should be 9+

Installation

1. Clone the Repository

git clone https://github.com/chainaim3003/zk-pret-test-v3.6.git
cd zk-pret-test-v3.6

2. Install Dependencies

npm install

3. Build the Project

npm run build

Zero-Knowledge Proof Examples

This project demonstrates three different zero-knowledge proof implementations for enterprise compliance and verification.

1. GLEIF Data Verification

Validates Legal Entity Identifier (LEI) data for companies without revealing sensitive information.

Command:

node ./build/tests/with-sign/GLEIFLocalMultiVerifier.js "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED"

Output:

$ node ./build/tests/with-sign/GLEIFLocalMultiVerifier.js "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED"
� Oracle Registry: Detected environment: LOCAL
� BlockchainManager: Creating shared LocalBlockchain instance...
✅ Oracle Registry: Clean architecture initialized for LOCAL environment
� LocalBlockchain will be created for test compatibility
//////////////////////*******************/////////////////////GELIF************************!!!!!!!!!!!!!!!!!*
************//////////////

� Starting verification for: "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED"
\n� GLEIF Multi-Company Verification Test Started
� Companies: SREE PALANI ANDAVAR AGROS PRIVATE LIMITED
� Total Companies: 1
\n� Setting up local blockchain...
✅ BlockchainManager: LocalBlockchain initialized (proofs: true)
\n� Compiling ZK programs...
✅ GLEIFOptim ZK program compiled
✅ GLEIFOptimMultiCompanySmartContract compiled
\n� Deploying multi-company smart contract...
✅ Multi-company smart contract deployed successfully
\n================================================================================
� Processing Company 1/1: SREE PALANI ANDAVAR AGROS PRIVATE LIMITED
================================================================================
\n� STAGE 1: Resolving company name to LEI...
� STAGE 1: Two-Stage Lookup - Resolving company name to LEI
� Company Name: "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED"
� Normalized: "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED"
Company Name: SREE PALANI ANDAVAR AGROS PRIVATE LIMITED
Type of Network: LOCAL
------------------------------------------------using live GLEIF API-----------------------------------------
---------

� COMPLETE GLEIF API RESPONSE:
====================================================================================================
{
  "meta": {
    "goldenCopy": {
      "publishDate": "2025-08-21T16:00:00Z"
    },
    "pagination": {
      "currentPage": 1,
      "perPage": 15,
      "from": 1,
      "to": 1,
      "total": 1,
      "lastPage": 1
    }
  },
  "links": {
    "first": "https://api.gleif.org/api/v1/lei-records?filter%5Bentity.legalName%5D=SREE+PALANI+ANDAVAR+AGROS
+PRIVATE+LIMITED&page%5Bnumber%5D=1&page%5Bsize%5D=15",
    "last": "https://api.gleif.org/api/v1/lei-records?filter%5Bentity.legalName%5D=SREE+PALANI+ANDAVAR+AGROS+
PRIVATE+LIMITED&page%5Bnumber%5D=1&page%5Bsize%5D=15"
  },
  "data": [
    {
      "type": "lei-records",
      "id": "894500Q32QG6KKGMMI95",
      "attributes": {
        "lei": "894500Q32QG6KKGMMI95",
        "entity": {
          "legalName": {
            "name": "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED",
            "language": "en"
          },
          "otherNames": [],
          "transliteratedOtherNames": [],
          "legalAddress": {
            "language": "en",
            "addressLines": [
              "Door No. 3/5-G, Sri Balaji Nagar, Theethipalayam, Perur (PO)"
            ],
            "addressNumber": null,
            "addressNumberWithinBuilding": null,
            "mailRouting": null,
            "city": "Coimbatore",
            "region": "IN-TN",
            "country": "IN",
            "postalCode": "641010"
          },
          "headquartersAddress": {
            "language": "en",
            "addressLines": [
              "Door No. 3/5-G, Sri Balaji Nagar, Theethipalayam, Perur (PO)"
            ],
            "addressNumber": null,
            "addressNumberWithinBuilding": null,
            "mailRouting": null,
            "city": "Coimbatore",
            "region": "IN-TN",
            "country": "IN",
            "postalCode": "641010"
          },
          "registeredAt": {
            "id": "RA000394",
            "other": null
          },
          "registeredAs": "U01112TZ2022PTC039493",
          "jurisdiction": "IN",
          "category": "GENERAL",
          "legalForm": {
            "id": "YSP9",
            "other": null
          },
          "associatedEntity": {
            "lei": null,
            "name": null
          },
          "status": "ACTIVE",
          "expiration": {
            "date": null,
            "reason": null
          },
          "successorEntity": {
            "lei": null,
            "name": null
          },
          "successorEntities": [],
          "creationDate": "2022-07-18T21:00:00Z",
          "subCategory": null,
          "otherAddresses": [],
          "eventGroups": []
        },
        "registration": {
          "initialRegistrationDate": "2025-05-22T12:25:39Z",
          "lastUpdateDate": "2025-05-22T12:25:40Z",
          "status": "ISSUED",
          "nextRenewalDate": "2026-05-22T12:25:40Z",
          "managingLou": "529900F6BNUR3RJ2WH29",
          "corroborationLevel": "FULLY_CORROBORATED",
          "validatedAt": {
            "id": "RA000394",
            "other": null
          },
          "validatedAs": "U01112TZ2022PTC039493",
          "otherValidationAuthorities": []
        },
        "bic": null,
        "mic": null,
        "ocid": "in/U01112TZ2022PTC039493",
        "qcc": "QINDAD21MX",
        "spglobal": [
          "1944713700"
        ],
        "conformityFlag": "CONFORMING"
      },
      "relationships": {
        "managing-lou": {
          "links": {
            "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/managing-lou"
          }
        },
        "lei-issuer": {
          "links": {
            "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/lei-issuer"
          }
        },
        "field-modifications": {
          "links": {
            "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/field-modifications"   
          }
        },
        "direct-parent": {
          "links": {
            "reporting-exception": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/direct-pare
nt-reporting-exception"
          }
        },
        "ultimate-parent": {
          "links": {
            "reporting-exception": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/ultimate-pa
rent-reporting-exception"
          }
        }
      },
      "links": {
        "self": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95"
      }
    }
  ]
}

� DETAILED RECORD ANALYSIS:
====================================================================================================

� BASIC RECORD INFO:
Type: lei-records
ID (LEI): 894500Q32QG6KKGMMI95

� ATTRIBUTES SECTION (Complete Object):
────────────────────────────────────────────────────────────────────────────────
{
  "lei": "894500Q32QG6KKGMMI95",
  "entity": {
    "legalName": {
      "name": "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED",
      "language": "en"
    },
    "otherNames": [],
    "transliteratedOtherNames": [],
    "legalAddress": {
      "language": "en",
      "addressLines": [
        "Door No. 3/5-G, Sri Balaji Nagar, Theethipalayam, Perur (PO)"
      ],
      "addressNumber": null,
      "addressNumberWithinBuilding": null,
      "mailRouting": null,
      "city": "Coimbatore",
      "region": "IN-TN",
      "country": "IN",
      "postalCode": "641010"
    },
    "headquartersAddress": {
      "language": "en",
      "addressLines": [
        "Door No. 3/5-G, Sri Balaji Nagar, Theethipalayam, Perur (PO)"
      ],
      "addressNumber": null,
      "addressNumberWithinBuilding": null,
      "mailRouting": null,
      "city": "Coimbatore",
      "region": "IN-TN",
      "country": "IN",
      "postalCode": "641010"
    },
    "registeredAt": {
      "id": "RA000394",
      "other": null
    },
    "registeredAs": "U01112TZ2022PTC039493",
    "jurisdiction": "IN",
    "category": "GENERAL",
    "legalForm": {
      "id": "YSP9",
      "other": null
    },
    "associatedEntity": {
      "lei": null,
      "name": null
    },
    "status": "ACTIVE",
    "expiration": {
      "date": null,
      "reason": null
    },
    "successorEntity": {
      "lei": null,
      "name": null
    },
    "successorEntities": [],
    "creationDate": "2022-07-18T21:00:00Z",
    "subCategory": null,
    "otherAddresses": [],
    "eventGroups": []
  },
  "registration": {
    "initialRegistrationDate": "2025-05-22T12:25:39Z",
    "lastUpdateDate": "2025-05-22T12:25:40Z",
    "status": "ISSUED",
    "nextRenewalDate": "2026-05-22T12:25:40Z",
    "managingLou": "529900F6BNUR3RJ2WH29",
    "corroborationLevel": "FULLY_CORROBORATED",
    "validatedAt": {
      "id": "RA000394",
      "other": null
    },
    "validatedAs": "U01112TZ2022PTC039493",
    "otherValidationAuthorities": []
  },
  "bic": null,
  "mic": null,
  "ocid": "in/U01112TZ2022PTC039493",
  "qcc": "QINDAD21MX",
  "spglobal": [
    "1944713700"
  ],
  "conformityFlag": "CONFORMING"
}

� RELATIONSHIPS SECTION (Complete Object):
────────────────────────────────────────────────────────────────────────────────
{
  "managing-lou": {
    "links": {
      "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/managing-lou"
    }
  },
  "lei-issuer": {
    "links": {
      "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/lei-issuer"
    }
  },
  "field-modifications": {
    "links": {
      "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/field-modifications"
    }
  },
  "direct-parent": {
    "links": {
      "reporting-exception": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/direct-parent-rep
orting-exception"
    }
  },
  "ultimate-parent": {
    "links": {
      "reporting-exception": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/ultimate-parent-r
eporting-exception"
    }
  }
}

� LINKS SECTION (Complete Object):
────────────────────────────────────────────────────────────────────────────────
{
  "self": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95"
}

� ZK CIRCUIT OPTIMIZATION ANALYSIS:
====================================================================================================
� ANALYZING DATA STRUCTURE FOR ZK OPTIMIZATION...

� ATTRIBUTES STRUCTURE ANALYSIS:
  ✅ LEI: 894500Q32QG6KKGMMI95

� ENTITY DATA STRUCTURE:
  ✅ Legal Name: SREE PALANI ANDAVAR AGROS PRIVATE LIMITED
  ✅ Status: ACTIVE
  ✅ Jurisdiction: IN

  � LEGAL ADDRESS DATA:
{
    "language": "en",
    "addressLines": [
        "Door No. 3/5-G, Sri Balaji Nagar, Theethipalayam, Perur (PO)"
    ],
    "addressNumber": null,
    "addressNumberWithinBuilding": null,
    "mailRouting": null,
    "city": "Coimbatore",
    "region": "IN-TN",
    "country": "IN",
    "postalCode": "641010"
}

  � HEADQUARTERS ADDRESS DATA:
{
    "language": "en",
    "addressLines": [
        "Door No. 3/5-G, Sri Balaji Nagar, Theethipalayam, Perur (PO)"
    ],
    "addressNumber": null,
    "addressNumberWithinBuilding": null,
    "mailRouting": null,
    "city": "Coimbatore",
    "region": "IN-TN",
    "country": "IN",
    "postalCode": "641010"
}
  ✅ Legal Form: YSP9
  ✅ Category: GENERAL

� REGISTRATION DATA STRUCTURE:
{
  "initialRegistrationDate": "2025-05-22T12:25:39Z",
  "lastUpdateDate": "2025-05-22T12:25:40Z",
  "status": "ISSUED",
  "nextRenewalDate": "2026-05-22T12:25:40Z",
  "managingLou": "529900F6BNUR3RJ2WH29",
  "corroborationLevel": "FULLY_CORROBORATED",
  "validatedAt": {
    "id": "RA000394",
    "other": null
  },
  "validatedAs": "U01112TZ2022PTC039493",
  "otherValidationAuthorities": []
}

� RELATIONSHIPS STRUCTURE ANALYSIS:
{
  "managing-lou": {
    "links": {
      "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/managing-lou"
    }
  },
  "lei-issuer": {
    "links": {
      "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/lei-issuer"
    }
  },
  "field-modifications": {
    "links": {
      "related": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/field-modifications"
    }
  },
  "direct-parent": {
    "links": {
      "reporting-exception": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/direct-parent-rep
orting-exception"
    }
  },
  "ultimate-parent": {
    "links": {
      "reporting-exception": "https://api.gleif.org/api/v1/lei-records/894500Q32QG6KKGMMI95/ultimate-parent-r
eporting-exception"
    }
  }
}
  � Relationship type: managing-lou
  � Relationship type: lei-issuer
  � Relationship type: field-modifications
  � Relationship type: direct-parent
  � Relationship type: ultimate-parent

✅ COMPLIANCE STATUS:
──────────────────────────────────────────────────
Company Status: ACTIVE
Is company "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED" GLEIF compliant? true
✅ STAGE 1 SUCCESS: Name resolved to LEI
   LEI: 894500Q32QG6KKGMMI95
   Legal Name: SREE PALANI ANDAVAR AGROS PRIVATE LIMITED
   Status: ACTIVE
✅ STAGE 1 SUCCESS: "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED" → LEI: 894500Q32QG6KKGMMI95
\n� Analyzing compliance for SREE PALANI ANDAVAR AGROS PRIVATE LIMITED...
� Compliance Score: 100%
✅ Is Compliant: true
\n� Creating comprehensive Merkle tree for SREE PALANI ANDAVAR AGROS PRIVATE LIMITED...
� Creating comprehensive GLEIF Merkle tree...
� Processing live GLEIF API structure...
  Set field legalName (0): "SREE PALANI ANDAVAR AGROS PRIVATE LIMITED"
  Set field lei (1): "894500Q32QG6KKGMMI95"
  Set field entityStatus (2): "ACTIVE"
  Set field legalForm (3): "YSP9"
  Set field jurisdiction (4): "IN"
  Set field legalAddress (5): "Door No. 3/5-G, Sri Balaji Nagar, Theethipalaya..."
  Set field legalCity (6): "Coimbatore"
  Set field legalCountry (7): "IN"
  Set field registrationAuthority (8): "RA000394"
  Set field entityCategory (9): "GENERAL"
  Set field businessRegisterEntityId (10): "U01112TZ2022PTC039493"
  Set field leiStatus (11): "ISSUED"
  Set field initialRegistrationDate (12): "2025-05-22T12:25:39Z"
  Set field lastUpdateDate (13): "2025-05-22T12:25:40Z"
  Set field nextRenewalDate (14): "2026-05-22T12:25:40Z"
  Set field registration_status (15): "ISSUED"
  Set field bic_codes (17): ""
  Set field mic_codes (18): ""
  Set field conformityFlag (16): "CONFORMING"
  Set field managingLou (19): "529900F6BNUR3RJ2WH29"
✅ Created Merkle tree with 20 fields
� Merkle root: 2821140740269392744656673383969177646982981823396297238562886898521796453095
✅ Merkle tree created successfully
\n� Preparing ZK proof data for SREE PALANI ANDAVAR AGROS PRIVATE LIMITED...
✅ All MerkleWitness8 instances created successfully
\n� Generating oracle signature for SREE PALANI ANDAVAR AGROS PRIVATE LIMITED...
✅ Oracle signature generated
\n� Smart Contract State BEFORE Verification:
\n� Smart Contract State BEFORE Verification:
  Total Companies: 0
  Compliant Companies: 0
  Global Compliance Score: 0%
  Total Verifications: 0
  Registry Version: 1
\n� COMPLIANCE FIELD ANALYSIS (Pre-Verification):
  � Entity Status: "ACTIVE" → ✅ ACTIVE (Pass)
  � Registration Status: "ISSUED" → ✅ ISSUED (Pass)
  � Conformity Flag: "CONFORMING" → ✅ ACCEPTABLE (Pass)
  � Date Validation: Last Update "2025-05-22T12:25:40Z", Next Renewal "2026-05-22T12:25:40Z" → ✅ VALID DATE 
S (Pass)
  � LEI Validation: "894500Q32QG6KKGMMI95" → ✅ VALID LEI (Pass)
  � Overall Compliance Analysis: ✅ ALL RULES PASSED → ZK Proof Shows: ✅ COMPLIANT
  � Business Rules: 5/5 passed
  � Compliance Percentage: 100%
  ⏳ Chain Status: NOT YET VERIFIED - Awaiting smart contract transaction...
\n⚡ Generating ZK proof for SREE PALANI ANDAVAR AGROS PRIVATE LIMITED...
� Proving compliance for: SREE PALANI ANDAVAR AGROS PRIVATE LIMITED
� LEI: 894500Q32QG6KKGMMI95
� Entity Status: ACTIVE
✅ ZK proof generated successfully
� Contract state after verification:
\n� Contract state AFTER verification:
  Total Companies: 1
  Compliant Companies: 1
  Global Compliance Score: 100%
  Total Verifications: 1
  Registry Version: 1
\n� STATE CHANGES:
  � Total Companies: 0 → 1
  ✅ Compliant Companies: 0 → 1
  � Global Compliance Score: 0% → 100%
  � Total Verifications: 0 → 1
  � Registry Version: 1 → 1
\n� COMPLIANCE FIELD ANALYSIS (Post-Verification):
  � Entity Status: "ACTIVE" → ✅ ACTIVE (Pass)
  � Registration Status: "ISSUED" → ✅ ISSUED (Pass)
  � Conformity Flag: "CONFORMING" → ✅ ACCEPTABLE (Pass)
  � Date Validation: Last Update "2025-05-22T12:25:40Z", Next Renewal "2026-05-22T12:25:40Z" → ✅ VALID DATE 
S (Pass)
  � LEI Validation: "894500Q32QG6KKGMMI95" → ✅ VALID LEI (Pass)
  � Overall Compliance Analysis: ✅ ALL RULES PASSED → ZK Proof Shows: ✅ COMPLIANT
  � Business Rules: 5/5 passed
  � Compliance Percentage: 100%
  ✅ Chain Status: VERIFIED AND STORED ON BLOCKCHAIN
✅ Company SREE PALANI ANDAVAR AGROS PRIVATE LIMITED processed successfully
\n================================================================================
� GLEIF Multi-Company Verification Completed!
================================================================================
\n� Final Registry Statistics:
  • Total Companies Tracked: 1
  • Compliant Companies: 1
  • Compliance Percentage: 100%
\n� Companies Processed:
  1. SREE PALANI ANDAVAR AGROS PRIVATE LIMITED: ✅ COMPLIANT
     LEI: 894500Q32QG6KKGMMI95
     Score: 100%
\n✅ GLEIF Multi-Company Verification completed!

================================================================================
� VERIFICATION RESULTS
================================================================================

� Company 1: SREE PALANI ANDAVAR AGROS PRIVATE LIMITED
✅ Status: Success
� LEI: 894500Q32QG6KKGMMI95
� Compliance Score: 100%
✓ Is Compliant: Yes
⏰ Timestamp: 2025-08-22T14:30:13.314Z

================================================================================
� SUMMARY
================================================================================
� Total Companies Processed: 1
✅ Successful Verifications: 1
❌ Failed Verifications: 0
� ZK Proofs Generated: 1

� Verification completed successfully!

What it does:

Verifies company registration data using GLEIF standards
Generates zero-knowledge proofs for entity validation
Keeps actual company details private while proving compliance

2. Business Process Model and Notation (BPMN) Verification

Validates business process flows against expected models using BPMN standards.

Command:

node build/tests/with-sign/BusinessProcessLocalMultiVerifier.js SCF ./src/data/scf/process/EXPECTED/SCF-Expected.bpmn ./src/data/scf/process/ACTUAL/SCF-Accepted1.bpmn

Output:

$ node build/tests/with-sign/BusinessProcessLocalMultiVerifier.js SCF ./src/data/scf/process/EXPECTED/SCF-Expected.bpmn ./src/data/scf/process/ACTUAL/SCF-Accepted1.bpmn
� Environment Detection Debug:
  BUILD_ENV: LOCAL
  NODE_ENV: undefined
  MINA_ENV: undefined
� Selected environment value: "LOCAL"
✅ Environment "LOCAL" mapped to: LOCAL
� Environment Validation:
  Current Environment: LOCAL
  Should use NetworkOracleRegistry: false
  Should connect to DEVNET: false
� Oracle Registry: Detected environment: LOCAL
� BlockchainManager: Creating shared LocalBlockchain instance...
✅ Oracle Registry: Clean architecture initialized for LOCAL environment
� LocalBlockchain will be created for test compatibility

� Business Process LOCAL Multi-Verifier
==================================================
� Single Process Mode
� Processing: SCF
� Expected: ./src/data/scf/process/EXPECTED/SCF-Expected.bpmn
� Actual: ./src/data/scf/process/ACTUAL/SCF-Accepted1.bpmn

� Business Process LOCAL Verification Started
� Process Type: SCF
� Expected BPMN: ./src/data/scf/process/EXPECTED/SCF-Expected.bpmn
� Actual BPMN: ./src/data/scf/process/ACTUAL/SCF-Accepted1.bpmn

� Setting up local blockchain...
✅ BlockchainManager: LocalBlockchain initialized (proofs: true)
✅ Local blockchain initialized

� Processing BPMN files...
� Parsing BPMN files...

✅ All possible execution paths from Start to End (Flows):
Path 1: a-c-b-d-f-g
Path 2: a-c-b-d-e-f-g
Path 3: a-b-c-d-f-g
Path 4: a-b-c-d-e-f-g
✅ Generated valid regex pattern with balanced parentheses

✅ Combined Expression:
a(bc|cb)d(ef|f)g

✅ All possible execution paths from Start to End (Flows):
Path 1: a-b-c-d-f-g
✅ Generated valid regex pattern with balanced parentheses

✅ Combined Expression:
abcdfg
✅ BPMN files parsed successfully
� Expected Pattern: a(bc|cb)d(ef|f)g
� Actual Path: abcdfg

� Process Analysis for SCF:
� Expected Paths: 1
� Actual Paths: 1
⚡ Final Decision: Will be determined by ZK Circuit ONLY

� Creating OptimMerkle process data for SCF...
� Process ID: 0
� Process Type: SCF
� Merkle Root: 15813820875370175664...
� Process Hash: 24529528004867131568...

� PROCESS VERIFICATION RESULTS (Pre-Verification):
==================================================
�️  Process Type: SCF
� Expected Pattern: a(bc|cb)d(ef|f)g
� Actual Path: abcdfg
⏳ Awaiting ZK Circuit verification...
� Process Hash: 245295280048671315687148663773...
� Merkle Root: 158138208753701756644800896318...
⏰ Timestamp: 1755872304233

⚙️ Generating ZK proof using existing OptimMerkle utils...
� Starting OptimMerkle Enhanced BPMN Verification...
� Process Type: SCF
� Expected Pattern: a(bc|cb)d(ef|f)g
� Actual Path: abcdfg
� Fetching oracle data...
✅ Oracle data fetched successfully
� Process Data Created
  - Business Process ID: 0
  - Process Type: SCF
  - Actual Content Length: 128
� Generating Merkle tree...
� Merkle Root: 34026010003259489087...
� Calculating process hash with o1js best practices...
� Process Hash: 12972546453146137192...
✍️ Generating oracle signature...
✍️ Oracle signature generated
� Generating Merkle witness...
⚙️ Compiling OptimMerkle ZK program...
✅ ZK program compiled successfully
� Generating OptimMerkle proof...
� Using SCF verification circuit
� Starting SCF compliance verification with o1js optimization...
CircuitString length 128 exceeds recommended 32 but using hierarchical hashing
CircuitString length 128 exceeds recommended 32 but using hierarchical hashing
actual ||||||||||||||| content ||||||||||||||||| Field { value: [ 0, [ 0, 0n ] ] } BP Type  Field { value: [ 
0, [ 0, 0n ] ] }
in verifyProcessSCF in
in verifyProcessSCF out  Bool { value: [ 2, [ 0, [Array] ], [ 3, [Array], [Array] ] ] }
in verifyProcessSCF in
in verifyProcessSCF out  Bool { value: [ 2, [ 0, [Array] ], [ 3, [Array], [Array] ] ] }
out  true
� OptimMerkle SCF Oracle Signature Valid
� OptimMerkle SCF Merkle verification complete
✅ OptimMerkle SCF Final Result: true
✅ OptimMerkle Proof Generated Successfully
� OPTIMERKLE VERIFICATION RESULTS:
================================
� ZK Regex Result:      ✅ PASS
� Merkle Root:          34026010003259489087...
� Process Hash:         12972546453146137192...
✍️ Oracle Verified:      ✅ PASS
� Merkle Verified:      ✅ PASS
� O1JS Optimized:      ✅ PASS
================================

� FINAL VERIFICATION AUTHORITY: ZK CIRCUIT
⚡ ZK Circuit Result: ✅ PASS
� Pattern Check was: MATCH (Info Only)
� Final Decision: ✅ PASSED

� PROCESS VERIFICATION RESULTS (Post-Verification):
==================================================
�️  Process Type: SCF
� Expected Pattern: a(bc|cb)d(ef|f)g
� Actual Path: abcdfg
⚡ ZK Circuit Verification: ✅ PASS
� Final Authority: ZK CIRCUIT RESULT
� Process Hash: 245295280048671315687148663773...
� Merkle Root: 158138208753701756644800896318...
⏰ Timestamp: 1755872304233
✅ Chain Status: VERIFIED AND STORED ON BLOCKCHAIN

✅ LOCAL Business Process Verification Completed Successfully!
� Result: ✅ PASSED
� Environment: LOCAL
⏰ Timestamp: 1755872304233

� SUCCESS: Process verification passed with cryptographic proof!
� Process Hash: 245295280048671315687148663773...
� Merkle Root: 158138208753701756644800896318...

What it does:

Compares actual business processes against expected workflows
Proves process compliance without revealing implementation details
Validates Supply Chain Finance (SCF) processes through zero-knowledge proofs

3. Risk Assessment for Stable Coins

Performs risk analysis and compliance checking for stable coin operations.

Command:

node build/tests/with-sign/RiskStableCoinLocalMultiVerifier.js 100 http://34.203.247.32:8083/eventsBatch src/data/RISK/StableCoin/CONFIG/US/StableCoin-VALID-1.json ultra_strict US

Output:

$ node build/tests/with-sign/RiskStableCoinLocalMultiVerifier.js 100 http://34.203.247.32:8083/eventsBatch src/data/RISK/StableCoin/CONFIG/US/StableCoin-VALID-1.json ultra_strict US
� Environment Detection Debug:
  BUILD_ENV: LOCAL
  NODE_ENV: undefined
  MINA_ENV: undefined
� Selected environment value: "LOCAL"
✅ Environment "LOCAL" mapped to: LOCAL
� Environment Validation:
  Current Environment: LOCAL
  Should use NetworkOracleRegistry: false
  Should connect to DEVNET: false
� LOCAL StableCoin Backing Ratio Threshold: 100%
� LOCAL StableCoin Liquidity Ratio Threshold: 100%
� LOCAL StableCoin Concentration Limit: 100%
⭐ LOCAL StableCoin Quality Threshold: 95
� LOCAL ACTUS API URL: http://34.203.247.32:8083/eventsBatch
� LOCAL Portfolio Path: src/data/RISK/StableCoin/CONFIG/US/StableCoin-VALID-1.json
� LOCAL Execution Mode: ultra_strict
�️ LOCAL Jurisdiction: US
� Starting LOCAL StableCoin Proof of Reserves OptimMerkle Verification...
� Using LOCAL blockchain for development/testing
� Setting up LOCAL blockchain environment...
✅ BlockchainManager: LocalBlockchain initialized (proofs: true)
� LOCAL: proofsEnabled = false (optimized for development)
✅ BlockchainManager: LocalBlockchain initialized (proofs: true)
✅ LOCAL blockchain environment ready
� Compiling ZK program and smart contract...
✅ Compilation successful
� Deploying smart contract...
✅ Smart contract deployed
� Initial contract status: 100
� Fetching ACTUS data for LOCAL StableCoin scenario...
Loading StableCoin-specific contract portfolio...
� DEBUG: contractPortfolio type: object
� DEBUG: contractPortfolio length: 5
� DEBUG: Using provided contract array with 5 contracts
� DEBUG: Final contracts being sent to ACTUS:
   Contract cash01: PAM - 6275 USD
   Contract cash02: PAM - 6275 USD
   Contract cash03: PAM - 6275 USD
   Contract cash04: PAM - 6275 USD
   Contract deposit01: PAM - -25000 USD
� Calling ACTUS API at: http://34.203.247.32:8083/eventsBatch
� DEBUG: ACTUS REQUEST PAYLOAD:
   URL: http://34.203.247.32:8083/eventsBatch
   Contracts array: [
  {
    "contractType": "PAM",
    "contractID": "cash01",
    "contractRole": "RPA",
    "contractDealDate": "2024-01-01T00:00:00",
    "initialExchangeDate": "2024-01-01T00:00:00",
    "statusDate": "2024-01-01T00:00:00",
    "notionalPrincipal": "6275",
    "maturityDate": "2024-01-02T00:00:00",
    "nominalInterestRate": "0.0000",
    "currency": "USD",
    "dayCountConvention": "A365",
    "hqlaCategory": "L1",
    "description": "Cash reserves (exactly 25% of portfolio)"
  },
  {
    "contractType": "PAM",
    "contractID": "cash02",
    "contractRole": "RPA",
    "contractDealDate": "2024-01-01T00:00:00",
    "initialExchangeDate": "2024-01-02T00:00:00",
    "statusDate": "2024-01-01T00:00:00",
    "notionalPrincipal": "6275",
    "maturityDate": "2024-01-02T00:00:00",
    "nominalInterestRate": "0.0000",
    "currency": "USD",
    "dayCountConvention": "A365",
    "hqlaCategory": "L1",
    "description": "Additional cash reserves (exactly 25% of portfolio)"
  },
  {
    "contractType": "PAM",
    "contractID": "cash03",
    "contractRole": "RPA",
    "contractDealDate": "2024-01-01T00:00:00",
    "initialExchangeDate": "2024-01-03T00:00:00",
    "statusDate": "2024-01-01T00:00:00",
    "notionalPrincipal": "6275",
    "maturityDate": "2024-01-02T00:00:00",
    "nominalInterestRate": "0.0000",
    "currency": "USD",
    "dayCountConvention": "A365",
    "hqlaCategory": "L1",
    "description": "Additional cash reserves (exactly 25% of portfolio)"
  },
  {
    "contractType": "PAM",
    "contractID": "cash04",
    "contractRole": "RPA",
    "contractDealDate": "2024-01-01T00:00:00",
    "initialExchangeDate": "2024-01-04T00:00:00",
    "statusDate": "2024-01-01T00:00:00",
    "notionalPrincipal": "6275",
    "maturityDate": "2024-01-02T00:00:00",
    "nominalInterestRate": "0.0000",
    "currency": "USD",
    "dayCountConvention": "A365",
    "hqlaCategory": "L1",
    "description": "Additional cash reserves (exactly 25% of portfolio)"
  },
  {
    "contractType": "PAM",
    "contractID": "deposit01",
    "contractRole": "RPL",
    "contractDealDate": "2024-01-01T00:00:00",
    "initialExchangeDate": "2024-01-05T00:00:00",
    "statusDate": "2024-01-01T00:00:00",
    "notionalPrincipal": "-25000",
    "maturityDate": "2024-04-03T00:00:00",
    "nominalInterestRate": "0.0000",
    "currency": "USD",
    "dayCountConvention": "A365",
    "hqlaCategory": "NonHQLA",
    "description": "Outstanding stablecoin tokens (no yield to holders - US compliant)"
  }
]

=== CALLING ACTUS API WITH POST-PROCESSING ===
URL: http://34.203.247.32:8083/eventsBatch
Sending 5 contracts
Contract IDs: [ 'cash01', 'cash02', 'cash03', 'cash04', 'deposit01' ]

=== CORE ACTUS API RESPONSE DEBUG ===
API URL: http://34.203.247.32:8083/eventsBatch
Response Status: 200
Response Headers: {
  "vary": "Origin, Access-Control-Request-Method, Access-Control-Request-Headers",
  "content-type": "application/json",
  "transfer-encoding": "chunked",
  "date": "Fri, 22 Aug 2025 03:52:12 GMT",
  "keep-alive": "timeout=60",
  "connection": "keep-alive"
}

--- Raw Response Data Structure ---
Type: object
Keys: 0,1,2,3,4

--- Raw Data Sample ---
[
  {
    "contractId": "cash01",
    "status": "Success",
    "message": "",
    "events": [
      {
        "type": "MD",
        "time": "2024-01-02T00:00",
        "payoff": 6275,
        "currency": "USD",
        "nominalValue": 0,
        "nominalRate": 0,
        "nominalAccrued": 0
      }
    ]
  },
  {
    "contractId": "cash02",
    "status": "Success",
    "message": "",
    "events": [
      {
        "type": "IED",
        "time": "2024-01-02T00:00",
        "payoff": -6275,
        "currency": "USD",
        "nominalValue": 6275,
        "nominalRate": 0,
        "nominalAccrued": 0
      },
      {
        "type": "MD",
        "time": "2024-01-02T00:00",
        "payoff": 6275,
        "currency": "USD",
        "nominalValue": 0,
        "nominalRate": 0,
        "nominalAccrued": 0
      }
    ]
  },
  {
    "contractId": "cash03",
    "status": "Success",
    "message": "",
    "events": [
      {
        "type": "MD",
        "time": "2024-01-02T00:00",
        "payoff": 0,
        "currency": "USD",
        "nominalValue": 0,
        "nominalRate": 0,
        "nominalAccrued": 0
      },
      {
        "type": "IED",
        "time": "2024-01-03T00:00",
        "payoff": -6275,
        "currency": "USD",
        "nominalValue": 6275,
        "nominalRate": 0,
        "nominalAccrued": 0
      }
    ]
  },
  {
    "contractId": "cash04",
    "status": "Success",
    "message": "",
    "events": [
      {
        "type": "MD",
        "time": "2024-01-02T00:00",
        "payoff": 0,
        "currency": "USD",
        "nominalValue": 0,
        "nominalRate": 0,
        "nominalAccrued": 0
      },
      {
        "type": "IED",
        "time": "2024-01-04T00:00",
        "payoff": -6275,
        "currency": "USD",
        "nominalValue": 6275,
        "nominalRate": 0,
        "nominalAccrued": 0
      }
    ]
  },
  {
    "contractId": "deposit01",
    "status": "Success",
    "message": "",
    "events": [
      {
        "type": "IED",
        "time": "2024-01-05T00:00",
        "payoff": -25000,
        "currency": "USD",
        "nominalValue": 25000,
        "nominalRate": 0,
        "nominalAccrued": 0
      },
      {
        "type": "MD",
        "time": "2024-04-03T00:00",
        "payoff": 25000,
        "currency": "USD",
        "nominalValue": 0,
        "nominalRate": 0,
        "nominalAccrued": 0
      }
    ]
  }
]
=== END CORE ACTUS RESPONSE DEBUG ===

⚠️ Response is raw contract events - applying post-processing...

=== PROCESSING RAW ACTUS DATA ===
Raw data type: object
Raw data keys: [ '0', '1', '2', '3', '4' ]
Parsed 5 contracts
Contract 0: cash01 (unknown) with 1 events
Contract 1: cash02 (unknown) with 2 events
Contract 2: cash03 (unknown) with 2 events
Contract 3: cash04 (unknown) with 2 events
Contract 4: deposit01 (unknown) with 2 events
Date range: 2024-01-02T05:00:00.000Z to 2024-04-03T05:00:00.000Z
Calculated 4 periods
Post-processing complete:
- Inflow periods: 4
- Outflow periods: 4
- HQLA months: 2
- Sample inflow data:
  Period 0: 3 events, total: 12550
  Period 1: 1 events, total: 0
  Period 2: 1 events, total: 0
=== END PROCESSING RAW ACTUS DATA ===

✅ Post-processing complete: 4 periods generated
=== END ACTUS API CALL WITH POST-PROCESSING ===

� DEBUG: ACTUS RESPONSE:
   Raw response: {
  "inflow": [
    [
      0,
      6275,
      6275
    ],
    [
      0
    ],
    [
      0
    ],
    [
      0,
      25000
    ]
  ],
  "outflow": [
    [
      0,
      6275,
      6275,
      6275,
      25000
    ],
    [
      0
    ],
    [
      0
    ],
    [
      0
    ]
  ],
  "periodsCount": 4,
  "contractDetails": [
    {
      "monthKey": "2024-01",
      "hqlaBreakdown": {
        "L1": 0,
        "L2A": 0,
        "L2B": 0,
        "NonHQLA": -31275
      },
      "totalInflow": 0,
      "totalOutflow": -31275
    },
    {
      "monthKey": "2024-04",
      "hqlaBreakdown": {
        "L1": 0,
        "L2A": 0,
        "L2B": 0,
        "NonHQLA": 25000
      },
      "totalInflow": 0,
      "totalOutflow": 25000
    }
  ],
  "riskMetrics": {
    "totalPeriods": 4,
    "hqlaResults": {
      "2024-01": {
        "L1": 0,
        "L2A": 0,
        "L2B": 0,
        "NonHQLA": -31275
      },
      "2024-04": {
        "L1": 0,
        "L2A": 0,
        "L2B": 0,
        "NonHQLA": 25000
      }
    },
    "aggregatedInflows": [
      12550,
      0,
      0,
      25000
    ],
    "aggregatedOutflows": [
      43825,
      0,
      0,
      0
    ]
  },
  "metadata": {
    "timeHorizon": "monthly",
    "currency": "USD",
    "processingDate": "2025-08-22T14:22:57.344Z"
  }
}
   Periods count: 4
   Inflow length: 4
   Outflow length: 4
   Contract details length: 2
   Metadata: {
  "timeHorizon": "monthly",
  "currency": "USD",
  "processingDate": "2025-08-22T14:22:57.344Z"
}
StableCoin ACTUS data fetched: 4 periods

�️ LOCAL JURISDICTION: US

� LOCAL REGULATORY COMPLIANCE ASSESSMENT:
� STABLE backing ratio requirement: 100%
� GENIUS backing ratio requirement: 100%
� STABLE backing ratio requirement: 100%
� GENIUS backing ratio requirement: 100%
   � LOCAL Jurisdiction: US
   � LOCAL Overall Score: 100%
   � LOCAL Threshold: 85%
   � LOCAL Status: COMPLIANT
   � LOCAL Details: Frameworks: STABLE 100%, GENIUS 100%. Weighted Score: 100%. Threshold: 85%. Result: PASS 
.
✅ LOCAL: Portfolio meets all regulatory requirements.
   The ZK program should accept this portfolio.
   Expected result: ZK proof generation should SUCCEED.
� DEBUG: StableCoin processing with contracts: [
  'cash01: 6275',
  'cash02: 6275',
  'cash03: 6275',
  'cash04: 6275',
  'deposit01: -25000'
]
� Using provided concentration limit: 100%
� DEBUG: Categorizing reserves by principals...
� DEBUG: Asset contracts: [
  'cash01: 6275 (L1))',
  'cash02: 6275 (L1))',
  'cash03: 6275 (L1))',
  'cash04: 6275 (L1))'
]
� DEBUG: Total assets: 25100
� DEBUG: Processing cash01 (6275) - HQLA: L1
� DEBUG: Assigned cash01 (6275) to cash
� DEBUG: Processing cash02 (6275) - HQLA: L1
� DEBUG: Assigned cash02 (6275) to cash
� DEBUG: Processing cash03 (6275) - HQLA: L1
� DEBUG: Assigned cash03 (6275) to cash
� DEBUG: Processing cash04 (6275) - HQLA: L1
� DEBUG: Assigned cash04 (6275) to cash
� DEBUG: Final stablecoin reserve categorization (per period):
  Cash & Equivalents: 25,100 (100.0%)
  US Treasury Securities: 0 (0.0%)
  Corporate Bonds: 0 (0.0%)
  Other Assets: 0 (0.0%)
  Total Reserve Assets: 25,100
�️ Jurisdiction: US
� Compliance Score: 100%
⚖️ Status: COMPLIANT
� Details: Frameworks: STABLE 100%, GENIUS 100%. Weighted Score: 100%. Threshold: 85%. Result: PASS.
� STABLE backing ratio requirement: 100%
� GENIUS backing ratio requirement: 100%
� DEBUG: Total liabilities from contracts: 25000
� LOCAL: Processed 4 periods with reserve categorization
� Calculating StableCoin metrics...
� Average Backing Ratio: 100.40%
� Average Liquidity Ratio: 100.00%
� Max Concentration Risk: 100.00%
⭐ Average Asset Quality: 100.00
✅ Overall StableCoin Compliance: PASSED
� Building Merkle tree structure...
� Building Merkle tree structure...
� Merkle root: 27774456353012306106219855221547662645465093183859650477532813471972332036677
� Merkle root: 27774456353012306106219855221547662645465093183859650477532813471972332036677
✅ ZK-COMPLIANT StableCoin validation passed - structural checks completed
    Critical validation happens inside the ZK circuit with proper assertions
✅ ZK-COMPLIANT StableCoin validation passed - structural checks completed
    Critical validation happens inside the ZK circuit with proper assertions
� Creating oracle signature...
✅ Oracle signature created
✅ ZK compliance data structure created and validated
� LOCAL: Generating ZK proof (faster execution)...
✅ LOCAL: ZK proof generated successfully
� Proof public output - StableCoin Compliant: true
� Proof public output - Regulatory Compliant: true
� Proof public output - Regulatory Score: 95
� Proof public output - Backing Ratio: 100
� Proof public output - Liquidity Ratio: 100
� Proof public output - Concentration Risk: 100
� Proof public output - Asset Quality Score: 100
� LOCAL: Verifying proof with smart contract...
✅ Proof verified by smart contract
� Final contract status: 90
� Total verifications: 1

� LOCAL StableCoin Risk verification completed successfully!
� LOCAL Status Change: 100 → 90
✅ LOCAL STABLECOIN COMPLIANCE ACHIEVED - Contract status changed to 90

� LOCAL StableCoin Risk verification completed successfully!
� LOCAL Status Change: 100 → 90
✅ LOCAL STABLECOIN COMPLIANCE ACHIEVED - Contract status changed to 90
� LOCAL DEVELOPMENT BENEFITS:
   ⚡ Faster execution (no network delays)
   � Instant blockchain setup
   � Immediate feedback for testing

What it does:

Analyzes stable coin risk metrics against regulatory requirements
Validates compliance with US financial regulations
Generates proofs of risk assessment without exposing sensitive financial data

Understanding What Happened

Congratulations! You've just created your first zero-knowledge proof with ZKPRET. Here's what happened:

1. Privacy-Preserving Validation

The invoice amount ($1000) was validated without revealing the actual amount
Tax compliance was checked without exposing the tax rate
Company identity was verified without revealing the company ID

2. Standards-Based Validation

The proof verified business logic (positive amounts, reasonable tax rates)
Compliance status was validated according to predefined rules
The validation followed ZKPRET's deep composition principles

3. Blockchain Integration

The proof was generated off-chain for efficiency
Only the proof result was stored on-chain
The sensitive data never left your local environment

Getting Help

Documentation: ZKPRET Docs
Community Forum: Discord
GitHub Issues: Report bugs
Professional Support: Enterprise Support

What's Next?

You're now ready to build privacy-preserving applications with ZKPRET! Here are some suggested learning paths:

For Developers

Core Components - Understand the platform architecture
API Reference - Integrate with ZKPRET services
ZK Programs Development - Build custom circuits

For Business Implementers

Supply Chain Finance - See a complete business solution
Standards Implementation - Understand compliance requirements
Partnership Program - Join the ecosystem

For Integration Teams

Deployment Guide - Production deployment strategies
Multi-Chain Integration - Cross-chain deployment
Enterprise Support - Professional services and consulting

Ready to revolutionize how your organization handles sensitive business data? Let's build the future of privacy-preserving enterprise blockchain together! 🚀

Quick Start Guide

Prerequisites​

Installation​

1. Clone the Repository​

2. Install Dependencies​

3. Build the Project​

Zero-Knowledge Proof Examples​

1. GLEIF Data Verification​

Command:​

Output:​

What it does:​

2. Business Process Model and Notation (BPMN) Verification​

Command:​

Output:​

What it does:​

3. Risk Assessment for Stable Coins​

Command:​

Output:​

What it does:​

Understanding What Happened​

1. Privacy-Preserving Validation​

2. Standards-Based Validation​

3. Blockchain Integration​

Getting Help​

What's Next?​

For Developers​

For Business Implementers​

For Integration Teams​

Prerequisites

Installation

1. Clone the Repository

2. Install Dependencies

3. Build the Project

Zero-Knowledge Proof Examples

1. GLEIF Data Verification

Command:

Output:

What it does:

2. Business Process Model and Notation (BPMN) Verification

Command:

Output:

What it does:

3. Risk Assessment for Stable Coins

Command:

Output:

What it does:

Understanding What Happened

1. Privacy-Preserving Validation

2. Standards-Based Validation

3. Blockchain Integration

Getting Help

What's Next?

For Developers

For Business Implementers

For Integration Teams