pub fn load_from_disk() -> Self {
        let bootloader_bytecode = read_bootloader_code("proved_batch");
        BaseSystemContracts::load_with_bootloader(bootloader_bytecode, true)
    }
BaseSystemContracts with proved bootloader - for handling transactions.
core/lib/contracts/src/lib.rs