diff --git a/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_1.zok b/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_1.zok
index 9e4e45a8..b4df2dca 100644
--- a/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_1.zok
+++ b/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_1.zok
@@ -1,10 +1,15 @@
 from "EMBED" import snark_verify_bls12_377
 
 // Verifies a proof with 1 public input (0 inputs + 1 output)
-// Circuit used in this test:
+// Circuit used in this test (compiled using `bls12_377` curve):
 //
 // def main() -> field:
 //     return 1
+//
+// Arguments:
+//     inputs - public inputs of the circuit
+//     proof - flattened proof to an array of field elements
+//     vk - flattened verification key to an array of field elements
 
 def main(private field[1] inputs, private field[8] proof, private field[20] vk) -> bool:
     bool result = snark_verify_bls12_377(inputs, proof, vk)
diff --git a/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_2.zok b/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_2.zok
index d8bd4919..1bdb7bdd 100644
--- a/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_2.zok
+++ b/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_2.zok
@@ -1,10 +1,15 @@
 from "EMBED" import snark_verify_bls12_377
 
 // Verifies a proof with 2 public inputs (1 input + 1 output)
-// Circuit used in this test:
+// Circuit used in this test (compiled using `bls12_377` curve):
 //
 // def main(field a) -> field:
 //     return a * a
+//
+// Arguments:
+//     inputs - public inputs of the circuit
+//     proof - flattened proof to an array of field elements
+//     vk - flattened verification key to an array of field elements
 
 def main(private field[2] inputs, private field[8] proof, private field[22] vk) -> bool:
     bool result = snark_verify_bls12_377(inputs, proof, vk)
diff --git a/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_5.zok b/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_5.zok
index 365105be..48514273 100644
--- a/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_5.zok
+++ b/zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_5.zok
@@ -1,7 +1,7 @@
 from "EMBED" import snark_verify_bls12_377
 
 // Verifies a proof with 5 public inputs (4 inputs + 1 output)
-// Circuit used in this test:
+// Circuit used in this test (compiled using `bls12_377` curve):
 //
 // def main(field[4] a) -> field:
 //     field out = 0
@@ -9,6 +9,11 @@ from "EMBED" import snark_verify_bls12_377
 //         out = out + a[i]
 //     endfor
 //     return out
+//
+// Arguments:
+//     inputs - public inputs of the circuit
+//     proof - flattened proof to an array of field elements
+//     vk - flattened verification key to an array of field elements
 
 def main(private field[5] inputs, private field[8] proof, private field[28] vk) -> bool:
     bool result = snark_verify_bls12_377(inputs, proof, vk)