Number of currencies is 3

verifying_key.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

contract Halo2VerifyingKey {
    constructor() {
        assembly {
            mstore(0x0000, 0x0e6f2c8bfe5d98eab60f5ccee40e252e11cdffae0f099b771701e3e100e3ee1f) // vk_digest
            mstore(0x0020, 0x0000000000000000000000000000000000000000000000000000000000000011) // k
            mstore(0x0040, 0x30643640b9f82f90e83b698e5ea6179c7c05542e859533b48b9953a2f5360801) // n_inv
            mstore(0x0060, 0x304cd1e79cfa5b0f054e981a27ed7706e7ea6b06a7f266ef8db819c179c2c3ea) // omega
            mstore(0x0080, 0x193586da872cdeff023d6ab2263a131b4780db8878be3c3b7f8f019c06fcb0fb) // omega_inv
            mstore(0x00a0, 0x299110e6835fd73731fb3ce6de87151988da403c265467a96b9cda0d7daa72e4) // omega_inv_to_l
            mstore(0x00c0, 0x0000000000000000000000000000000000000000000000000000000000000001) // num_instances
            mstore(0x00e0, 0x0000000000000000000000000000000000000000000000000000000000000000) // has_accumulator
            mstore(0x0100, 0x0000000000000000000000000000000000000000000000000000000000000000) // acc_offset
            mstore(0x0120, 0x0000000000000000000000000000000000000000000000000000000000000000) // num_acc_limbs
            mstore(0x0140, 0x0000000000000000000000000000000000000000000000000000000000000000) // num_acc_limb_bits
            mstore(0x0160, 0x0000000000000000000000000000000000000000000000000000000000000001) // g1_x
            mstore(0x0180, 0x0000000000000000000000000000000000000000000000000000000000000002) // g1_y
            mstore(0x01a0, 0x198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2) // g2_x_1
            mstore(0x01c0, 0x1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed) // g2_x_2
            mstore(0x01e0, 0x090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b) // g2_y_1
            mstore(0x0200, 0x12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa) // g2_y_2
            mstore(0x0220, 0x26186a2d65ee4d2f9c9a5b91f86597d35f192cd120caf7e935d8443d1938e23d) // neg_s_g2_x_1
            mstore(0x0240, 0x30441fd1b5d3370482c42152a8899027716989a6996c2535bc9f7fee8aaef79e) // neg_s_g2_x_2
            mstore(0x0260, 0x16f363f103c80d7bbc8ad3c6867e0822bbc6000be91a4689755c7df40221c145) // neg_s_g2_y_1
            mstore(0x0280, 0x2b1cbb3e521edf5a622d82762a44a5e63f1e50b332d71154a4a7958d6011deff) // neg_s_g2_y_2
            mstore(0x02a0, 0x1404a2d17cd02c8f9fd79d74ac73c67d1881e62c6af354fa74d235c5e37dacfe) // fixed_comms[0].x
            mstore(0x02c0, 0x2c1e30781f735e7977820d4ca9145010e28dcc808ee0f1e976477289057b7aec) // fixed_comms[0].y
            mstore(0x02e0, 0x263a1a1659eb03ee5ce38e0166539201aafe98384956af48831620e1e1374466) // permutation_comms[0].x
            mstore(0x0300, 0x1ea024e52a1afe41ba43eede5a537e455e9cfb5fb18cb88d7c31dea4fd873f1c) // permutation_comms[0].y
            mstore(0x0320, 0x2b1f7e2148bfab601e68f2e8133b9d05c10a9526d686b356b761eaa3713a70ba) // permutation_comms[1].x
            mstore(0x0340, 0x013345ea09966b06e4ae7d7e2919ddbb6e3f7e645aea515375ed729bff644dc5) // permutation_comms[1].y
            mstore(0x0360, 0x27a7a66087a8c17b00ffb7fe9b76ba2199ca308bcb0ad100fa181886d6c9b936) // permutation_comms[2].x
            mstore(0x0380, 0x23bc951a3c4307384bdec5d61be122a19c933db3266d6327a472e5203a9f785a) // permutation_comms[2].y
            mstore(0x03a0, 0x0743ea40f14084db2673217283aa053f986896ee7c181f52118442e99c452974) // permutation_comms[3].x
            mstore(0x03c0, 0x0203e3493a2594ece57d22cc75dd081ac68271ec7c758153cfd2152bfb5c19e3) // permutation_comms[3].y
            mstore(0x03e0, 0x11ed19a8a7e0a5a799469afd87902cb9e540cf48f01973fe6d359c6dbf0b9df7) // permutation_comms[4].x
            mstore(0x0400, 0x26e1f906d236fb951ea741425ccaa33c2fba3fab8505b4274bbd9fe2737e9067) // permutation_comms[4].y
            mstore(0x0420, 0x0c28e0db2e4decc2a36413620cdc36ae237ccbc1cd1168841c5375d2a79478ce) // permutation_comms[5].x
            mstore(0x0440, 0x17b5790a11fcde00f8acf7edc4328f37883aec0f5955f8a6f7764078edf3cd05) // permutation_comms[5].y
            mstore(0x0460, 0x284ac053d96a33fca69eca00e16eea75ad1bf008d2a742fc846ac73d17d46d73) // permutation_comms[6].x
            mstore(0x0480, 0x14f45666a26b8d472186dbf78e606a82891e0f122a54264418cfe2615003dfb9) // permutation_comms[6].y
            mstore(0x04a0, 0x1c517c335ad634422ef2eb5f615926e875afa9e9c589abf528d315a8a586b22d) // permutation_comms[7].x
            mstore(0x04c0, 0x1220b1b13c91e8115106144bc417d4d3e6a9de3fb70406e68b4a5fd8a92f4327) // permutation_comms[7].y
            mstore(0x04e0, 0x24dcd09ca1ed840b35a7f7cda25cbb87b88e5b34a6efb46b68c657657e4fa4dd) // permutation_comms[8].x
            mstore(0x0500, 0x0c21f22edc96cc7bed4233f01f8a955b5106354822b1930aee2374542e931984) // permutation_comms[8].y
            mstore(0x0520, 0x0f09c585dc376dd0d5962c76ae444dc1cc3de9780f4fbdd5105a7040500d60ba) // permutation_comms[9].x
            mstore(0x0540, 0x13587a1e4799ba72f1d95e47a4e377086b83e5189903566e7422119ed28eba59) // permutation_comms[9].y
            mstore(0x0560, 0x062a1f4d38b476bfc67bdc21069e9ac5c0ca1f743a81d99343974cf499744ec6) // permutation_comms[10].x
            mstore(0x0580, 0x01eed785f7347519ed9b8e644808952ede85fb0269d00d2f23fa5fcc351e41e2) // permutation_comms[10].y
            mstore(0x05a0, 0x16adb2b33cadf847d14f0c4e9e96c2b5d8b4bd775d0656332345d511af3d7418) // permutation_comms[11].x
            mstore(0x05c0, 0x0b38e5d7d8516acdf24ef3cb4ddbc43ad62ab3657d0013448a3cb29daab02076) // permutation_comms[11].y
            mstore(0x05e0, 0x0bdca8c4e73db5111ed2e6fbed78e23e6f18bef003906a986ced95e76f40627d) // permutation_comms[12].x
            mstore(0x0600, 0x097bd5583998fa8198c38e4eec8c90f4849623de135a0c27a494617b799d906b) // permutation_comms[12].y
            mstore(0x0620, 0x2f72fd56b222d9fbcbb91ae571d1ef6c46ffc95ecd176dd2a375b3cb01e5d052) // permutation_comms[13].x
            mstore(0x0640, 0x02fe9b202c0fb517b58ffc40b3ffa76b9880aa8e79feabf190ef07bfd343f4fb) // permutation_comms[13].y

            return(0, 0x0660)
        }
    }
}