pub(crate) fn make_plonk_blocks_verify_keys(config: AvailableBlockSizesConfig) {
    for (block_chunks, setup_power) in config
        .blocks_chunks
        .into_iter()
        .zip(config.blocks_setup_power2.into_iter())
    {
        let key_path = get_block_verification_key_path(block_chunks);
        log::info!(
            "Generating block: {} verification key into: {}",
            block_chunks,
            key_path.display()
        );
        let result_setup_power = generate_verification_key(zksync_circuit(block_chunks), key_path);
        assert_eq!(
            result_setup_power, setup_power,
            "setup power actually needed by circuit of size {} is not equal to that from SUPPORTED_BLOCK_CHUNKS_SIZES env variable", block_chunks
        );
    }
}
/// Generates and saves verification keys for given block sizes. (high of memory consumption)
Generates and saves verification keys for given block sizes. (high of memory consumption)
Generates and saves verification keys for given block sizes . ( high of memory consumption )
pub(crate) fn make_plonk_blocks_verify_keys(config: AvailableBlockSizesConfig) {
    for (block_chunks, setup_power) in config
        .blocks_chunks
        .into_iter()
        .zip(config.blocks_setup_power2.into_iter())
    {
        let key_path = get_block_verification_key_path(block_chunks);
        log::info!(
            "Generating block: {} verification key into: {}",
            block_chunks,
            key_path.display()
        );
        let result_setup_power = generate_verification_key(zksync_circuit(block_chunks), key_path);
        assert_eq!(
            result_setup_power, setup_power,
            "setup power actually needed by circuit of size {} is not equal to that from SUPPORTED_BLOCK_CHUNKS_SIZES env variable", block_chunks
        );
    }
}
pub ( crate ) fn make_plonk_blocks_verify_keys ( config : AvailableBlockSizesConfig ) { for ( block_chunks , setup_power ) in config . blocks_chunks . into_iter ( ) . zip ( config . blocks_setup_power2 . into_iter ( ) ) { let key_path = get_block_verification_key_path ( block_chunks ) ; log :: info ! ( " " block_chunks key_path display ( ) ) ; let result_setup_power = generate_verification_key ( zksync_circuit ( block_chunks ) , key_path ) ; assert_eq ! ( result_setup_power setup_power " " block_chunks ) ; } }
Generates and saves verification keys for given block sizes.
Generates and saves verification keys for given block sizes .
config
AvailableBlockSizesConfig