This is blocked by [Introduce new Verifier contract and its contract unit test](https://github.com/EYBlockchain/nightfall_4_Starknet/issues/15) - [ ] Convert [IVKProvider.sol](https://github.com/EYBlockchain/nightfall_4_Starknet/blob/master/blockchain_assets/contracts/proof_verification/IVKProvider.sol) to IVKProvider.cario - [ ] Convert [RollupProofVerifier.sol](https://github.com/EYBlockchain/nightfall_4_Starknet/blob/master/blockchain_assets/contracts/proof_verification/RollupProofVerifier.sol) and [RollupProofVerifierV2.sol](https://github.com/EYBlockchain/nightfall_4_Starknet/blob/master/blockchain_assets/contracts/proof_verification/RollupProofVerifierV2.sol) to RollupProofVerifier.cario, and RollupProofVerifierV2.cario - [ ] Convert [lib](https://github.com/EYBlockchain/nightfall_4_Starknet/tree/master/blockchain_assets/contracts/proof_verification/lib) to cario. Depending on how we will do in issue 15, if we delete this lib, no need to do conversion - [ ] Make sure [RollupProofVerificationKey_V2.t.sol](https://github.com/EYBlockchain/nightfall_4_Starknet/blob/master/blockchain_assets/test_contracts/RollupProofVerificationKey_V2.t.sol) pass test - [ ] Make sure [RollupProofVerifierTest.t.sol](https://github.com/EYBlockchain/nightfall_4_Starknet/blob/master/blockchain_assets/test_contracts/RollupProofVerifierTest.t.sol) pass test - [ ] Make sure [RollupProofVerifier_V2.t.sol](https://github.com/EYBlockchain/nightfall_4_Starknet/blob/master/blockchain_assets/test_contracts/RollupProofVerifier_V2.t.sol) pass test
This is blocked by Introduce new Verifier contract and its contract unit test