feat: Update to the new snarkjs verifier

.gitmodules

@@ -57,4 +57,4 @@
 	url = https://github.com/ethereum/consensus-spec-tests.git
 [submodule "vendor/snarkjs"]
 	path = vendor/snarkjs
-	url = [email protected]:iden3/snarkjs.git
+	url = [email protected]:metacraft-labs/snarkjs.git

beacon-light-client/solidity/contracts/bridge/src/utils/LightClientUpdateVerifier.sol

@@ -3,7 +3,9 @@ pragma solidity 0.8.9;
 
 import './Verifier.sol';
 
-contract LightClientUpdateVerifier is Verifier {
+contract LightClientUpdateVerifier is Groth16Verifier {
+  error VerificationCallFailed();
+
   function verifyUpdate(
     uint256[2] memory a,
     uint256[2][2] memory b,
@@ -14,7 +16,7 @@ contract LightClientUpdateVerifier is Verifier {
     bytes32 finalizedHeaderRoot,
     bytes32 executionStateRoot,
     bytes32 domain
-  ) internal view returns (bool) {
+  ) internal returns (bool) {
     bytes memory concatenated = abi.encodePacked(prevHeaderHash, nextHeaderHash, finalizedHeaderRoot, executionStateRoot, nextHeaderSlot, domain);
     bytes32 commitment = sha256(concatenated);
 
@@ -23,6 +25,16 @@ contract LightClientUpdateVerifier is Verifier {
     input[0] = (uint256(commitment) & (((1 << 253) - 1) << 3)) >> 3;
     input[1] = (uint256(commitment) & ((1 << 3) - 1));
 
-    return verifyProof(a, b, c, input);
+    (bool success, bytes memory returnData) = address(this).call(
+      // Encode the call to the `verify` function with the public inputs
+      abi.encodeWithSelector(Groth16Verifier.verifyProof.selector, a, b, c, input)
+    );
+
+    // Check if the call was successful
+    if (!success) {
+      revert VerificationCallFailed();
+    }
+
+    return abi.decode(returnData, (bool));
   }
 }