This code repository is containing Cairo Verifier def cairo_verifier_program_custom_layout(layout_name): """ Generates a Cairo verifier program with the given custom layout. Returns the program name and the compiled program name. """
program_name = "cairo_verifier_program_custom_%s" % layout_name compiled_program_name = "cairo_verifier_compiled_custom_%s.json" % layout_name main_cairo_file = ( "//src/starkware/cairo/cairo_verifier/layouts/custom/%s:cairo_verifier.cairo" % layout_name )
cairo_binary( name = program_name, srcs = [ main_cairo_file, "//src/starkware/cairo/stark_verifier/air/layouts/custom/%s:autogenerated.cairo" % layout_name, "//src/starkware/cairo/stark_verifier/air/layouts/custom/%s:composition.cairo" % layout_name, "//src/starkware/cairo/stark_verifier/air/layouts/custom/%s:global_values.cairo" % layout_name, "//src/starkware/cairo/stark_verifier/air/layouts/custom/%s:periodic_columns.cairo" % layout_name, "//src/starkware/cairo/stark_verifier/air/layouts/custom/%s:public_verify.cairo" % layout_name, "//src/starkware/cairo/stark_verifier/air/layouts/custom/%s:verify.cairo" % layout_name, ], cairoopts = [ "--no_debug_info", "--proof_mode", ], compiled_program_name = compiled_program_name, main = main_cairo_file, deps = [ "//src/starkware/cairo/cairo_verifier", "//src/starkware/cairo/stark_verifier/air:cairo", ], tags = ["external_cairo", "external_cairo-docs"], exec_properties = { "Pool": "highcpu", "dockerSiblingContainers": "True", }, )
return struct(program_name = program_name, compiled_program_name = compiled_program_name)