diff --git a/templates/verifier_fflonk.sol.ejs b/templates/verifier_fflonk.sol.ejs
index a87012c3..24b0608b 100644
--- a/templates/verifier_fflonk.sol.ejs
+++ b/templates/verifier_fflonk.sol.ejs
@@ -166,7 +166,7 @@ contract FflonkVerifier {
 <%      inversionArray.push(`pEval_l${i}`); -%>
 <% } -%>
 
-    function verifyProof(bytes32[24] calldata proof, uint256[<%- Math.max(nPublic, 1) %>] calldata pubSignals) public view returns (bool) {
+    function verifyProof(bytes32[24] calldata proof, uint256[<%- Math.max(nPublic, 1) %>] calldata pubSignals) external view returns (bool) {
         assembly {
             // Computes the inverse of an array of values
             // See https://vitalik.ca/general/2018/07/21/starks_part_3.html in section where explain fields operations
diff --git a/templates/verifier_groth16.sol.ejs b/templates/verifier_groth16.sol.ejs
index 32c260ed..f286809c 100644
--- a/templates/verifier_groth16.sol.ejs
+++ b/templates/verifier_groth16.sol.ejs
@@ -53,7 +53,7 @@ contract Groth16Verifier {
 
     uint16 constant pLastMem = 896;
 
-    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[<%=IC.length-1%>] calldata _pubSignals) public view returns (bool) {
+    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[<%=IC.length-1%>] calldata _pubSignals) external view returns (bool) {
         assembly {
             function checkField(v) {
                 if iszero(lt(v, q)) {
diff --git a/templates/verifier_plonk.sol.ejs b/templates/verifier_plonk.sol.ejs
index da3f145b..e9187a40 100644
--- a/templates/verifier_plonk.sol.ejs
+++ b/templates/verifier_plonk.sol.ejs
@@ -120,7 +120,7 @@ contract PlonkVerifier {
     
     uint16 constant lastMem = <%=pLastMem%>;
 
-    function verifyProof(uint256[24] calldata _proof, uint256[<%=nPublic%>] calldata _pubSignals) public view returns (bool) {
+    function verifyProof(uint256[24] calldata _proof, uint256[<%=nPublic%>] calldata _pubSignals) external view returns (bool) {
         assembly {
             /////////
             // Computes the inverse using the extended euclidean algorithm
diff --git a/test/fflonk/verifier.sol b/test/fflonk/verifier.sol
index 66738242..02d20a07 100644
--- a/test/fflonk/verifier.sol
+++ b/test/fflonk/verifier.sol
@@ -159,7 +159,7 @@ contract FflonkVerifier {
     uint16 constant lastMem = 1920;
      
 
-    function verifyProof(bytes32[24] calldata proof, uint256[1] calldata pubSignals) public view returns (bool) {
+    function verifyProof(bytes32[24] calldata proof, uint256[1] calldata pubSignals) external view returns (bool) {
         assembly {
             // Computes the inverse of an array of values
             // See https://vitalik.ca/general/2018/07/21/starks_part_3.html in section where explain fields operations
diff --git a/test/plonk_circuit/verifier.sol b/test/plonk_circuit/verifier.sol
index 5b02324a..51231950 100644
--- a/test/plonk_circuit/verifier.sol
+++ b/test/plonk_circuit/verifier.sol
@@ -106,7 +106,7 @@ contract PlonkVerifier {
     
     uint16 constant lastMem = 864;
 
-    function verifyProof(bytes memory proof, uint[] memory pubSignals) public view returns (bool) {
+    function verifyProof(bytes memory proof, uint[] memory pubSignals) external view returns (bool) {
         assembly {
             /////////
             // Computes the inverse using the extended euclidean algorithm