@devtion/actions 0.0.0-8bb9489 → 0.0.0-9239207

package/dist/index.node.js

@@ -1,6 +1,6 @@
 /**
  * @module @devtion/actions
- * @version 1.0.9
+ * @version 1.2.5
  * @file A set of actions and helpers for CLI commands
  * @copyright Ethereum Foundation 2022
  * @license MIT
@@ -17,7 +17,6 @@ var firestore = require('firebase/firestore');
 var snarkjs = require('snarkjs');
 var crypto = require('crypto');
 var blake = require('blakejs');
-var ffjavascript = require('ffjavascript');
 var winston = require('winston');
 var stream = require('stream');
 var util = require('util');
@@ -29,10 +28,10 @@ var clientEc2 = require('@aws-sdk/client-ec2');
 var clientSsm = require('@aws-sdk/client-ssm');
 var dotenv = require('dotenv');
 
-// Main part for the Hermez Phase 1 Trusted Setup URLs to download PoT files.
-const potFileDownloadMainUrl = `https://hermez.s3-eu-west-1.amazonaws.com/`;
-// Main part for the Hermez Phase 1 Trusted Setup PoT files to be downloaded.
-const potFilenameTemplate = `powersOfTau28_hez_final_`;
+// Main part for the PPoT Phase 1 Trusted Setup URLs to download PoT files.
+const potFileDownloadMainUrl = `https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/`;
+// Main part for the PPoT Phase 1 Trusted Setup PoT files to be downloaded.
+const potFilenameTemplate = `ppot_0080_`;
 // The genesis zKey index.
 const genesisZkeyIndex = `00000`;
 // The number of exponential iterations to be executed by SnarkJS when finalizing the ceremony.
@@ -49,6 +48,8 @@ const verifierSmartContractAcronym = "verifier";
 const ec2InstanceTag = "p0tionec2instance";
 // The name of the VM startup script file.
 const vmBootstrapScriptFilename = "bootstrap.sh";
+// Match hash output by snarkjs in transcript log
+const contribHashRegex = new RegExp("Contribution.+Hash.+\n\t\t.+\n\t\t.+\n.+\n\t\t.+\r?\n");
 /**
  * Define the supported VM configuration types.
  * @dev the VM configurations can be retrieved at https://aws.amazon.com/ec2/instance-types/
@@ -106,112 +107,116 @@ const vmConfigurationTypes = {
  */
 const powersOfTauFiles = [
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_01.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_01.ptau",
         size: 0.000084
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_02.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_02.ptau",
         size: 0.000086
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_03.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_03.ptau",
         size: 0.000091
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_04.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_04.ptau",
         size: 0.0001
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_05.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_05.ptau",
         size: 0.000117
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_06.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_06.ptau",
         size: 0.000153
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_07.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_07.ptau",
         size: 0.000225
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_08.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_08.ptau",
         size: 0.0004
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_09.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_09.ptau",
         size: 0.000658
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_10.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_10.ptau",
         size: 0.0013
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_11.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_11.ptau",
         size: 0.0023
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_12.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_12.ptau",
         size: 0.0046
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_13.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_13.ptau",
         size: 0.0091
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_14.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_14.ptau",
         size: 0.0181
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_15.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_15.ptau",
         size: 0.0361
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_16.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_16.ptau",
         size: 0.0721
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_17.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_17.ptau",
         size: 0.144
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_18.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_18.ptau",
         size: 0.288
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_19.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_19.ptau",
         size: 0.576
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_20.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_20.ptau",
         size: 1.1
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_21.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_21.ptau",
         size: 2.3
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_22.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_22.ptau",
         size: 4.5
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_23.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_23.ptau",
         size: 9.0
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_24.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_24.ptau",
         size: 18.0
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_25.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_25.ptau",
         size: 36.0
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_26.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_26.ptau",
         size: 72.0
     },
     {
-        ref: "https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_27.ptau",
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_27.ptau",
         size: 144.0
+    },
+    {
+        ref: "https://pse-trusted-setup-ppot.s3.eu-central-1.amazonaws.com/pot28_0080/ppot_0080_final.ptau",
+        size: 288.0
     }
 ];
 /**
@@ -341,7 +346,9 @@ const commonTerms = {
         finalizeCircuit: "finalizeCircuit",
         finalizeCeremony: "finalizeCeremony",
         downloadCircuitArtifacts: "downloadCircuitArtifacts",
-        transferObject: "transferObject"
+        transferObject: "transferObject",
+        bandadaValidateProof: "bandadaValidateProof",
+        checkNonceOfSIWEAddress: "checkNonceOfSIWEAddress"
     }
 };
 
@@ -707,8 +714,8 @@ const uploadParts = async (chunksWithUrls, contentType, cloudFunctions, ceremony
         // @ts-ignore
         const response = await fetch(chunksWithUrls[i].preSignedUrl, {
             retryOptions: {
-                retryInitialDelay: 500,
-                socketTimeout: 60000,
+                retryInitialDelay: 500, // 500 ms.
+                socketTimeout: 60000, // 60 seconds.
                 retryMaxDuration: 300000 // 5 minutes.
             },
             method: "PUT",
@@ -1005,6 +1012,17 @@ const getClosedCeremonies = async (firestoreDatabase) => {
     ]);
     return fromQueryToFirebaseDocumentInfo(closedCeremoniesQuerySnap.docs);
 };
+/**
+ * Query all ceremonies
+ * @notice get all ceremonies from the database.
+ * @dev this is a helper for the CLI ceremony methods.
+ * @param firestoreDatabase <Firestore> - the Firestore service instance associated to the current Firebase application.
+ * @returns <Promise<Array<FirebaseDocumentInfo>>> - the list of all ceremonies.
+ */
+const getAllCeremonies = async (firestoreDatabase) => {
+    const ceremoniesQuerySnap = await queryCollection(firestoreDatabase, commonTerms.collections.ceremonies.name, []);
+    return fromQueryToFirebaseDocumentInfo(ceremoniesQuerySnap.docs);
+};
 
 /**
  * @hidden
@@ -1053,193 +1071,22 @@ const compareHashes = async (path1, path2) => {
 };
 
 /**
- * Parse and validate that the ceremony configuration is correct
- * @notice this does not upload any files to storage
- * @param path <string> - the path to the configuration file
- * @param cleanup <boolean> - whether to delete the r1cs file after parsing
- * @returns any - the data to pass to the cloud function for setup and the circuit artifacts
+ * Return a string with double digits if the provided input is one digit only.
+ * @param in <number> - the input number to be converted.
+ * @returns <string> - the two digits stringified number derived from the conversion.
  */
