diff --git a/contracts/verifiers/local/verifier_groth.sol b/contracts/verifiers/local/verifier_groth.sol
index 2e5e9e5..10e8b45 100644
--- a/contracts/verifiers/local/verifier_groth.sol
+++ b/contracts/verifiers/local/verifier_groth.sol
@@ -147,7 +147,7 @@ contract Verifier {
   using Pairing for *;
   uint256 constant private snark_scalar_field = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
   struct VerifyingKey {
-    Pairing.G1Point alfa1;
+    Pairing.G1Point alpha1;
     Pairing.G2Point beta2;
     Pairing.G2Point gamma2;
     Pairing.G2Point delta2;
@@ -159,7 +159,7 @@ contract Verifier {
     Pairing.G1Point C;
   }
   function verifyingKey() internal pure returns (VerifyingKey memory vk) {
-    vk.alfa1 = Pairing.G1Point(20491192805390485299153009773594534940189261866228447918068658471970481763042, 9383485363053290200918347156157836566562967994039712273449902621266178545958);
+    vk.alpha1 = Pairing.G1Point(20491192805390485299153009773594534940189261866228447918068658471970481763042, 9383485363053290200918347156157836566562967994039712273449902621266178545958);
     vk.beta2 = Pairing.G2Point([4252822878758300859123897981450591353533073413197771768651442665752259397132,6375614351688725206403948262868962793625744043794305715222011528459656738731], [21847035105528745403288232691147584728191162732299865338377159692350059136679,10505242626370262277552901082094356697409835680220590971873171140371331206856]);
     vk.gamma2 = Pairing.G2Point([11559732032986387107991004021392285783925812861821192530917403151452391805634,10857046999023057135944570762232829481370756359578518086990519993285655852781], [4082367875863433681332203403145435568316851327593401208105741076214120093531,8495653923123431417604973247489272438418190587263600148770280649306958101930]);
     vk.delta2 = Pairing.G2Point([16947967852917776612242666765339055140004530219040719566241973405926209896589,9526465944650138768726332063321262597514193803543146241262920033512923206833], [8391255886665123549932056926338579244742743577262957977406729945277596579696,19350668523204772149977938696677933779621485674406066708436704188235339847628]);
@@ -181,7 +181,7 @@ contract Verifier {
     vk_x = Pairing.addition(vk_x, vk.IC[0]);
     if (!Pairing.pairingProd4(
       Pairing.negate(proof.A), proof.B,
-      vk.alfa1, vk.beta2,
+      vk.alpha1, vk.beta2,
       vk_x, vk.gamma2,
       proof.C, vk.delta2
     )) return 1;
diff --git a/verifier/preprocess.mjs b/verifier/preprocess.mjs
index e2ee6bf..fa338a3 100644
--- a/verifier/preprocess.mjs
+++ b/verifier/preprocess.mjs
@@ -42,7 +42,7 @@ for (const network of await readdir(networksPath)) {
   const inputLength = verificationKey['nPublic']
 
   const contract = template
-      .replaceAll('<%vk_alfa1%>', alpha1)
+      .replaceAll('<%vk_alpha1%>', alpha1)
       .replaceAll('<%vk_beta2%>', beta2)
       .replaceAll('<%vk_gamma2%>', gamma2)
       .replaceAll('<%vk_delta2%>', delta2)
diff --git a/verifier/template/verifier_groth.sol b/verifier/template/verifier_groth.sol
index f2c2a53..2e8304e 100644
--- a/verifier/template/verifier_groth.sol
+++ b/verifier/template/verifier_groth.sol
@@ -147,7 +147,7 @@ contract Verifier {
   using Pairing for *;
   uint256 constant private snark_scalar_field = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
   struct VerifyingKey {
-    Pairing.G1Point alfa1;
+    Pairing.G1Point alpha1;
     Pairing.G2Point beta2;
     Pairing.G2Point gamma2;
     Pairing.G2Point delta2;
@@ -159,7 +159,7 @@ contract Verifier {
     Pairing.G1Point C;
   }
   function verifyingKey() internal pure returns (VerifyingKey memory vk) {
-    vk.alfa1 = Pairing.G1Point(<%vk_alfa1%>);
+    vk.alpha1 = Pairing.G1Point(<%vk_alpha1%>);
     vk.beta2 = Pairing.G2Point(<%vk_beta2%>);
     vk.gamma2 = Pairing.G2Point(<%vk_gamma2%>);
     vk.delta2 = Pairing.G2Point(<%vk_delta2%>);
@@ -178,7 +178,7 @@ contract Verifier {
     vk_x = Pairing.addition(vk_x, vk.IC[0]);
     if (!Pairing.pairingProd4(
       Pairing.negate(proof.A), proof.B,
-      vk.alfa1, vk.beta2,
+      vk.alpha1, vk.beta2,
       vk_x, vk.gamma2,
       proof.C, vk.delta2
     )) return 1;