@@ -33,7 +33,7 @@ export const computeWitness = async (plugin: CircomPluginClient, appState: AppSt
3333 const writePath = extractParentFromKey ( appState . filePath ) + `/.bin/${ fileName . replace ( '.circom' , '_js' ) } /${ fileName . replace ( '.circom' , '.wtn.json' ) } `
3434
3535 await plugin . call ( 'fileManager' , 'writeFile' , writePath , JSON . stringify ( wtnsJson , null , 2 ) )
36- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'compiler.generate_witness' , name : 'wtns.exportJson' , value : writePath , isClick : true } )
36+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'compiler.generate_witness' , name : 'wtns.exportJson' , value : writePath , isClick : true } )
3737 }
3838 } else {
3939 console . log ( 'Existing witness computation in progress' )
@@ -62,46 +62,46 @@ export const runSetupAndExport = async (plugin: CircomPluginClient, appState: Ap
6262 const zkey_final = { type : "mem" }
6363
6464 if ( appState . provingScheme === 'groth16' ) {
65- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'provingScheme' , value : 'groth16' , isClick : true } )
65+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'provingScheme' , value : 'groth16' , isClick : true } )
6666 await snarkjs . zKey . newZKey ( r1cs , ptau_final , zkey_final , zkLogger ( plugin , dispatch , 'SET_SETUP_EXPORT_FEEDBACK' ) )
6767 const vKey = await snarkjs . zKey . exportVerificationKey ( zkey_final , zkLogger ( plugin , dispatch , 'SET_SETUP_EXPORT_FEEDBACK' ) )
6868
6969 if ( appState . exportVerificationKey ) {
7070 await plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/keys/verification_key.json` , JSON . stringify ( vKey , null , 2 ) )
71- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportVerificationKey' , value : `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/keys/verification_key.json` , isClick : true } )
71+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportVerificationKey' , value : `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/keys/verification_key.json` , isClick : true } )
7272 }
7373 if ( appState . exportVerificationContract ) {
7474 const templates = { groth16 : GROTH16_VERIFIER }
7575 const solidityContract = await snarkjs . zKey . exportSolidityVerifier ( zkey_final , templates , zkLogger ( plugin , dispatch , 'SET_SETUP_EXPORT_FEEDBACK' ) )
7676
7777 await plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/build/zk_verifier.sol` , solidityContract )
78- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportSolidityVerifier' , value : `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/build/zk_verifier.sol` , isClick : true } )
78+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportSolidityVerifier' , value : `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/build/zk_verifier.sol` , isClick : true } )
7979 }
8080 dispatch ( { type : 'SET_ZKEY' , payload : zkey_final } )
8181 dispatch ( { type : 'SET_VERIFICATION_KEY' , payload : vKey } )
8282 } else if ( appState . provingScheme === 'plonk' ) {
83- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'provingScheme' , value : 'plonk' , isClick : true } )
83+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'provingScheme' , value : 'plonk' , isClick : true } )
8484 await snarkjs . plonk . setup ( r1cs , ptau_final , zkey_final , zkLogger ( plugin , dispatch , 'SET_SETUP_EXPORT_FEEDBACK' ) )
8585 const vKey = await snarkjs . zKey . exportVerificationKey ( zkey_final , zkLogger ( plugin , dispatch , 'SET_SETUP_EXPORT_FEEDBACK' ) )
8686
8787 if ( appState . exportVerificationKey ) {
8888 await plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/keys/verification_key.json` , JSON . stringify ( vKey , null , 2 ) )
89- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportVerificationKey' , value : `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/keys/verification_key.json` , isClick : true } )
89+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportVerificationKey' , value : `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/keys/verification_key.json` , isClick : true } )
9090 }
9191 if ( appState . exportVerificationContract ) {
9292 const templates = { plonk : PLONK_VERIFIER }
9393 const solidityContract = await snarkjs . zKey . exportSolidityVerifier ( zkey_final , templates , zkLogger ( plugin , dispatch , 'SET_SETUP_EXPORT_FEEDBACK' ) )
9494
9595 await plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/build/zk_verifier.sol` , solidityContract )
96- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportSolidityVerifier' , value : `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/build/zk_verifier.sol` , isClick : true } )
96+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'zKey.exportSolidityVerifier' , value : `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/build/zk_verifier.sol` , isClick : true } )
9797 }
9898 dispatch ( { type : 'SET_ZKEY' , payload : zkey_final } )
9999 dispatch ( { type : 'SET_VERIFICATION_KEY' , payload : vKey } )
100100 }
101101 dispatch ( { type : 'SET_COMPILER_STATUS' , payload : 'idle' } )
102102 dispatch ( { type : 'SET_SETUP_EXPORT_STATUS' , payload : 'done' } )
103103 } catch ( e ) {
104- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'error' , value : e . message , isClick : true } )
104+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'runSetupAndExport' , name : 'error' , value : e . message , isClick : true } )
105105 dispatch ( { type : 'SET_COMPILER_STATUS' , payload : 'errored' } )
106106 console . error ( e )
107107 }
@@ -133,25 +133,25 @@ export const generateProof = async (plugin: CircomPluginClient, appState: AppSta
133133
134134 plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/build/proof.json` , JSON . stringify ( proof , null , 2 ) )
135135 plugin . call ( 'terminal' , 'log' , { type : 'log' , value : 'zk proof validity ' + verified } )
136- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'groth16.prove' , value : verified , isClick : true } )
136+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'groth16.prove' , value : verified , isClick : true } )
137137 if ( appState . exportVerifierCalldata ) {
138138 const calldata = await snarkjs . groth16 . exportSolidityCallData ( proof , publicSignals )
139139
140140 plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/build/verifierCalldata.json` , calldata )
141- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'groth16.exportSolidityCallData' , value : `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/build/verifierCalldata.json` , isClick : true } )
141+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'groth16.exportSolidityCallData' , value : `${ extractParentFromKey ( appState . filePath ) } /groth16/zk/build/verifierCalldata.json` , isClick : true } )
142142 }
143143 } else if ( appState . provingScheme === 'plonk' ) {
144144 const { proof, publicSignals } = await snarkjs . plonk . prove ( zkey_final , wtns , zkLogger ( plugin , dispatch , 'SET_PROOF_FEEDBACK' ) )
145145 const verified = await snarkjs . plonk . verify ( vKey , publicSignals , proof , zkLogger ( plugin , dispatch , 'SET_PROOF_FEEDBACK' ) )
146146
147147 plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/build/proof.json` , JSON . stringify ( proof , null , 2 ) )
148148 plugin . call ( 'terminal' , 'log' , { type : 'log' , value : 'zk proof validity ' + verified } )
149- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'plonk.prove' , value : verified , isClick : true } )
149+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'plonk.prove' , value : verified , isClick : true } )
150150 if ( appState . exportVerifierCalldata ) {
151151 const calldata = await snarkjs . plonk . exportSolidityCallData ( proof , publicSignals )
152152
153153 plugin . call ( 'fileManager' , 'writeFile' , `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/build/verifierCalldata.json` , calldata )
154- trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'plonk.exportSolidityCallData' , value : `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/build/verifierCalldata.json` , isClick : true } )
154+ trackMatomoEvent ( plugin , { category : 'circuit-compiler' , action : 'generateProof' , name : 'plonk.exportSolidityCallData' , value : `${ extractParentFromKey ( appState . filePath ) } /plonk/zk/build/verifierCalldata.json` , isClick : true } )
155155 }
156156 }
157157 dispatch ( { type : 'SET_COMPILER_STATUS' , payload : 'idle' } )
0 commit comments