cairo-lang 0.13.4a1__zip → 0.14.0a1__zip

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: cairo-lang
-Version: 0.13.4a1
+Version: 0.14.0a1
 Summary: Compiler and runner for the Cairo language
 Home-page: https://cairo-lang.org/
 Author: Starkware
@@ -22,7 +22,7 @@ We recommend starting from [Setting up the environment](https://cairo-lang.org/d
 # Installation instructions
 
 You should be able to download the python package zip file directly from
-[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.13.4)
+[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.14.0)
 and install it using ``pip``.
 See [Setting up the environment](https://cairo-lang.org/docs/quickstart.html).
 
@@ -64,7 +64,6 @@ Once the docker image is built, you can fetch the python package zip file using:
 
 ```bash
 > container_id=$(docker create cairo)
-> docker cp ${container_id}:/app/cairo-lang-0.13.4.zip .
+> docker cp ${container_id}:/app/cairo-lang-0.14.0.zip .
 > docker rm -v ${container_id}
 ```
-

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/README.md

@@ -12,7 +12,7 @@ We recommend starting from [Setting up the environment](https://cairo-lang.org/d
 # Installation instructions
 
 You should be able to download the python package zip file directly from
-[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.13.4)
+[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.14.0)
 and install it using ``pip``.
 See [Setting up the environment](https://cairo-lang.org/docs/quickstart.html).
 
@@ -54,7 +54,6 @@ Once the docker image is built, you can fetch the python package zip file using:
 
 ```bash
 > container_id=$(docker create cairo)
-> docker cp ${container_id}:/app/cairo-lang-0.13.4.zip .
+> docker cp ${container_id}:/app/cairo-lang-0.14.0.zip .
 > docker rm -v ${container_id}
 ```
-

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/cairo_lang.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: cairo-lang
-Version: 0.13.4a1
+Version: 0.14.0a1
 Summary: Compiler and runner for the Cairo language
 Home-page: https://cairo-lang.org/
 Author: Starkware
@@ -22,7 +22,7 @@ We recommend starting from [Setting up the environment](https://cairo-lang.org/d
 # Installation instructions
 
 You should be able to download the python package zip file directly from
-[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.13.4)
+[github](https://github.com/starkware-libs/cairo-lang/releases/tag/v0.14.0)
 and install it using ``pip``.
 See [Setting up the environment](https://cairo-lang.org/docs/quickstart.html).
 
@@ -64,7 +64,6 @@ Once the docker image is built, you can fetch the python package zip file using:
 
 ```bash
 > container_id=$(docker create cairo)
-> docker cp ${container_id}:/app/cairo-lang-0.13.4.zip .
+> docker cp ${container_id}:/app/cairo-lang-0.14.0.zip .
 > docker rm -v ${container_id}
 ```
-

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/cairo_lang.egg-info/SOURCES.txt

@@ -42,6 +42,10 @@ starkware/cairo/bootloaders/fact_topology.py
 starkware/cairo/bootloaders/generate_fact.py
 starkware/cairo/bootloaders/hash_program.py
 starkware/cairo/bootloaders/program_hash_test_utils.py
+starkware/cairo/builtin_selection/inner_select_builtins.cairo
+starkware/cairo/builtin_selection/select_builtins.cairo
+starkware/cairo/builtin_selection/select_input_builtins.cairo
+starkware/cairo/builtin_selection/validate_builtins.cairo
 starkware/cairo/common/__init__.py
 starkware/cairo/common/alloc.cairo
 starkware/cairo/common/bitwise.cairo
@@ -102,6 +106,7 @@ starkware/cairo/common/cairo_blake2s/__init__.py
 starkware/cairo/common/cairo_blake2s/blake2s.cairo
 starkware/cairo/common/cairo_blake2s/blake2s_utils.py
 starkware/cairo/common/cairo_blake2s/packed_blake2s.cairo
+starkware/cairo/common/cairo_ec_op/ec_op.cairo
 starkware/cairo/common/cairo_keccak/__init__.py
 starkware/cairo/common/cairo_keccak/keccak.cairo
 starkware/cairo/common/cairo_keccak/keccak_utils.py
@@ -126,6 +131,7 @@ starkware/cairo/common/secp256r1/bigint.cairo
 starkware/cairo/common/secp256r1/constants.cairo
 starkware/cairo/common/secp256r1/ec.cairo
 starkware/cairo/common/secp256r1/field.cairo
+starkware/cairo/common/simulate_builtin_keccak_with_cairo/simulate_keccak.cairo
 starkware/cairo/lang/VERSION
 starkware/cairo/lang/__init__.py
 starkware/cairo/lang/cairo_constants.py
@@ -316,6 +322,7 @@ starkware/python/utils_stub_module.py
 starkware/starknet/__init__.py
 starkware/starknet/builtins/__init__.py
 starkware/starknet/builtins/segment_arena/__init__.py
+starkware/starknet/builtins/segment_arena/segment_arena.cairo
 starkware/starknet/builtins/segment_arena/segment_arena_builtin_runner.py
 starkware/starknet/business_logic/__init__.py
 starkware/starknet/business_logic/utils.py
@@ -369,10 +376,10 @@ starkware/starknet/compiler/v1/compile.py
 starkware/starknet/compiler/v1/compiler_exe_paths.py
 starkware/starknet/compiler/v1/experimental_libfuncs.json
 starkware/starknet/compiler/v1/mainnet_libfuncs.json
-starkware/starknet/compiler/v1/testnet_libfuncs.json
 starkware/starknet/compiler/v1/sierra-compiler-major-1/bin/starknet-compile
 starkware/starknet/compiler/v1/sierra-compiler-major-1/bin/starknet-sierra-compile
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/array.cairo
+starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/blake.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/boolean.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/box.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/byte_array.cairo
@@ -403,6 +410,7 @@ starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/panics.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/pedersen.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/poseidon.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/prelude.cairo
+starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/qm31.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/result.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/serde.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/sha256.cairo
@@ -414,7 +422,6 @@ starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/to_byte_array
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/traits.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/zeroable.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/starknet/account.cairo
-starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/starknet/address_helper.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/starknet/class_hash.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/starknet/contract_address.cairo
 starkware/starknet/compiler/v1/sierra-compiler-major-1/corelib/src/starknet/eth_address.cairo
@@ -433,11 +440,12 @@ starkware/starknet/core/aggregator/__init__.py
 starkware/starknet/core/aggregator/output_parser.py
 starkware/starknet/core/aggregator/utils.py
 starkware/starknet/core/os/__init__.py
+starkware/starknet/core/os/bl_syscall_handler.py
 starkware/starknet/core/os/block_context.cairo
 starkware/starknet/core/os/builtins.cairo
 starkware/starknet/core/os/constants.cairo
+starkware/starknet/core/os/deprecated_bl_syscall_handler.py
 starkware/starknet/core/os/deprecated_syscall_handler.py
-starkware/starknet/core/os/kzg_manager.py
 starkware/starknet/core/os/os.cairo
 starkware/starknet/core/os/os_logger.py
 starkware/starknet/core/os/os_utils.py
@@ -470,10 +478,14 @@ starkware/starknet/core/os/data_availability/bls_utils.py
 starkware/starknet/core/os/data_availability/commitment.cairo
 starkware/starknet/core/os/data_availability/compression.cairo
 starkware/starknet/core/os/data_availability/compression.py
+starkware/starknet/core/os/execution/__init__.py
+starkware/starknet/core/os/execution/account_backward_compatibility.cairo
+starkware/starknet/core/os/execution/account_backward_compatibility.py
 starkware/starknet/core/os/execution/deprecated_execute_entry_point.cairo
 starkware/starknet/core/os/execution/deprecated_execute_syscalls.cairo
 starkware/starknet/core/os/execution/execute_entry_point.cairo
 starkware/starknet/core/os/execution/execute_syscalls.cairo
+starkware/starknet/core/os/execution/execute_transaction_utils.cairo
 starkware/starknet/core/os/execution/execute_transactions.cairo
 starkware/starknet/core/os/execution/revert.cairo
 starkware/starknet/core/os/os_config/os_config.cairo
@@ -550,20 +562,12 @@ starkware/starknet/services/api/gateway/gateway_client.py
 starkware/starknet/services/api/gateway/transaction.py
 starkware/starknet/services/api/gateway/transaction_schema.py
 starkware/starknet/services/api/gateway/transaction_utils.py
-starkware/starknet/services/utils/__init__.py
-starkware/starknet/services/utils/sequencer_api_utils.py
 starkware/starknet/storage/__init__.py
 starkware/starknet/storage/starknet_storage.py
-starkware/starknet/third_party/__init__.py
-starkware/starknet/third_party/open_zeppelin/__init__.py
-starkware/starknet/third_party/open_zeppelin/account.json
-starkware/starknet/third_party/open_zeppelin/starknet_contracts.py
 starkware/starknet/utils/__init__.py
 starkware/starknet/utils/api_utils.py
 starkware/starknet/wallets/__init__.py
 starkware/starknet/wallets/account.py
-starkware/starknet/wallets/open_zeppelin.py
-starkware/starknet/wallets/signer.py
 starkware/starknet/wallets/starknet_context.py
 starkware/starkware_utils/__init__.py
 starkware/starkware_utils/config_base.py

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/cairo_lang.egg-info/requires.txt

@@ -10,7 +10,7 @@ lark
 marshmallow-dataclass==8.6.1
 marshmallow-enum
 marshmallow-oneofschema
-marshmallow>=3.2.1
+marshmallow<4.0,>=3.13.0
 mpmath
 numpy
 pipdeptree

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/requirements.txt

@@ -10,7 +10,7 @@ lark
 marshmallow-dataclass==8.6.1
 marshmallow-enum
 marshmallow-oneofschema
-marshmallow>=3.2.1
+marshmallow>=3.13.0,<4.0
 mpmath
 numpy
 pipdeptree

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/services/everest/definitions/fields.py

@@ -17,6 +17,7 @@ from starkware.starkware_utils.validated_fields import (
     OptionalField,
     RangeValidatedField,
     ValidatedField,
+    ValidatedIntFormatter,
 )
 
 # Fields data: validation data, dataclass metadata.
@@ -75,17 +76,17 @@ EthAddressIntField = RangeValidatedField(
     upper_bound=constants.ETH_ADDRESS_UPPER_BOUND,
     name="Ethereum address",
     error_code=StarkErrorCode.OUT_OF_RANGE_ETH_ADDRESS,
-    formatter=None,
+    formatter=ValidatedIntFormatter.INT,
 )
 
-EthAddressHexField = dataclasses.replace(EthAddressIntField, formatter=hex)
+EthAddressHexField = dataclasses.replace(EthAddressIntField, formatter=ValidatedIntFormatter.HEX)
 
 FeltField = RangeValidatedField(
     lower_bound=0,
     upper_bound=FIELD_PRIME,
     name="Field element",
     error_code=StarkErrorCode.OUT_OF_RANGE_FIELD_ELEMENT,
-    formatter=hex,
+    formatter=ValidatedIntFormatter.HEX,
 )
 
 OptionalFeltField = OptionalField(field=FeltField, none_probability=0)
@@ -94,14 +95,16 @@ felt_as_hex_list_metadata = dict(marshmallow_field=mfields.List(FeltField.get_ma
 
 
 def get_bounded_int_range_validator(
-    lower_bound: int = 0, upper_bound: int = FIELD_PRIME
+    lower_bound: int = 0,
+    upper_bound: int = FIELD_PRIME,
+    formatter: ValidatedIntFormatter = ValidatedIntFormatter.HEX,
 ) -> RangeValidatedField:
     return RangeValidatedField(
         lower_bound=lower_bound,
         upper_bound=upper_bound,
         name=f"Integer in range [{lower_bound}, {upper_bound})",
         error_code=StarkErrorCode.OUT_OF_RANGE_FIELD_ELEMENT,
-        formatter=hex,
+        formatter=formatter,
     )
 
 

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/setup.py

@@ -21,6 +21,7 @@ setuptools.setup(
     setup_requires=["wheel"],
     url="https://cairo-lang.org/",
     package_data={
+        "starkware.cairo": ["builtin_selection/*.cairo"],
         "starkware.cairo.common": ["*.cairo", "*/*.cairo"],
         "starkware.cairo.lang.compiler": ["cairo.ebnf", "lib/*.cairo"],
         "starkware.cairo.lang.migrators": ["*.ebnf"],
@@ -32,6 +33,7 @@ setuptools.setup(
             "common/*.cairo",
             "definitions/*.yml",
             "definitions/versioned_constants.json",
+            "builtins/segment_arena/segment_arena.cairo",
         ],
         "starkware.starknet.compiler.v1": [
             "*.json",

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/starkware/cairo/bootloaders/generate_fact.py

@@ -10,7 +10,7 @@ from starkware.cairo.bootloaders.fact_topology import (
     FactInfo,
     get_fact_topology_from_additional_data,
 )
-from starkware.cairo.bootloaders.hash_program import compute_program_hash_chain
+from starkware.cairo.bootloaders.hash_program import HashFunction, compute_program_hash_chain
 from starkware.cairo.lang.vm.cairo_pie import CairoPie
 from starkware.cairo.lang.vm.relocatable import MaybeRelocatable, RelocatableValue
 
@@ -75,4 +75,6 @@ def get_cairo_pie_fact_info(
 
 
 def get_program_hash(cairo_pie: CairoPie) -> int:
-    return compute_program_hash_chain(program=cairo_pie.metadata.program, use_poseidon=False)
+    return compute_program_hash_chain(
+        program=cairo_pie.metadata.program, program_hash_function=HashFunction.PEDERSEN
+    )

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/starkware/cairo/bootloaders/hash_program.py

@@ -1,5 +1,6 @@
 import argparse
 import json
+from enum import Enum
 
 from starkware.cairo.common.hash_chain import compute_hash_chain
 from starkware.cairo.lang.compiler.program import Program, ProgramBase
@@ -8,7 +9,19 @@ from starkware.cairo.lang.vm.crypto import get_crypto_lib_context_manager, posei
 from starkware.python.utils import from_bytes
 
 
-def compute_program_hash_chain(program: ProgramBase, use_poseidon: bool, bootloader_version=0):
+class HashFunction(Enum):
+    """
+    A hash function. These can be used e.g. for hashing a program within the bootloader.
+    """
+
+    PEDERSEN = 0
+    POSEIDON = 1
+    BLAKE = 2
+
+
+def compute_program_hash_chain(
+    program: ProgramBase, program_hash_function: HashFunction, bootloader_version=0
+):
     """
     Computes a hash chain over a program, including the length of the data chain.
     """
@@ -17,9 +30,13 @@ def compute_program_hash_chain(program: ProgramBase, use_poseidon: bool, bootloa
     program_header = [bootloader_version, program.main, len(program.builtins)] + builtin_list
     data_chain = program_header + program.data
 
-    if use_poseidon:
+    if program_hash_function == HashFunction.POSEIDON:
         return poseidon_hash_many(data_chain)
-    return compute_hash_chain([len(data_chain)] + data_chain)
+    elif program_hash_function == HashFunction.PEDERSEN:
+        return compute_hash_chain([len(data_chain)] + data_chain)
+    else:
+        assert program_hash_function == HashFunction.BLAKE
+        return 0x123456789
 
 
 def main():
@@ -39,16 +56,24 @@ def main():
         help="Build flavor",
     )
     parser.add_argument(
-        "--use_poseidon",
-        type=bool,
-        default=False,
-        help="Use Poseidon hash.",
+        "--program-hash-function",
+        type=str,
+        choices=[hf.name.lower() for hf in HashFunction],
+        default=HashFunction.PEDERSEN.name.lower(),
+        help="Hash function to be used. Options: pedersen, poseidon, blake. Default: pedersen.",
     )
     args = parser.parse_args()
 
     with get_crypto_lib_context_manager(args.flavor):
         program = Program.Schema().load(json.load(args.program))
-        print(hex(compute_program_hash_chain(program=program, use_poseidon=args.use_poseidon)))
+        print(
+            hex(
+                compute_program_hash_chain(
+                    program=program,
+                    program_hash_function=HashFunction[args.program_hash_function.upper()],
+                )
+            )
+        )
 
 
 if __name__ == "__main__":

{cairo-lang-0.13.4a1 → cairo-lang-0.14.0a1}/starkware/cairo/bootloaders/program_hash_test_utils.py

@@ -1,7 +1,7 @@
 import json
 from typing import Any, Callable, Optional
 
-from starkware.cairo.bootloaders.hash_program import compute_program_hash_chain
+from starkware.cairo.bootloaders.hash_program import HashFunction, compute_program_hash_chain
 from starkware.cairo.lang.compiler.program import Program
 
 
@@ -17,7 +17,11 @@ def run_generate_hash_test(
     If post_process is given, it may add additional fields to the expected JSON.
     """
     compiled_program = Program.Schema().load(json.load(open(program_path)))
-    program_hash = hex(compute_program_hash_chain(program=compiled_program, use_poseidon=False))
+    program_hash = hex(
+        compute_program_hash_chain(
+            program=compiled_program, program_hash_function=HashFunction.PEDERSEN
+        )
+    )
     program_hash_key = "program_hash"
 
     expected_json = {program_hash_key: program_hash}

cairo-lang-0.14.0a1/starkware/cairo/builtin_selection/inner_select_builtins.cairo

@@ -0,0 +1,71 @@
+// An helper function to extract selected_ptrs from all_ptrs according to the builtin encodings
+// that appear in the selected_encodings list.
+// The caller needs to pass n_selected_builtins as a hint.
+// Returns a pointer to the next memory slot after the selected_encodings list, see "Assumptions".
+//
+// For example, given the following setup:
+//   - all_encodings points to ["output", "pedersen", "range-check"].
+//   - selected_encodings points to ["output", "range-check"]
+//   - all_ptrs points to [output_ptr, pedersen_ptr, range_check_ptr]
+//   - The caller asserts that the return value is selected_encodings + n_selected_builtins(2).
+// The function will check that selected_encodings points to [output_ptr, range_check_ptr].
+//
+// n_builtins is the length of the list of *all pointers*.
+// Assumptions:
+// * The caller has to check that n_selected_builtins = selected_encodings_end - selected_encodings.
+// * All lists are sorted according to the order of builtins input in Cairo programs.
+// * len(selected_encodings) <= len(all_encodings) == len(all_ptrs).
+func inner_select_builtins(
+    all_encodings: felt*,
+    all_ptrs: felt*,
+    selected_encodings: felt*,
+    selected_ptrs: felt*,
+    n_builtins,
+) -> (selected_encodings_end: felt*) {
+    // Number of memory cells used when n_builtins = 0.
+    const FUNC_MEMORY_NO_BUILTINS = 1;
+    // Number of memory cells used *in a single iteration* when n_builtins > 0.
+    const FUNC_MEMORY_WITH_BUILTINS = 10;
+
+    if (n_builtins == 0) {
+        // Return a pointer to the end of the selected_encodings list.
+        return (selected_encodings_end=selected_encodings);
+    }
+
+    alloc_locals;
+    // select_builtin equals 1 if the first builtin should be selected and 0 otherwise.
+    local select_builtin;
+    %{
+        # A builtin should be selected iff its encoding appears in the selected encodings list
+        # and the list wasn't exhausted.
+        # Note that testing inclusion by a single comparison is possible since the lists are sorted.
+        ids.select_builtin = int(
+          n_selected_builtins > 0 and memory[ids.selected_encodings] == memory[ids.all_encodings])
+        if ids.select_builtin:
+          n_selected_builtins = n_selected_builtins - 1
+    %}
+    // Verify that select_builtin is a bit.
+    select_builtin = select_builtin * select_builtin;
+
+    local curr_builtin_encoding = [all_encodings];
+    local curr_builtin_ptr = [all_ptrs];
+
+    if (select_builtin != 0) {
+        // Verify that the current builtin is indeed selected, by asserting that its encoding
+        // appears in the selected encodings list.
+        curr_builtin_encoding = [selected_encodings];
+        // Copy the current builtin pointer between selected_ptrs and all_ptrs.
+        curr_builtin_ptr = [selected_ptrs];
+    }
+
+    // Advance all list pointers accordingly and continue selection by calling inner_select_builtins
+    // recursively.
+    // Lists of selected builtins/encodings should advance only if the current builtin was selected.
+    return inner_select_builtins(
+        all_encodings=all_encodings + 1,
+        all_ptrs=all_ptrs + 1,
+        selected_encodings=selected_encodings + select_builtin,
+        selected_ptrs=selected_ptrs + select_builtin,
+        n_builtins=n_builtins - 1,
+    );
+}

cairo-lang-0.14.0a1/starkware/cairo/builtin_selection/select_builtins.cairo

@@ -0,0 +1,25 @@
+from starkware.cairo.builtin_selection.inner_select_builtins import inner_select_builtins
+
+// A wrapper for 'inner_select_builtins' function (see its documentation).
+func select_builtins(
+    n_builtins,
+    all_encodings: felt*,
+    all_ptrs: felt*,
+    n_selected_builtins,
+    selected_encodings: felt*,
+    selected_ptrs: felt*,
+) {
+    %{ vm_enter_scope({'n_selected_builtins': ids.n_selected_builtins}) %}
+    let (selected_encodings_end) = inner_select_builtins(
+        all_encodings=all_encodings,
+        all_ptrs=all_ptrs,
+        selected_encodings=selected_encodings,
+        selected_ptrs=selected_ptrs,
+        n_builtins=n_builtins,
+    );
+    %{ vm_exit_scope() %}
+    // Assert that the correct number of builtins was selected.
+    assert n_selected_builtins = selected_encodings_end - selected_encodings;
+
+    return ();
+}

cairo-lang-0.14.0a1/starkware/cairo/builtin_selection/select_input_builtins.cairo

@@ -0,0 +1,40 @@
+from starkware.cairo.builtin_selection.inner_select_builtins import inner_select_builtins
+from starkware.cairo.common.registers import get_fp_and_pc
+
+// A wrapper for 'inner_select_builtins' function (see its documentation).
+// Returns the selected builtin pointers (e.g., if n_selected_builtins=2, returns two values).
+func select_input_builtins(
+    all_encodings: felt*,
+    all_ptrs: felt*,
+    n_all_builtins: felt,
+    selected_encodings: felt*,
+    n_selected_builtins,
+) {
+    // Number of memory cells used, without taking the inner function memory into account.
+    const FUNC_MEMORY_WITHOUT_INNER_FUNC = 11;
+    const INNER_FUNC_MEMORY_PER_ITERATION = inner_select_builtins.FUNC_MEMORY_WITH_BUILTINS;
+    const INNER_FUNC_MEMORY_FINAL_ITERATION = inner_select_builtins.FUNC_MEMORY_NO_BUILTINS;
+    // 'inner_select_builtins' has n_all_builtins iterations, until the final halting one, when
+    // called with n_builtins = n_all_builtins.
+    let inner_func_memory = n_all_builtins * INNER_FUNC_MEMORY_PER_ITERATION +
+        INNER_FUNC_MEMORY_FINAL_ITERATION;
+    let total_func_memory = inner_func_memory + FUNC_MEMORY_WITHOUT_INNER_FUNC;
+
+    let frame = call get_fp_and_pc;
+    // The selected builtin pointers are the return values at the end of the function memory.
+    let selected_ptrs = frame.fp_val + total_func_memory;
+    %{ vm_enter_scope({'n_selected_builtins': ids.n_selected_builtins}) %}
+    let inner_ret = inner_select_builtins(
+        all_encodings=all_encodings,
+        all_ptrs=all_ptrs,
+        selected_encodings=selected_encodings,
+        selected_ptrs=selected_ptrs,
+        n_builtins=n_all_builtins,
+    );
+    %{ vm_exit_scope() %}
+    // Assert that the correct number of builtins was selected.
+    n_selected_builtins = inner_ret.selected_encodings_end - selected_encodings;
+
+    ap += n_selected_builtins;
+    ret;
+}

cairo-lang-0.14.0a1/starkware/cairo/builtin_selection/validate_builtins.cairo

@@ -0,0 +1,56 @@
+// Validates that the builtin pointer of a single builtin was advanced correctly.
+// The inputs are:
+//   The previous builtin pointer.
+//   The new builtin pointer.
+//   The size of the builtin instances.
+// The function validates that the difference between the new builtin pointer and the old builtin
+// pointer is a positive integer divisible by the given builtin instance size.
+//
+// The function consumes 1 range check instance starting at range_check_ptr and returns the
+// updated range check pointer.
+func validate_builtin{range_check_ptr}(
+    prev_builtin_ptr: felt*, new_builtin_ptr: felt*, builtin_instance_size: felt
+) {
+    // Check that the difference is positive and divisible by builtin_instance_size by checking that
+    // 0 <= div_res < RANGE_CHECK_BOUND and diff = div_res * builtin_instance_size.
+    tempvar diff = new_builtin_ptr - prev_builtin_ptr;
+    tempvar div_res = diff / builtin_instance_size;
+    div_res = [range_check_ptr];
+    let range_check_ptr = range_check_ptr + 1;
+    return ();
+}
+
+// Validates that the builtin pointers were advanced correctly.
+//
+// The inputs are:
+//   The previous list of builtin pointers.
+//   The new list of builtin pointers.
+//   The sizes of the builtin instances.
+//   The number of builtins.
+//
+// For each builtin the function validates that the difference between the new builtin pointer and
+// the old builtin pointer is a nonnegative integer divisible by the corresponding builtin
+// instance size.
+//
+// The function consumes n_builtins range check instances starting at range_check_ptr and returns
+// the updated range check pointer.
+func validate_builtins{range_check_ptr}(
+    prev_builtin_ptrs: felt*, new_builtin_ptrs: felt*, builtin_instance_sizes: felt*, n_builtins
+) {
+    if (n_builtins == 0) {
+        return ();
+    }
+
+    validate_builtin(
+        prev_builtin_ptr=cast([prev_builtin_ptrs], felt*),
+        new_builtin_ptr=cast([new_builtin_ptrs], felt*),
+        builtin_instance_size=[builtin_instance_sizes],
+    );
+
+    return validate_builtins(
+        prev_builtin_ptrs=prev_builtin_ptrs + 1,
+        new_builtin_ptrs=new_builtin_ptrs + 1,
+        builtin_instance_sizes=builtin_instance_sizes + 1,
+        n_builtins=n_builtins - 1,
+    );
+}