fix(execution): forbid calling cairo0 contract with cairo1 only builtins

[meship-starkware]

This change is 

[noaov1]

Reviewed 3 of 3 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @avi-starkware and @meship-starkware)

---

crates/blockifier/src/execution/deprecated_entry_point_execution.rs line 85 at r1 (raw file):

    context: &'a mut EntryPointExecutionContext,
) -> Result<VmExecutionContext<'a>, PreExecutionError> {
    // Resolve initial PC from EP indicator.

Please move it to the relevant line of code.

Code quote:

    // Resolve initial PC from EP indicator.

---

crates/blockifier/src/execution/deprecated_entry_point_execution.rs line 94 at r1 (raw file):

            unsupported_builtins_set.iter().map(|&item| *item).collect(),
        ));
    }

Suggestion:

    // Verify use of cairo0 builtins only.
    let program_builtins: HashSet<&BuiltinName> =
        HashSet::from_iter(contract_class.program.iter_builtins());
    let unsupported_builtins =
        &program_builtins - &HashSet::from_iter(CAIRO0_BUILTINS_NAMES.iter());
    if !unsupported_builtins_set.is_empty() {
        return Err(PreExecutionError::UnsupportedCairo0Builtin(
            unsupported_builtins_set.iter().map(|&item| *item).collect(),
        ));
    }

[meship-starkware]

Reviewable status: 2 of 3 files reviewed, 2 unresolved discussions (waiting on @avi-starkware and @noaov1)

---

crates/blockifier/src/execution/deprecated_entry_point_execution.rs line 85 at r1 (raw file):

Previously, noaov1 (Noa Oved) wrote…

Please move it to the relevant line of code.

Done.

---

crates/blockifier/src/execution/deprecated_entry_point_execution.rs line 94 at r1 (raw file):

            unsupported_builtins_set.iter().map(|&item| *item).collect(),
        ));
    }

Done.

[noaov1]

Reviewed 1 of 1 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @avi-starkware)