r1csfile

import { readR1cs } from 'r1csfile'; import { promises as fs } from 'fs'; async function parseR1CSFile(filePath: string) { try { // Ensure the R1CS file exists before attempting to read await fs.access(filePath); console.log(`Attempting to read R1CS file: ${filePath}`); const r1cs = await readR1cs(filePath); console.log('Successfully parsed R1CS file.'); console.log(`Number of wires: ${r1cs.nVars}`); console.log(`Number of constraints: ${r1cs.nConstraints}`); console.log('R1CS structure (truncated):', { header: r1cs.header, nVars: r1cs.nVars, nConstraints: r1cs.nConstraints, // Further properties like `constraints` or `witness` can be very large. // For demonstration, we'll just log header info. }); // Example: Accessing specific header fields if (r1cs.header.q instanceof Uint8Array) { console.log(`Field prime (q): 0x${Buffer.from(r1cs.header.q).toString('hex')}`); } else { console.log(`Field prime (q): ${r1cs.header.q}`); } } catch (error) { if (error instanceof Error) { console.error(`Error parsing R1CS file ${filePath}: ${error.message}`); if ((error as any).code === 'ENOENT') { console.error('File not found. Please ensure the path is correct.'); } } else { console.error(`An unknown error occurred: ${error}`); } process.exit(1); } } // To run this, you would need an actual .r1cs file. // For demonstration, let's assume 'example.r1cs' exists in the current directory. // Replace 'example.r1cs' with your actual file path. // If you don't have one, this will output a 'File not found' error. parseR1CSFile('example.r1cs');