-const parseCeremonyFile = async (path, cleanup = false) => {
-    // check that the path exists
-    if (!fs.existsSync(path))
-        throw new Error("The provided path to the configuration file does not exist. Please provide an absolute path and try again.");
-    try {
-        // read the data
-        const data = JSON.parse(fs.readFileSync(path).toString());
-        // verify that the data is correct
-        if (data["timeoutMechanismType"] !== "DYNAMIC" /* CeremonyTimeoutType.DYNAMIC */ &&
-            data["timeoutMechanismType"] !== "FIXED" /* CeremonyTimeoutType.FIXED */)
-            throw new Error("Invalid timeout type. Please choose between DYNAMIC and FIXED.");
-        // validate that we have at least 1 circuit input data
-        if (!data.circuits || data.circuits.length === 0)
-            throw new Error("You need to provide the data for at least 1 circuit.");
-        // validate that the end date is in the future
-        let endDate;
-        let startDate;
-        try {
-            endDate = new Date(data.endDate);
-            startDate = new Date(data.startDate);
-        }
-        catch (error) {
-            throw new Error("The dates should follow this format: 2023-07-04T00:00:00.");
-        }
-        if (endDate <= startDate)
-            throw new Error("The end date should be greater than the start date.");
-        const currentDate = new Date();
-        if (endDate <= currentDate || startDate <= currentDate)
-            throw new Error("The start and end dates should be in the future.");
-        // validate penalty
-        if (data.penalty <= 0)
-            throw new Error("The penalty should be greater than zero.");
-        const circuits = [];
-        const urlPattern = /(https?:\/\/[^\s]+)/g;
-        const commitHashPattern = /^[a-f0-9]{40}$/i;
-        const circuitArtifacts = [];
-        for (let i = 0; i < data.circuits.length; i++) {
-            const circuitData = data.circuits[i];
-            const artifacts = circuitData.artifacts;
-            circuitArtifacts.push({
-                artifacts: artifacts
-            });
-            // where we storing the r1cs downloaded
-            const localR1csPath = `./${circuitData.name}.r1cs`;
-            // where we storing the wasm downloaded
-            const localWasmPath = `./${circuitData.name}.wasm`;
-            // download the r1cs to extract the metadata
-            const streamPipeline = util.promisify(stream.pipeline);
-            // Make the call.
-            const responseR1CS = await fetch(artifacts.r1csStoragePath);
-            // Handle errors.
-            if (!responseR1CS.ok && responseR1CS.status !== 200)
-                throw new Error(`There was an error while trying to download the r1cs file for circuit ${circuitData.name}. Please check that the file has the correct permissions (public) set.`);
-            await streamPipeline(responseR1CS.body, fs.createWriteStream(localR1csPath));
-            // Write the file locally
-            // extract the metadata from the r1cs
-            const metadata = getR1CSInfo(localR1csPath);
-            // download wasm too to ensure it's available
-            const responseWASM = await fetch(artifacts.wasmStoragePath);
-            if (!responseWASM.ok && responseWASM.status !== 200)
-                throw new Error(`There was an error while trying to download the WASM file for circuit ${circuitData.name}. Please check that the file has the correct permissions (public) set.`);
-            await streamPipeline(responseWASM.body, fs.createWriteStream(localWasmPath));
-            // validate that the circuit hash and template links are valid
-            const template = circuitData.template;
-            const URLMatch = template.source.match(urlPattern);
-            if (!URLMatch || URLMatch.length === 0 || URLMatch.length > 1)
-                throw new Error("You should provide the URL to the circuits templates on GitHub.");
-            const hashMatch = template.commitHash.match(commitHashPattern);
-            if (!hashMatch || hashMatch.length === 0 || hashMatch.length > 1)
-                throw new Error("You should provide a valid commit hash of the circuit templates.");
-            // calculate the hash of the r1cs file
-            const r1csBlake2bHash = await blake512FromPath(localR1csPath);
-            const circuitPrefix = extractPrefix(circuitData.name);
-            // filenames
-            const doubleDigitsPowers = convertToDoubleDigits(metadata.pot);
-            const r1csCompleteFilename = `${circuitData.name}.r1cs`;
-            const wasmCompleteFilename = `${circuitData.name}.wasm`;
-            const smallestPowersOfTauCompleteFilenameForCircuit = `${potFilenameTemplate}${doubleDigitsPowers}.ptau`;
-            const firstZkeyCompleteFilename = `${circuitPrefix}_${genesisZkeyIndex}.zkey`;
-            // storage paths
-            const r1csStorageFilePath = getR1csStorageFilePath(circuitPrefix, r1csCompleteFilename);
-            const wasmStorageFilePath = getWasmStorageFilePath(circuitPrefix, wasmCompleteFilename);
-            const potStorageFilePath = getPotStorageFilePath(smallestPowersOfTauCompleteFilenameForCircuit);
-            const zkeyStorageFilePath = getZkeyStorageFilePath(circuitPrefix, firstZkeyCompleteFilename);
-            const files = {
-                potFilename: smallestPowersOfTauCompleteFilenameForCircuit,
-                r1csFilename: r1csCompleteFilename,
-                wasmFilename: wasmCompleteFilename,
-                initialZkeyFilename: firstZkeyCompleteFilename,
-                potStoragePath: potStorageFilePath,
-                r1csStoragePath: r1csStorageFilePath,
-                wasmStoragePath: wasmStorageFilePath,
-                initialZkeyStoragePath: zkeyStorageFilePath,
-                r1csBlake2bHash: r1csBlake2bHash
-            };
-            // validate that the compiler hash is a valid hash
-            const compiler = circuitData.compiler;
-            const compilerHashMatch = compiler.commitHash.match(commitHashPattern);
-            if (!compilerHashMatch || compilerHashMatch.length === 0 || compilerHashMatch.length > 1)
-                throw new Error("You should provide a valid commit hash of the circuit compiler.");
-            // validate that the verification options are valid
-            const verification = circuitData.verification;
-            if (verification.cfOrVm !== "CF" && verification.cfOrVm !== "VM")
-                throw new Error("Please enter a valid verification mechanism: either CF or VM");
-            // @todo VM parameters verification
-            // if (verification['cfOrVM'] === "VM") {}
-            // check that the timeout is provided for the correct configuration
-            let dynamicThreshold;
-            let fixedTimeWindow;
-            let circuit = {};
-            if (data.timeoutMechanismType === "DYNAMIC" /* CeremonyTimeoutType.DYNAMIC */) {
-                if (circuitData.dynamicThreshold <= 0)
-                    throw new Error("The dynamic threshold should be > 0.");
-                dynamicThreshold = circuitData.dynamicThreshold;
-                // the Circuit data for the ceremony setup
-                circuit = {
-                    name: circuitData.name,
-                    description: circuitData.description,
-                    prefix: circuitPrefix,
-                    sequencePosition: i + 1,
-                    metadata: metadata,
-                    files: files,
-                    template: template,
-                    compiler: compiler,
-                    verification: verification,
-                    dynamicThreshold: dynamicThreshold,
-                    avgTimings: {
-                        contributionComputation: 0,
-                        fullContribution: 0,
-                        verifyCloudFunction: 0
-                    }
-                };
-            }
-            if (data.timeoutMechanismType === "FIXED" /* CeremonyTimeoutType.FIXED */) {
-                if (circuitData.fixedTimeWindow <= 0)
-                    throw new Error("The fixed time window threshold should be > 0.");
-                fixedTimeWindow = circuitData.fixedTimeWindow;
-                // the Circuit data for the ceremony setup
-                circuit = {
-                    name: circuitData.name,
-                    description: circuitData.description,
-                    prefix: circuitPrefix,
-                    sequencePosition: i + 1,
-                    metadata: metadata,
-                    files: files,
-                    template: template,
-                    compiler: compiler,
-                    verification: verification,
-                    fixedTimeWindow: fixedTimeWindow,
-                    avgTimings: {
-                        contributionComputation: 0,
-                        fullContribution: 0,
-                        verifyCloudFunction: 0
-                    }
-                };
-            }
-            circuits.push(circuit);
-            // remove the local r1cs and wasm downloads (if used for verifying the config only vs setup)
-            if (cleanup)
-                fs.unlinkSync(localR1csPath);
-            fs.unlinkSync(localWasmPath);
-        }
-        const setupData = {
-            ceremonyInputData: {
-                title: data.title,
-                description: data.description,
-                startDate: startDate.valueOf(),
-                endDate: endDate.valueOf(),
-                timeoutMechanismType: data.timeoutMechanismType,
-                penalty: data.penalty
-            },
-            ceremonyPrefix: extractPrefix(data.title),
-            circuits: circuits,
-            circuitArtifacts: circuitArtifacts
-        };
-        return setupData;
-    }
-    catch (error) {
-        throw new Error(`Error while parsing up the ceremony setup file. ${error.message}`);
-    }
-};
+const convertToDoubleDigits = (amount) => (amount < 10 ? `0${amount}` : amount.toString());
+/**
+ * Extract a prefix consisting of alphanumeric and underscore characters from a string with arbitrary characters.
+ * @dev replaces all special symbols and whitespaces with an underscore char ('_'). Convert all uppercase chars to lowercase.
+ * @notice example: str = 'Multiplier-2!2.4.zkey'; output prefix = 'multiplier_2_2_4.zkey'.
+ * NB. Prefix extraction is a key process that conditions the name of the ceremony artifacts, download/upload from/to storage, collections paths.
+ * @param str <string> - the arbitrary string from which to extract the prefix.
+ * @returns <string> - the resulting prefix.
+ */
+const extractPrefix = (str) => 
+// eslint-disable-next-line no-useless-escape
+str.replace(/[`\s~!@#$%^&*()|+\-=?;:'",.<>\{\}\[\]\\\/]/gi, "-").toLowerCase();
 /**
  * Extract data from a R1CS metadata file generated with a custom file-based logger.
  * @notice useful for extracting metadata circuits contained in the generated file using a logger
@@ -1296,17 +1143,6 @@ const formatZkeyIndex = (progress) => {
  * @returns <number> - the amount of powers.
  */
 const extractPoTFromFilename = (potCompleteFilename) => Number(potCompleteFilename.split("_").pop()?.split(".").at(0));
-/**
- * Extract a prefix consisting of alphanumeric and underscore characters from a string with arbitrary characters.
- * @dev replaces all special symbols and whitespaces with an underscore char ('_'). Convert all uppercase chars to lowercase.
- * @notice example: str = 'Multiplier-2!2.4.zkey'; output prefix = 'multiplier_2_2_4.zkey'.
- * NB. Prefix extraction is a key process that conditions the name of the ceremony artifacts, download/upload from/to storage, collections paths.
- * @param str <string> - the arbitrary string from which to extract the prefix.
- * @returns <string> - the resulting prefix.
- */
-const extractPrefix = (str) => 
-// eslint-disable-next-line no-useless-escape
-str.replace(/[`\s~!@#$%^&*()|+\-=?;:'",.<>\{\}\[\]\\\/]/gi, "-").toLowerCase();
 /**
  * Automate the generation of an entropy for a contribution.
  * @dev Took inspiration from here https://github.com/glamperd/setup-mpc-ui/blob/master/client/src/state/Compute.tsx#L112.
@@ -1446,6 +1282,41 @@ const readBytesFromFile = (localFilePath, offset, length, position) => {
     // Return the read bytes.
     return buffer;
 };
+/**
+ * Given a buffer in little endian format, convert it to bigint
+ * @param buffer
+ * @returns
+ */
+function leBufferToBigint(buffer) {
+    return BigInt(`0x${buffer.reverse().toString("hex")}`);
+}
+/**
+ * Given an input containing string values, convert them
+ * to bigint
+ * @param input - The input to convert
+ * @returns the input with string values converted to bigint
+ */
+const unstringifyBigInts = (input) => {
+    if (typeof input === "string" && /^[0-9]+$/.test(input)) {
+        return BigInt(input);
+    }
+    if (typeof input === "string" && /^0x[0-9a-fA-F]+$/.test(input)) {
+        return BigInt(input);
+    }
+    if (Array.isArray(input)) {
+        return input.map(unstringifyBigInts);
+    }
+    if (input === null) {
+        return null;
+    }
+    if (typeof input === "object") {
+        return Object.entries(input).reduce((acc, [key, value]) => {
+            acc[key] = unstringifyBigInts(value);
+            return acc;
+        }, {});
+    }
+    return input;
+};
 /**
  * Return the info about the R1CS file.ù
  * @dev this method was built taking inspiration from
@@ -1506,17 +1377,17 @@ const getR1CSInfo = (localR1CSFilePath) => {
     let constraints = 0;
     try {
         // Get 'number of section' (jump magic r1cs and version1 data).
-        const numberOfSections = ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 4, 8));
+        const numberOfSections = leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 4, 8));
         // Jump to first section.
         pointer = 12;
         // For each section
         for (let i = 0; i < numberOfSections; i++) {
             // Read section type.
-            const sectionType = ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 4, pointer));
+            const sectionType = leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 4, pointer));
             // Jump to section size.
             pointer += 4;
             // Read section size
-            const sectionSize = Number(ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 8, pointer)));
+            const sectionSize = Number(leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 8, pointer)));
             // If at header section (0x00000001 : Header Section).
             if (sectionType === BigInt(1)) {
                 // Read info from header section.
@@ -1548,22 +1419,22 @@ const getR1CSInfo = (localR1CSFilePath) => {
                  */
                 pointer += sectionSize - 20;
                 // Read R1CS info.
-                wires = Number(ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
+                wires = Number(leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
                 pointer += 4;
-                publicOutputs = Number(ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
+                publicOutputs = Number(leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
                 pointer += 4;
-                publicInputs = Number(ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
+                publicInputs = Number(leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
                 pointer += 4;
-                privateInputs = Number(ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
+                privateInputs = Number(leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
                 pointer += 4;
-                labels = Number(ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 8, pointer)));
+                labels = Number(leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 8, pointer)));
                 pointer += 8;
-                constraints = Number(ffjavascript.utils.leBuff2int(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
+                constraints = Number(leBufferToBigint(readBytesFromFile(localR1CSFilePath, 0, 4, pointer)));
             }
             pointer += 8 + Number(sectionSize);
         }
         return {
-            curve: "bn-128",
+            curve: "bn-128", /// @note currently default to bn-128 as we support only Groth16 proving system.
             wires,
             constraints,
             privateInputs,
@@ -1578,11 +1449,194 @@ const getR1CSInfo = (localR1CSFilePath) => {
     }
 };
 /**
- * Return a string with double digits if the provided input is one digit only.
- * @param in <number> - the input number to be converted.
- * @returns <string> - the two digits stringified number derived from the conversion.
+ * Parse and validate that the ceremony configuration is correct
+ * @notice this does not upload any files to storage
+ * @param path <string> - the path to the configuration file
+ * @param cleanup <boolean> - whether to delete the r1cs file after parsing
+ * @returns any - the data to pass to the cloud function for setup and the circuit artifacts
  */
-const convertToDoubleDigits = (amount) => (amount < 10 ? `0${amount}` : amount.toString());
+const parseCeremonyFile = async (path, cleanup = false) => {
+    // check that the path exists
+    if (!fs.existsSync(path))
+        throw new Error("The provided path to the configuration file does not exist. Please provide an absolute path and try again.");
+    try {
+        // read the data
+        const data = JSON.parse(fs.readFileSync(path).toString());
+        // verify that the data is correct
+        if (data.timeoutMechanismType !== "DYNAMIC" /* CeremonyTimeoutType.DYNAMIC */ &&
+            data.timeoutMechanismType !== "FIXED" /* CeremonyTimeoutType.FIXED */)
+            throw new Error("Invalid timeout type. Please choose between DYNAMIC and FIXED.");
+        // validate that we have at least 1 circuit input data
+        if (!data.circuits || data.circuits.length === 0)
+            throw new Error("You need to provide the data for at least 1 circuit.");
+        // validate that the end date is in the future
+        let endDate;
+        let startDate;
+        try {
+            endDate = new Date(data.endDate);
+            startDate = new Date(data.startDate);
+        }
+        catch (error) {
+            throw new Error("The dates should follow this format: 2023-07-04T00:00:00.");
+        }
+        if (endDate <= startDate)
+            throw new Error("The end date should be greater than the start date.");
+        const currentDate = new Date();
+        if (endDate <= currentDate || startDate <= currentDate)
+            throw new Error("The start and end dates should be in the future.");
+        // validate penalty
+        if (data.penalty <= 0)
+            throw new Error("The penalty should be greater than zero.");
+        const circuits = [];
+        const urlPattern = /(https?:\/\/[^\s]+)/g;
+        const commitHashPattern = /^[a-f0-9]{40}$/i;
+        const circuitArtifacts = [];
+        for (let i = 0; i < data.circuits.length; i++) {
+            const circuitData = data.circuits[i];
+            const { artifacts } = circuitData;
+            circuitArtifacts.push({
+                artifacts
+            });
+            // where we storing the r1cs downloaded
+            const localR1csPath = `./${circuitData.name}.r1cs`;
+            // where we storing the wasm downloaded
+            const localWasmPath = `./${circuitData.name}.wasm`;
+            // download the r1cs to extract the metadata
+            const streamPipeline = util.promisify(stream.pipeline);
+            // Make the call.
+            const responseR1CS = await fetch(artifacts.r1csStoragePath);
+            // Handle errors.
+            if (!responseR1CS.ok && responseR1CS.status !== 200)
+                throw new Error(`There was an error while trying to download the r1cs file for circuit ${circuitData.name}. Please check that the file has the correct permissions (public) set.`);
+            await streamPipeline(responseR1CS.body, fs.createWriteStream(localR1csPath));
+            // Write the file locally
+            // extract the metadata from the r1cs
+            const metadata = getR1CSInfo(localR1csPath);
+            // download wasm too to ensure it's available
+            const responseWASM = await fetch(artifacts.wasmStoragePath);
+            if (!responseWASM.ok && responseWASM.status !== 200)
+                throw new Error(`There was an error while trying to download the WASM file for circuit ${circuitData.name}. Please check that the file has the correct permissions (public) set.`);
+            await streamPipeline(responseWASM.body, fs.createWriteStream(localWasmPath));
+            // validate that the circuit hash and template links are valid
+            const { template } = circuitData;
+            const URLMatch = template.source.match(urlPattern);
+            if (!URLMatch || URLMatch.length === 0 || URLMatch.length > 1)
+                throw new Error("You should provide the URL to the circuits templates on GitHub.");
+            const hashMatch = template.commitHash.match(commitHashPattern);
+            if (!hashMatch || hashMatch.length === 0 || hashMatch.length > 1)
+                throw new Error("You should provide a valid commit hash of the circuit templates.");
+            // calculate the hash of the r1cs file
+            const r1csBlake2bHash = await blake512FromPath(localR1csPath);
+            const circuitPrefix = extractPrefix(circuitData.name);
+            // filenames
+            const doubleDigitsPowers = convertToDoubleDigits(metadata.pot);
+            const r1csCompleteFilename = `${circuitData.name}.r1cs`;
+            const wasmCompleteFilename = `${circuitData.name}.wasm`;
+            const smallestPowersOfTauCompleteFilenameForCircuit = `${potFilenameTemplate}${doubleDigitsPowers}.ptau`;
+            const firstZkeyCompleteFilename = `${circuitPrefix}_${genesisZkeyIndex}.zkey`;
+            // storage paths
+            const r1csStorageFilePath = getR1csStorageFilePath(circuitPrefix, r1csCompleteFilename);
+            const wasmStorageFilePath = getWasmStorageFilePath(circuitPrefix, wasmCompleteFilename);
+            const potStorageFilePath = getPotStorageFilePath(smallestPowersOfTauCompleteFilenameForCircuit);
+            const zkeyStorageFilePath = getZkeyStorageFilePath(circuitPrefix, firstZkeyCompleteFilename);
+            const files = {
+                potFilename: smallestPowersOfTauCompleteFilenameForCircuit,
+                r1csFilename: r1csCompleteFilename,
+                wasmFilename: wasmCompleteFilename,
+                initialZkeyFilename: firstZkeyCompleteFilename,
+                potStoragePath: potStorageFilePath,
+                r1csStoragePath: r1csStorageFilePath,
+                wasmStoragePath: wasmStorageFilePath,
+                initialZkeyStoragePath: zkeyStorageFilePath,
+                r1csBlake2bHash
+            };
+            // validate that the compiler hash is a valid hash
+            const { compiler } = circuitData;
+            const compilerHashMatch = compiler.commitHash.match(commitHashPattern);
+            if (!compilerHashMatch || compilerHashMatch.length === 0 || compilerHashMatch.length > 1)
+                throw new Error("You should provide a valid commit hash of the circuit compiler.");
+            // validate that the verification options are valid
+            const { verification } = circuitData;
+            if (verification.cfOrVm !== "CF" && verification.cfOrVm !== "VM")
+                throw new Error("Please enter a valid verification mechanism: either CF or VM");
+            // @todo VM parameters verification
+            // if (verification['cfOrVM'] === "VM") {}
+            // check that the timeout is provided for the correct configuration
+            let dynamicThreshold;
+            let fixedTimeWindow;
+            let circuit = {};
+            if (data.timeoutMechanismType === "DYNAMIC" /* CeremonyTimeoutType.DYNAMIC */) {
+                if (circuitData.dynamicThreshold <= 0)
+                    throw new Error("The dynamic threshold should be > 0.");
+                dynamicThreshold = circuitData.dynamicThreshold;
+                // the Circuit data for the ceremony setup
+                circuit = {
+                    name: circuitData.name,
+                    description: circuitData.description,
+                    prefix: circuitPrefix,
+                    sequencePosition: i + 1,
+                    metadata,
+                    files,
+                    template,
+                    compiler,
+                    verification,
+                    dynamicThreshold,
+                    avgTimings: {
+                        contributionComputation: 0,
+                        fullContribution: 0,
+                        verifyCloudFunction: 0
+                    }
+                };
+            }
+            if (data.timeoutMechanismType === "FIXED" /* CeremonyTimeoutType.FIXED */) {
+                if (circuitData.fixedTimeWindow <= 0)
+                    throw new Error("The fixed time window threshold should be > 0.");
+                fixedTimeWindow = circuitData.fixedTimeWindow;
+                // the Circuit data for the ceremony setup
+                circuit = {
+                    name: circuitData.name,
+                    description: circuitData.description,
+                    prefix: circuitPrefix,
+                    sequencePosition: i + 1,
+                    metadata,
+                    files,
+                    template,
+                    compiler,
+                    verification,
+                    fixedTimeWindow,
+                    avgTimings: {
+                        contributionComputation: 0,
+                        fullContribution: 0,
+                        verifyCloudFunction: 0
+                    }
+                };
+            }
+            circuits.push(circuit);
+            // remove the local r1cs and wasm downloads (if used for verifying the config only vs setup)
+            if (cleanup) {
+                fs.unlinkSync(localR1csPath);
+                fs.unlinkSync(localWasmPath);
+            }
+        }
+        const setupData = {
+            ceremonyInputData: {
+                title: data.title,
+                description: data.description,
+                startDate: startDate.valueOf(),
+                endDate: endDate.valueOf(),
+                timeoutMechanismType: data.timeoutMechanismType,
+                penalty: data.penalty
+            },
+            ceremonyPrefix: extractPrefix(data.title),
+            circuits,
+            circuitArtifacts
+        };
+        return setupData;
+    }
+    catch (error) {
+        throw new Error(`Error while parsing up the ceremony setup file. ${error.message}`);
+    }
+};
 
 /**
  * Verify that a zKey is valid
@@ -1840,14 +1894,14 @@ const getAWSVariables = () => {
     if (!process.env.AWS_ACCESS_KEY_ID ||
         !process.env.AWS_SECRET_ACCESS_KEY ||
         !process.env.AWS_REGION ||
-        !process.env.AWS_ROLE_ARN ||
+        !process.env.AWS_INSTANCE_PROFILE_ARN ||
         !process.env.AWS_AMI_ID)
         throw new Error("Could not retrieve the AWS environment variables. Please, verify your environment configuration and retry");
     return {
         accessKeyId: process.env.AWS_ACCESS_KEY_ID,
         secretAccessKey: process.env.AWS_SECRET_ACCESS_KEY,
         region: process.env.AWS_REGION || "us-east-1",
-        roleArn: process.env.AWS_ROLE_ARN,
+        instanceProfileArn: process.env.AWS_INSTANCE_PROFILE_ARN,
         amiId: process.env.AWS_AMI_ID
     };
 };
@@ -1928,11 +1982,11 @@ const p256 = (proofPart) => {
  */
 const formatSolidityCalldata = (circuitInput, _proof) => {
     try {
-        const proof = ffjavascript.utils.unstringifyBigInts(_proof);
+        const proof = unstringifyBigInts(_proof);
         // format the public inputs to the circuit
         const formattedCircuitInput = [];
         for (const cInput of circuitInput) {
-            formattedCircuitInput.push(p256(ffjavascript.utils.unstringifyBigInts(cInput)));
+            formattedCircuitInput.push(p256(unstringifyBigInts(cInput)));
         }
         // construct calldata
         const calldata = {
@@ -2100,7 +2154,8 @@ const getGitHubStats = async (user) => {
         following: jsonData.following,
         followers: jsonData.followers,
         publicRepos: jsonData.public_repos,
-        avatarUrl: jsonData.avatar_url
+        avatarUrl: jsonData.avatar_url,
+        age: jsonData.created_at
     };
     return data;
 };
@@ -2112,20 +2167,21 @@ const getGitHubStats = async (user) => {
  * @param minimumAmountOfPublicRepos <number> The minimum amount of public repos the user should have
  * @returns <any> Return the avatar URL of the user if the user is reputable, false otherwise
  */
-const githubReputation = async (userLogin, minimumAmountOfFollowing, minimumAmountOfFollowers, minimumAmountOfPublicRepos) => {
+const githubReputation = async (userLogin, minimumAmountOfFollowing, minimumAmountOfFollowers, minimumAmountOfPublicRepos, minimumAge) => {
     if (!process.env.GITHUB_ACCESS_TOKEN)
         throw new Error("The GitHub access token is missing. Please insert a valid token to be used for anti-sybil checks on user registation, and then try again.");
-    const { following, followers, publicRepos, avatarUrl } = await getGitHubStats(userLogin);
+    const { following, followers, publicRepos, avatarUrl, age } = await getGitHubStats(userLogin);
     if (following < minimumAmountOfFollowing ||
         publicRepos < minimumAmountOfPublicRepos ||
-        followers < minimumAmountOfFollowers)
+        followers < minimumAmountOfFollowers ||
+        new Date(age) > new Date(Date.now() - minimumAge))
         return {
             reputable: false,
             avatarUrl: ""
         };
     return {
         reputable: true,
-        avatarUrl: avatarUrl
+        avatarUrl
     };
 };
 
@@ -2312,8 +2368,8 @@ const createSSMClient = async () => {
  * @returns <Array<string>> - the list of startup commands to be executed.
  */
 const vmBootstrapCommand = (bucketName) => [
-    "#!/bin/bash",
-    `aws s3 cp s3://${bucketName}/${vmBootstrapScriptFilename} ${vmBootstrapScriptFilename}`,
+    "#!/bin/bash", // shabang.
+    `aws s3 cp s3://${bucketName}/${vmBootstrapScriptFilename} ${vmBootstrapScriptFilename}`, // copy file from S3 bucket to VM.
     `chmod +x ${vmBootstrapScriptFilename} && bash ${vmBootstrapScriptFilename}` // grant permission and execute.
 ];
 /**
@@ -2386,7 +2442,7 @@ const computeDiskSizeForVM = (zKeySizeInBytes, pot) => Math.ceil(2 * convertByte
  */
 const createEC2Instance = async (ec2, commands, instanceType, volumeSize, diskType) => {
     // Get the AWS variables.
-    const { amiId, roleArn } = getAWSVariables();
+    const { amiId, instanceProfileArn } = getAWSVariables();
     // Parametrize the VM EC2 instance.
     const params = {
         ImageId: amiId,
@@ -2395,7 +2451,7 @@ const createEC2Instance = async (ec2, commands, instanceType, volumeSize, diskTy
         MinCount: 1,
         // nb. to find this: iam -> roles -> role_name.
         IamInstanceProfile: {
-            Arn: roleArn
+            Arn: instanceProfileArn
         },
         // nb. for running commands at the startup.
         UserData: Buffer.from(commands.join("\n")).toString("base64"),
@@ -2404,7 +2460,7 @@ const createEC2Instance = async (ec2, commands, instanceType, volumeSize, diskTy
                 DeviceName: "/dev/xvda",
                 Ebs: {
                     DeleteOnTermination: true,
-                    VolumeSize: volumeSize,
+                    VolumeSize: volumeSize, // disk size in GB.
                     VolumeType: diskType
                 }
             }
@@ -2421,6 +2477,10 @@ const createEC2Instance = async (ec2, commands, instanceType, volumeSize, diskTy
                     {
                         Key: "Initialized",
                         Value: "false"
+                    },
+                    {
+                        Key: "ProjectName",
+                        Value: process.env.AWS_TAG_VALUE
                     }
                 ]
             }
@@ -2604,6 +2664,7 @@ exports.completeMultiPartUpload = completeMultiPartUpload;
 exports.computeDiskSizeForVM = computeDiskSizeForVM;
 exports.computeSHA256ToHex = computeSHA256ToHex;
 exports.computeSmallestPowersOfTauForCircuit = computeSmallestPowersOfTauForCircuit;
+exports.contribHashRegex = contribHashRegex;
 exports.convertBytesOrKbToGb = convertBytesOrKbToGb;
 exports.convertToDoubleDigits = convertToDoubleDigits;
 exports.createCustomLoggerForFile = createCustomLoggerForFile;
@@ -2632,6 +2693,7 @@ exports.generatePreSignedUrlsParts = generatePreSignedUrlsParts;
 exports.generateValidContributionsAttestation = generateValidContributionsAttestation;
 exports.generateZkeyFromScratch = generateZkeyFromScratch;
 exports.genesisZkeyIndex = genesisZkeyIndex;
+exports.getAllCeremonies = getAllCeremonies;
 exports.getAllCollectionDocs = getAllCollectionDocs;
 exports.getBucketName = getBucketName;
 exports.getCeremonyCircuits = getCeremonyCircuits;