Proof Aggregation does not work for circom2

[ghost]

Updated poseidon_recursive test to circom2 and got errors:

Step: verify recursive proof [2022-05-07T03:26:29Z INFO plonkit::recursive] individual_inputs: [ [ Fr(0x115cc0f5e7d690413df64c6b9662e9cf2a3617f2743245519e19607a4417189a), ], [ Fr(0x20a3af0435914ccd84b806164531b0cd36e37d4efb93efab76913a93e1f30996), ], [ Fr(0x0427b43899bdfc36d3d4f26c018dd73f5437ea8e5f533fc122441881d5d0b737), ], ] [2022-05-07T03:26:29Z INFO plonkit] Proof is invalid!

...

Step: verify via smart contract

...

1. Plonk Should return true when proof is correct: Error: missing revert data in call exception; Transaction reverted without a reason string [ See: https://links.ethers.org/v5-errors-CALL_EXCEPTION ] (error={"stackTrace":[{"type":0,"sourceReference":{"function":"verifyAggregatedProof","contract":"KeysWithPlonkVerifier","sourceName":"contracts/verifier.sol","sourceContent":"// SPDX-License-Identifier: MIT OR Apache-2.0\n// Based on: https://github.com/matter-labs/zksync/blob/master/core/bin/key_generator/src/verifier_contract_generator/VerifierTemplate.sol, rev#4012188\n\npragma solidity >=0.5.0 <0.9.0;\n\npragma experimental ABIEncoderV2;\n\nlibrary PairingsBn254 {\n ... ...