consider switching bellman_vk_codegen to https://github.com/matter-labs/zksync/tree/master/core/bin/key_generator/src/verifier_contract_generator The code is more elegant.