diff --git a/cairo_programs/proof_programs/_keccak_alternative_hint.cairo b/cairo_programs/proof_programs/_keccak_alternative_hint.cairo
new file mode 120000
index 0000000000..188837a642
--- /dev/null
+++ b/cairo_programs/proof_programs/_keccak_alternative_hint.cairo
@@ -0,0 +1 @@
+../_keccak_alternative_hint.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/assert_le_felt_old.cairo b/cairo_programs/proof_programs/assert_le_felt_old.cairo
new file mode 120000
index 0000000000..578084defe
--- /dev/null
+++ b/cairo_programs/proof_programs/assert_le_felt_old.cairo
@@ -0,0 +1 @@
+../assert_le_felt_old.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/bigint.cairo b/cairo_programs/proof_programs/bigint.cairo
new file mode 120000
index 0000000000..81d408cee4
--- /dev/null
+++ b/cairo_programs/proof_programs/bigint.cairo
@@ -0,0 +1 @@
+../bigint.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/bitand_hint.cairo b/cairo_programs/proof_programs/bitand_hint.cairo
new file mode 120000
index 0000000000..1ba1561a2d
--- /dev/null
+++ b/cairo_programs/proof_programs/bitand_hint.cairo
@@ -0,0 +1 @@
+../bitand_hint.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/cairo_finalize_keccak_block_size_1000.cairo b/cairo_programs/proof_programs/cairo_finalize_keccak_block_size_1000.cairo
new file mode 120000
index 0000000000..69fa41ec38
--- /dev/null
+++ b/cairo_programs/proof_programs/cairo_finalize_keccak_block_size_1000.cairo
@@ -0,0 +1 @@
+../cairo_finalize_keccak_block_size_1000.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/chained_ec_op.cairo b/cairo_programs/proof_programs/chained_ec_op.cairo
new file mode 120000
index 0000000000..562981744b
--- /dev/null
+++ b/cairo_programs/proof_programs/chained_ec_op.cairo
@@ -0,0 +1 @@
+../chained_ec_op.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/common_signature.cairo b/cairo_programs/proof_programs/common_signature.cairo
new file mode 120000
index 0000000000..9a92f8aa35
--- /dev/null
+++ b/cairo_programs/proof_programs/common_signature.cairo
@@ -0,0 +1 @@
+../common_signature.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/compute_doubling_slope_v2.cairo b/cairo_programs/proof_programs/compute_doubling_slope_v2.cairo
new file mode 120000
index 0000000000..e3400f66cb
--- /dev/null
+++ b/cairo_programs/proof_programs/compute_doubling_slope_v2.cairo
@@ -0,0 +1 @@
+../compute_doubling_slope_v2.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/compute_slope_v2.cairo b/cairo_programs/proof_programs/compute_slope_v2.cairo
new file mode 120000
index 0000000000..99e22890e9
--- /dev/null
+++ b/cairo_programs/proof_programs/compute_slope_v2.cairo
@@ -0,0 +1 @@
+../compute_slope_v2.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/dict_store_cast_ptr.cairo b/cairo_programs/proof_programs/dict_store_cast_ptr.cairo
new file mode 120000
index 0000000000..8d1e6a7409
--- /dev/null
+++ b/cairo_programs/proof_programs/dict_store_cast_ptr.cairo
@@ -0,0 +1 @@
+../dict_store_cast_ptr.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/div_mod_n.cairo b/cairo_programs/proof_programs/div_mod_n.cairo
new file mode 120000
index 0000000000..e262b1292a
--- /dev/null
+++ b/cairo_programs/proof_programs/div_mod_n.cairo
@@ -0,0 +1 @@
+../div_mod_n.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ec_double_assign_new_x_v3.cairo b/cairo_programs/proof_programs/ec_double_assign_new_x_v3.cairo
new file mode 120000
index 0000000000..8a7e7d4150
--- /dev/null
+++ b/cairo_programs/proof_programs/ec_double_assign_new_x_v3.cairo
@@ -0,0 +1 @@
+../ec_double_assign_new_x_v3.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ec_double_slope.cairo b/cairo_programs/proof_programs/ec_double_slope.cairo
new file mode 120000
index 0000000000..ff9fbd912f
--- /dev/null
+++ b/cairo_programs/proof_programs/ec_double_slope.cairo
@@ -0,0 +1 @@
+../ec_double_slope.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ec_double_v4.cairo b/cairo_programs/proof_programs/ec_double_v4.cairo
new file mode 120000
index 0000000000..ec8291916a
--- /dev/null
+++ b/cairo_programs/proof_programs/ec_double_v4.cairo
@@ -0,0 +1 @@
+../ec_double_v4.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ec_negate.cairo b/cairo_programs/proof_programs/ec_negate.cairo
new file mode 120000
index 0000000000..c8a8af8d5c
--- /dev/null
+++ b/cairo_programs/proof_programs/ec_negate.cairo
@@ -0,0 +1 @@
+../ec_negate.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ec_op.cairo b/cairo_programs/proof_programs/ec_op.cairo
new file mode 120000
index 0000000000..ed20b661af
--- /dev/null
+++ b/cairo_programs/proof_programs/ec_op.cairo
@@ -0,0 +1 @@
+../ec_op.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ec_recover.cairo b/cairo_programs/proof_programs/ec_recover.cairo
new file mode 120000
index 0000000000..a0629529c6
--- /dev/null
+++ b/cairo_programs/proof_programs/ec_recover.cairo
@@ -0,0 +1 @@
+../ec_recover.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ed25519_ec.cairo b/cairo_programs/proof_programs/ed25519_ec.cairo
new file mode 120000
index 0000000000..d60a0f17c4
--- /dev/null
+++ b/cairo_programs/proof_programs/ed25519_ec.cairo
@@ -0,0 +1 @@
+../ed25519_ec.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/ed25519_field.cairo b/cairo_programs/proof_programs/ed25519_field.cairo
new file mode 120000
index 0000000000..55fb9bae0e
--- /dev/null
+++ b/cairo_programs/proof_programs/ed25519_field.cairo
@@ -0,0 +1 @@
+../ed25519_field.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/efficient_secp256r1_ec.cairo b/cairo_programs/proof_programs/efficient_secp256r1_ec.cairo
new file mode 120000
index 0000000000..cd0e2fb3f9
--- /dev/null
+++ b/cairo_programs/proof_programs/efficient_secp256r1_ec.cairo
@@ -0,0 +1 @@
+../efficient_secp256r1_ec.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/example_blake2s.cairo b/cairo_programs/proof_programs/example_blake2s.cairo
new file mode 120000
index 0000000000..77d4b53f0f
--- /dev/null
+++ b/cairo_programs/proof_programs/example_blake2s.cairo
@@ -0,0 +1 @@
+../example_blake2s.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/example_program.cairo b/cairo_programs/proof_programs/example_program.cairo
new file mode 120000
index 0000000000..9bf1899363
--- /dev/null
+++ b/cairo_programs/proof_programs/example_program.cairo
@@ -0,0 +1 @@
+../example_program.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/fast_ec_add_v2.cairo b/cairo_programs/proof_programs/fast_ec_add_v2.cairo
new file mode 120000
index 0000000000..a6012da8d3
--- /dev/null
+++ b/cairo_programs/proof_programs/fast_ec_add_v2.cairo
@@ -0,0 +1 @@
+../fast_ec_add_v2.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/fast_ec_add_v3.cairo b/cairo_programs/proof_programs/fast_ec_add_v3.cairo
new file mode 120000
index 0000000000..ed334949da
--- /dev/null
+++ b/cairo_programs/proof_programs/fast_ec_add_v3.cairo
@@ -0,0 +1 @@
+../fast_ec_add_v3.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/field_arithmetic.cairo b/cairo_programs/proof_programs/field_arithmetic.cairo
new file mode 120000
index 0000000000..2ad65272a2
--- /dev/null
+++ b/cairo_programs/proof_programs/field_arithmetic.cairo
@@ -0,0 +1 @@
+../field_arithmetic.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/finalize_blake2s_v2_hint.cairo b/cairo_programs/proof_programs/finalize_blake2s_v2_hint.cairo
new file mode 120000
index 0000000000..36ff9954b3
--- /dev/null
+++ b/cairo_programs/proof_programs/finalize_blake2s_v2_hint.cairo
@@ -0,0 +1 @@
+../finalize_blake2s_v2_hint.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/fq.cairo b/cairo_programs/proof_programs/fq.cairo
new file mode 120000
index 0000000000..d67bd7ebd5
--- /dev/null
+++ b/cairo_programs/proof_programs/fq.cairo
@@ -0,0 +1 @@
+../fq.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/fq_test.cairo b/cairo_programs/proof_programs/fq_test.cairo
new file mode 120000
index 0000000000..7d8b5f7573
--- /dev/null
+++ b/cairo_programs/proof_programs/fq_test.cairo
@@ -0,0 +1 @@
+../fq_test.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/garaga.cairo b/cairo_programs/proof_programs/garaga.cairo
new file mode 120000
index 0000000000..2c29bb6184
--- /dev/null
+++ b/cairo_programs/proof_programs/garaga.cairo
@@ -0,0 +1 @@
+../garaga.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/highest_bitlen.cairo b/cairo_programs/proof_programs/highest_bitlen.cairo
new file mode 120000
index 0000000000..1b72bcb0b6
--- /dev/null
+++ b/cairo_programs/proof_programs/highest_bitlen.cairo
@@ -0,0 +1 @@
+../highest_bitlen.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/if_reloc_equal.cairo b/cairo_programs/proof_programs/if_reloc_equal.cairo
new file mode 120000
index 0000000000..bec0afd84d
--- /dev/null
+++ b/cairo_programs/proof_programs/if_reloc_equal.cairo
@@ -0,0 +1 @@
+../if_reloc_equal.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/inv_mod_p_uint512.cairo b/cairo_programs/proof_programs/inv_mod_p_uint512.cairo
new file mode 120000
index 0000000000..cc8662e6db
--- /dev/null
+++ b/cairo_programs/proof_programs/inv_mod_p_uint512.cairo
@@ -0,0 +1 @@
+../inv_mod_p_uint512.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/is_quad_residue_test.cairo b/cairo_programs/proof_programs/is_quad_residue_test.cairo
new file mode 120000
index 0000000000..1ea92a4976
--- /dev/null
+++ b/cairo_programs/proof_programs/is_quad_residue_test.cairo
@@ -0,0 +1 @@
+../is_quad_residue_test.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/is_zero.cairo b/cairo_programs/proof_programs/is_zero.cairo
new file mode 120000
index 0000000000..c564d75006
--- /dev/null
+++ b/cairo_programs/proof_programs/is_zero.cairo
@@ -0,0 +1 @@
+../is_zero.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/is_zero_pack.cairo b/cairo_programs/proof_programs/is_zero_pack.cairo
new file mode 120000
index 0000000000..afa37d803c
--- /dev/null
+++ b/cairo_programs/proof_programs/is_zero_pack.cairo
@@ -0,0 +1 @@
+../is_zero_pack.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/keccak_builtin.cairo b/cairo_programs/proof_programs/keccak_builtin.cairo
new file mode 120000
index 0000000000..71b14b43ff
--- /dev/null
+++ b/cairo_programs/proof_programs/keccak_builtin.cairo
@@ -0,0 +1 @@
+../keccak_builtin.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/keccak_uint256.cairo b/cairo_programs/proof_programs/keccak_uint256.cairo
new file mode 120000
index 0000000000..a2da091a09
--- /dev/null
+++ b/cairo_programs/proof_programs/keccak_uint256.cairo
@@ -0,0 +1 @@
+../keccak_uint256.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/memory_holes.cairo b/cairo_programs/proof_programs/memory_holes.cairo
new file mode 120000
index 0000000000..e1fadbb4fb
--- /dev/null
+++ b/cairo_programs/proof_programs/memory_holes.cairo
@@ -0,0 +1 @@
+../memory_holes.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/mul_s_inv.cairo b/cairo_programs/proof_programs/mul_s_inv.cairo
new file mode 120000
index 0000000000..e1a7cd0deb
--- /dev/null
+++ b/cairo_programs/proof_programs/mul_s_inv.cairo
@@ -0,0 +1 @@
+../mul_s_inv.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/multiplicative_inverse.cairo b/cairo_programs/proof_programs/multiplicative_inverse.cairo
new file mode 120000
index 0000000000..e281f13e2d
--- /dev/null
+++ b/cairo_programs/proof_programs/multiplicative_inverse.cairo
@@ -0,0 +1 @@
+../multiplicative_inverse.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/n_bit.cairo b/cairo_programs/proof_programs/n_bit.cairo
new file mode 120000
index 0000000000..49b68729a0
--- /dev/null
+++ b/cairo_programs/proof_programs/n_bit.cairo
@@ -0,0 +1 @@
+../n_bit.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/nondet_bigint3_v2.cairo b/cairo_programs/proof_programs/nondet_bigint3_v2.cairo
new file mode 120000
index 0000000000..62d24de45b
--- /dev/null
+++ b/cairo_programs/proof_programs/nondet_bigint3_v2.cairo
@@ -0,0 +1 @@
+../nondet_bigint3_v2.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/normalize_address.cairo b/cairo_programs/proof_programs/normalize_address.cairo
new file mode 120000
index 0000000000..52b57a98f6
--- /dev/null
+++ b/cairo_programs/proof_programs/normalize_address.cairo
@@ -0,0 +1 @@
+../normalize_address.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/packed_sha256_test.cairo b/cairo_programs/proof_programs/packed_sha256_test.cairo
new file mode 120000
index 0000000000..dfb0a9b318
--- /dev/null
+++ b/cairo_programs/proof_programs/packed_sha256_test.cairo
@@ -0,0 +1 @@
+../packed_sha256_test.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/poseidon_builtin.cairo b/cairo_programs/proof_programs/poseidon_builtin.cairo
new file mode 120000
index 0000000000..bc4fb83e23
--- /dev/null
+++ b/cairo_programs/proof_programs/poseidon_builtin.cairo
@@ -0,0 +1 @@
+../poseidon_builtin.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/poseidon_hash.cairo b/cairo_programs/proof_programs/poseidon_hash.cairo
new file mode 120000
index 0000000000..190a72caae
--- /dev/null
+++ b/cairo_programs/proof_programs/poseidon_hash.cairo
@@ -0,0 +1 @@
+../poseidon_hash.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/poseidon_multirun.cairo b/cairo_programs/proof_programs/poseidon_multirun.cairo
new file mode 120000
index 0000000000..30c32a782d
--- /dev/null
+++ b/cairo_programs/proof_programs/poseidon_multirun.cairo
@@ -0,0 +1 @@
+../poseidon_multirun.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/recover_y.cairo b/cairo_programs/proof_programs/recover_y.cairo
new file mode 120000
index 0000000000..4fdd3f9e3d
--- /dev/null
+++ b/cairo_programs/proof_programs/recover_y.cairo
@@ -0,0 +1 @@
+../recover_y.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/reduce.cairo b/cairo_programs/proof_programs/reduce.cairo
new file mode 120000
index 0000000000..42dbc59c35
--- /dev/null
+++ b/cairo_programs/proof_programs/reduce.cairo
@@ -0,0 +1 @@
+../reduce.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/relocate_temporary_segment_append.cairo b/cairo_programs/proof_programs/relocate_temporary_segment_append.cairo
new file mode 120000
index 0000000000..1f0e8ac7cf
--- /dev/null
+++ b/cairo_programs/proof_programs/relocate_temporary_segment_append.cairo
@@ -0,0 +1 @@
+../relocate_temporary_segment_append.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/relocate_temporary_segment_into_new.cairo b/cairo_programs/proof_programs/relocate_temporary_segment_into_new.cairo
new file mode 120000
index 0000000000..02d22be9c6
--- /dev/null
+++ b/cairo_programs/proof_programs/relocate_temporary_segment_into_new.cairo
@@ -0,0 +1 @@
+../relocate_temporary_segment_into_new.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/secp256r1_div_mod_n.cairo b/cairo_programs/proof_programs/secp256r1_div_mod_n.cairo
new file mode 120000
index 0000000000..2049ea105b
--- /dev/null
+++ b/cairo_programs/proof_programs/secp256r1_div_mod_n.cairo
@@ -0,0 +1 @@
+../secp256r1_div_mod_n.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/secp256r1_fast_ec_add.cairo b/cairo_programs/proof_programs/secp256r1_fast_ec_add.cairo
new file mode 120000
index 0000000000..9e8a00dff3
--- /dev/null
+++ b/cairo_programs/proof_programs/secp256r1_fast_ec_add.cairo
@@ -0,0 +1 @@
+../secp256r1_fast_ec_add.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/secp256r1_slope.cairo b/cairo_programs/proof_programs/secp256r1_slope.cairo
new file mode 120000
index 0000000000..7e44c983fa
--- /dev/null
+++ b/cairo_programs/proof_programs/secp256r1_slope.cairo
@@ -0,0 +1 @@
+../secp256r1_slope.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/sha256_test.cairo b/cairo_programs/proof_programs/sha256_test.cairo
new file mode 120000
index 0000000000..63f8a51ea5
--- /dev/null
+++ b/cairo_programs/proof_programs/sha256_test.cairo
@@ -0,0 +1 @@
+../sha256_test.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/split_xx_hint.cairo b/cairo_programs/proof_programs/split_xx_hint.cairo
new file mode 120000
index 0000000000..a816a67cf3
--- /dev/null
+++ b/cairo_programs/proof_programs/split_xx_hint.cairo
@@ -0,0 +1 @@
+../split_xx_hint.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/uint256_improvements.cairo b/cairo_programs/proof_programs/uint256_improvements.cairo
new file mode 120000
index 0000000000..d44d558e6d
--- /dev/null
+++ b/cairo_programs/proof_programs/uint256_improvements.cairo
@@ -0,0 +1 @@
+../uint256_improvements.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/uint384.cairo b/cairo_programs/proof_programs/uint384.cairo
new file mode 120000
index 0000000000..1bf594c3ae
--- /dev/null
+++ b/cairo_programs/proof_programs/uint384.cairo
@@ -0,0 +1 @@
+../uint384.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/uint384_extension.cairo b/cairo_programs/proof_programs/uint384_extension.cairo
new file mode 120000
index 0000000000..aa817df393
--- /dev/null
+++ b/cairo_programs/proof_programs/uint384_extension.cairo
@@ -0,0 +1 @@
+../uint384_extension.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/uint384_extension_test.cairo b/cairo_programs/proof_programs/uint384_extension_test.cairo
new file mode 120000
index 0000000000..74fd0c8187
--- /dev/null
+++ b/cairo_programs/proof_programs/uint384_extension_test.cairo
@@ -0,0 +1 @@
+../uint384_extension_test.cairo
\ No newline at end of file
diff --git a/cairo_programs/proof_programs/uint384_test.cairo b/cairo_programs/proof_programs/uint384_test.cairo
new file mode 120000
index 0000000000..d956e6dae8
--- /dev/null
+++ b/cairo_programs/proof_programs/uint384_test.cairo
@@ -0,0 +1 @@
+../uint384_test.cairo
\ No newline at end of file