├── .bazelrc ├── Dockerfile ├── LICENSE.txt ├── README.md ├── WORKSPACE ├── bazel_utils └── patches │ ├── BUILD │ └── llvm_toolchain.patch ├── docker_common_deps.sh ├── e2e_test ├── Cairo │ ├── cpu_air_params.json │ ├── cpu_air_prover_config.json │ └── fibonacci.cairo └── CairoZero │ ├── cpu_air_params.json │ ├── cpu_air_prover_config.json │ ├── fibonacci.cairo │ └── fibonacci_input.json ├── install_deps.sh └── src ├── starkware ├── BUILD ├── air │ ├── BUILD │ ├── air.h │ ├── boundary │ │ ├── BUILD │ │ ├── boundary_air.h │ │ └── boundary_air_test.cc │ ├── boundary_constraints │ │ ├── BUILD │ │ ├── boundary_periodic_column.h │ │ ├── boundary_periodic_column.inl │ │ └── boundary_periodic_column_test.cc │ ├── compile_time_optional.h │ ├── compile_time_optional_test.cc │ ├── components │ │ ├── BUILD │ │ ├── bit_unpacking │ │ │ ├── BUILD │ │ │ └── bit_unpacking.h │ │ ├── diluted_check │ │ │ ├── BUILD │ │ │ ├── diluted_check.h │ │ │ ├── diluted_check.inl │ │ │ ├── diluted_check_cell.h │ │ │ ├── diluted_check_cell.inl │ │ │ ├── diluted_check_cell_test.cc │ │ │ └── diluted_check_test.cc │ │ ├── ec_subset_sum │ │ │ ├── BUILD │ │ │ ├── ec_subset_sum.h │ │ │ └── ec_subset_sum.inl │ │ ├── ecdsa │ │ │ ├── BUILD │ │ │ ├── ecdsa.h │ │ │ └── ecdsa.inl │ │ ├── hash │ │ │ ├── BUILD │ │ │ ├── hash_component.h │ │ │ └── hash_factory.h │ │ ├── keccak │ │ │ ├── BUILD │ │ │ ├── keccak.h │ │ │ └── keccak.inl │ │ ├── memory │ │ │ ├── BUILD │ │ │ ├── memory.h │ │ │ ├── memory.inl │ │ │ ├── memory_cell.h │ │ │ ├── memory_cell.inl │ │ │ └── memory_cell_test.cc │ │ ├── parse_to_diluted │ │ │ ├── BUILD │ │ │ ├── parse_to_diluted.h │ │ │ └── parse_to_diluted.inl │ │ ├── pedersen_hash │ │ │ ├── BUILD │ │ │ ├── pedersen_hash.h │ │ │ └── pedersen_hash.inl │ │ ├── perm_range_check │ │ │ ├── BUILD │ │ │ ├── perm_range_check.h │ │ │ ├── perm_range_check.inl │ │ │ ├── range_check_cell.h │ │ │ ├── range_check_cell.inl │ │ │ └── range_check_cell_test.cc │ │ ├── perm_table_check │ │ │ ├── BUILD │ │ │ ├── table_check_cell.h │ │ │ └── table_check_cell.inl │ │ ├── permutation │ │ │ ├── BUILD │ │ │ ├── load_targets.bzl │ │ │ ├── multi_column_permutation.h │ │ │ ├── multi_column_permutation.inl │ │ │ ├── permutation.h │ │ │ ├── permutation.inl │ │ │ ├── permutation_dummy_air.h │ │ │ ├── permutation_dummy_air.inl │ │ │ ├── permutation_dummy_air_definition.h │ │ │ ├── permutation_dummy_air_definition0.h │ │ │ ├── permutation_dummy_air_definition0.inl │ │ │ ├── permutation_dummy_air_definition_class.h │ │ │ ├── permutation_dummy_air_test.cc │ │ │ └── permutation_trace_context.h │ │ ├── poseidon │ │ │ ├── BUILD │ │ │ ├── poseidon.h │ │ │ └── poseidon.inl │ │ ├── range_check │ │ │ ├── BUILD │ │ │ └── range_check.h │ │ ├── trace_generation_context.cc │ │ ├── trace_generation_context.h │ │ ├── trace_generation_context_test.cc │ │ └── virtual_column.h │ ├── cpu │ │ ├── BUILD │ │ ├── board │ │ │ ├── BUILD │ │ │ ├── cpu_air.h │ │ │ ├── cpu_air.inl │ │ │ ├── cpu_air_definition.h │ │ │ ├── cpu_air_definition0.cc │ │ │ ├── cpu_air_definition0.h │ │ │ ├── cpu_air_definition0.inl │ │ │ ├── cpu_air_definition1.cc │ │ │ ├── cpu_air_definition1.h │ │ │ ├── cpu_air_definition1.inl │ │ │ ├── cpu_air_definition10.cc │ │ │ ├── cpu_air_definition10.h │ │ │ ├── cpu_air_definition10.inl │ │ │ ├── cpu_air_definition11.cc │ │ │ ├── cpu_air_definition11.h │ │ │ ├── cpu_air_definition11.inl │ │ │ ├── cpu_air_definition12.cc │ │ │ ├── cpu_air_definition12.h │ │ │ ├── cpu_air_definition12.inl │ │ │ ├── cpu_air_definition2.cc │ │ │ ├── cpu_air_definition2.h │ │ │ ├── cpu_air_definition2.inl │ │ │ ├── cpu_air_definition3.cc │ │ │ ├── cpu_air_definition3.h │ │ │ ├── cpu_air_definition3.inl │ │ │ ├── cpu_air_definition4.cc │ │ │ ├── cpu_air_definition4.h │ │ │ ├── cpu_air_definition4.inl │ │ │ ├── cpu_air_definition5.cc │ │ │ ├── cpu_air_definition5.h │ │ │ ├── cpu_air_definition5.inl │ │ │ ├── cpu_air_definition6.cc │ │ │ ├── cpu_air_definition6.h │ │ │ ├── cpu_air_definition6.inl │ │ │ ├── cpu_air_definition7.cc │ │ │ ├── cpu_air_definition7.h │ │ │ ├── cpu_air_definition7.inl │ │ │ ├── cpu_air_definition8.cc │ │ │ ├── cpu_air_definition8.h │ │ │ ├── cpu_air_definition8.inl │ │ │ ├── cpu_air_definition9.cc │ │ │ ├── cpu_air_definition9.h │ │ │ ├── cpu_air_definition9.inl │ │ │ ├── cpu_air_definition_class.h │ │ │ ├── cpu_air_test.cc │ │ │ ├── cpu_air_test_instructions.cairo │ │ │ ├── cpu_air_test_instructions_memory.bin │ │ │ ├── cpu_air_test_instructions_memory.bin.h │ │ │ ├── cpu_air_test_instructions_public_input.json │ │ │ ├── cpu_air_test_instructions_public_input.json.h │ │ │ ├── cpu_air_test_instructions_trace.bin │ │ │ ├── cpu_air_test_instructions_trace.bin.h │ │ │ ├── cpu_air_trace_context.h │ │ │ ├── load_targets.bzl │ │ │ └── memory_segment.h │ │ ├── builtin │ │ │ ├── BUILD │ │ │ ├── bitwise │ │ │ │ ├── BUILD │ │ │ │ ├── bitwise_builtin_prover_context.h │ │ │ │ └── bitwise_builtin_prover_context.inl │ │ │ ├── ec │ │ │ │ ├── BUILD │ │ │ │ ├── ec_op_builtin_prover_context.h │ │ │ │ └── ec_op_builtin_prover_context.inl │ │ │ ├── hash │ │ │ │ ├── BUILD │ │ │ │ ├── hash_builtin_prover_context.h │ │ │ │ └── hash_builtin_prover_context.inl │ │ │ ├── keccak │ │ │ │ ├── BUILD │ │ │ │ ├── keccak_builtin_prover_context.h │ │ │ │ └── keccak_builtin_prover_context.inl │ │ │ ├── modulo │ │ │ │ ├── BUILD │ │ │ │ ├── add_mod_builtin_prover_context.h │ │ │ │ ├── add_mod_builtin_prover_context.inl │ │ │ │ ├── mod_builtin_prover_context.h │ │ │ │ ├── mod_builtin_prover_context.inl │ │ │ │ ├── mul_mod_builtin_prover_context.h │ │ │ │ └── mul_mod_builtin_prover_context.inl │ │ │ ├── poseidon │ │ │ │ ├── BUILD │ │ │ │ ├── poseidon_builtin_prover_context.h │ │ │ │ └── poseidon_builtin_prover_context.inl │ │ │ ├── range_check │ │ │ │ ├── BUILD │ │ │ │ ├── range_check_builtin_prover_context.h │ │ │ │ └── range_check_builtin_prover_context.inl │ │ │ └── signature │ │ │ │ ├── BUILD │ │ │ │ ├── signature_builtin_prover_context.h │ │ │ │ └── signature_builtin_prover_context.inl │ │ └── component │ │ │ ├── BUILD │ │ │ ├── cpu_component.h │ │ │ └── cpu_component.inl │ ├── degree_three_example │ │ ├── BUILD │ │ ├── degree_three_example_air.h │ │ ├── degree_three_example_air.inl │ │ ├── degree_three_example_air0.h │ │ ├── degree_three_example_air0.inl │ │ ├── degree_three_example_air_class.h │ │ ├── degree_three_example_air_test.cc │ │ ├── degree_three_example_trace_context.h │ │ └── load_targets.bzl │ ├── fibonacci │ │ ├── BUILD │ │ ├── fibonacci_air.h │ │ ├── fibonacci_air.inl │ │ ├── fibonacci_air0.h │ │ ├── fibonacci_air0.inl │ │ ├── fibonacci_air_class.h │ │ ├── fibonacci_air_test.cc │ │ ├── fibonacci_trace_context.h │ │ └── load_targets.bzl │ ├── test_utils.cc │ ├── test_utils.h │ ├── test_utils_test.cc │ ├── trace.h │ ├── trace_context.h │ └── trace_test.cc ├── algebra │ ├── BUILD │ ├── big_int.h │ ├── big_int.inl │ ├── big_int_test.cc │ ├── domains │ │ ├── BUILD │ │ ├── list_of_cosets.cc │ │ ├── list_of_cosets.h │ │ ├── list_of_cosets_test.cc │ │ ├── multiplicative_group.cc │ │ ├── multiplicative_group.h │ │ ├── multiplicative_group_test.cc │ │ └── ordered_group.h │ ├── elliptic_curve │ │ ├── BUILD │ │ ├── elliptic_curve.h │ │ ├── elliptic_curve.inl │ │ ├── elliptic_curve_constants.h │ │ └── elliptic_curve_test.cc │ ├── fft │ │ ├── BUILD │ │ ├── details.h │ │ ├── details.inl │ │ ├── fft.cc │ │ ├── fft_test.cc │ │ ├── fft_with_precompute.h │ │ ├── fft_with_precompute.inl │ │ ├── multiplicative_fft.h │ │ ├── multiplicative_fft.inl │ │ ├── multiplicative_group_ordering.h │ │ └── transpose.h │ ├── field_element_base.h │ ├── field_element_base.inl │ ├── field_element_base_test.cc │ ├── field_operations.h │ ├── field_operations.inl │ ├── field_operations_axioms_test.cc │ ├── field_operations_test.cc │ ├── field_to_int.h │ ├── field_to_int_test.cc │ ├── fields │ │ ├── BUILD │ │ ├── big_prime_constants.h │ │ ├── extension_field_element.h │ │ ├── extension_field_element.inl │ │ ├── extension_field_element_test.cc │ │ ├── field_operations_helper.h │ │ ├── field_operations_helper.inl │ │ ├── field_operations_helper_test.cc │ │ ├── fraction_field_element.h │ │ ├── fraction_field_element.inl │ │ ├── fraction_field_element_test.cc │ │ ├── long_field_element.cc │ │ ├── long_field_element.h │ │ ├── long_field_element_test.cc │ │ ├── prime_field_element.S │ │ ├── prime_field_element.cc │ │ ├── prime_field_element.h │ │ ├── prime_field_element.inl │ │ ├── prime_field_element_test.cc │ │ ├── test_field_element.cc │ │ ├── test_field_element.h │ │ ├── test_field_element.inl │ │ └── test_field_element_test.cc │ ├── lde │ │ ├── BUILD │ │ ├── cached_lde_manager.cc │ │ ├── cached_lde_manager.h │ │ ├── cached_lde_manager_test.cc │ │ ├── lde.cc │ │ ├── lde.h │ │ ├── lde_manager_impl.h │ │ ├── lde_manager_impl.inl │ │ ├── lde_manager_mock.h │ │ ├── lde_test.cc │ │ ├── multiplicative_lde.h │ │ └── multiplicative_lde.inl │ ├── polymorphic │ │ ├── BUILD │ │ ├── field.cc │ │ ├── field.h │ │ ├── field.inl │ │ ├── field_element.cc │ │ ├── field_element.h │ │ ├── field_element.inl │ │ ├── field_element_span.cc │ │ ├── field_element_span.h │ │ ├── field_element_span.inl │ │ ├── field_element_span_test.cc │ │ ├── field_element_test.cc │ │ ├── field_element_vector.cc │ │ ├── field_element_vector.h │ │ ├── field_element_vector.inl │ │ ├── field_element_vector_test.cc │ │ ├── field_test.cc │ │ └── test_utils.h │ ├── polynomials.h │ ├── polynomials.inl │ ├── polynomials_test.cc │ ├── uint128.h │ └── utils │ │ ├── BUILD │ │ ├── invoke_template_version.h │ │ ├── invoke_template_version_test.cc │ │ ├── name_to_field.cc │ │ ├── name_to_field.h │ │ └── name_to_field_test.cc ├── cairo │ └── lang │ │ └── vm │ │ └── cpp │ │ ├── BUILD │ │ ├── decoder.cc │ │ ├── decoder.h │ │ ├── decoder_test.cc │ │ ├── trace_utils.h │ │ ├── trace_utils.inl │ │ └── trace_utils_test.cc ├── channel │ ├── BUILD │ ├── annotation_scope.h │ ├── annotation_scope_test.cc │ ├── channel.cc │ ├── channel.h │ ├── channel_statistics.h │ ├── channel_test.cc │ ├── noninteractive_channel_test.cc │ ├── noninteractive_channel_utils.cc │ ├── noninteractive_channel_utils.h │ ├── noninteractive_felt_channel_test.cc │ ├── noninteractive_prover_channel.cc │ ├── noninteractive_prover_channel.h │ ├── noninteractive_prover_channel_test.cc │ ├── noninteractive_prover_felt_channel.cc │ ├── noninteractive_prover_felt_channel.h │ ├── noninteractive_verifier_channel.cc │ ├── noninteractive_verifier_channel.h │ ├── noninteractive_verifier_felt_channel.cc │ ├── noninteractive_verifier_felt_channel.h │ ├── proof_of_work.h │ ├── proof_of_work.inl │ ├── proof_of_work_test.cc │ ├── prover_channel.cc │ ├── prover_channel.h │ ├── prover_channel_mock.h │ ├── verifier_channel.cc │ ├── verifier_channel.h │ └── verifier_channel_mock.h ├── commitment_scheme │ ├── BUILD │ ├── caching_commitment_scheme.cc │ ├── caching_commitment_scheme.h │ ├── caching_commitment_scheme_test.cc │ ├── commitment_scheme.h │ ├── commitment_scheme_builder.h │ ├── commitment_scheme_builder.inl │ ├── commitment_scheme_mock.h │ ├── commitment_scheme_test.cc │ ├── merkle │ │ ├── BUILD │ │ ├── merkle.cc │ │ ├── merkle.h │ │ ├── merkle_commitment_scheme.cc │ │ ├── merkle_commitment_scheme.h │ │ └── merkle_test.cc │ ├── packaging_commitment_scheme.cc │ ├── packaging_commitment_scheme.h │ ├── packaging_commitment_scheme_test.cc │ ├── packer_hasher.cc │ ├── packer_hasher.h │ ├── parallel_table_prover.cc │ ├── parallel_table_prover.h │ ├── parallel_table_prover_test.cc │ ├── row_col.h │ ├── table_impl_details.cc │ ├── table_impl_details.h │ ├── table_prover.h │ ├── table_prover_impl.cc │ ├── table_prover_impl.h │ ├── table_prover_impl_test.cc │ ├── table_prover_mock.h │ ├── table_verifier.h │ ├── table_verifier_impl.cc │ ├── table_verifier_impl.h │ ├── table_verifier_impl_test.cc │ ├── table_verifier_mock.h │ └── utils.h ├── composition_polynomial │ ├── BUILD │ ├── breaker.cc │ ├── breaker.h │ ├── breaker_test.cc │ ├── composition_polynomial.h │ ├── composition_polynomial.inl │ ├── composition_polynomial_mock.h │ ├── composition_polynomial_test.cc │ ├── multiplicative_neighbors.h │ ├── multiplicative_neighbors.inl │ ├── multiplicative_neighbors_test.cc │ ├── periodic_column.h │ ├── periodic_column.inl │ └── periodic_column_test.cc ├── crypt_tools │ ├── BUILD │ ├── blake2s.h │ ├── blake2s.inl │ ├── blake2s_test.cc │ ├── hash_context │ │ ├── BUILD │ │ ├── hash_context.h │ │ ├── pedersen_hash_context.cc │ │ └── pedersen_hash_context.h │ ├── invoke.h │ ├── keccak_256.h │ ├── keccak_256.inl │ ├── keccak_256_test.cc │ ├── masked_hash.h │ ├── masked_hash_test.cc │ ├── pedersen.h │ ├── pedersen.inl │ ├── pedersen_test.cc │ ├── poseidon.h │ ├── poseidon.inl │ ├── poseidon_test.cc │ ├── template_instantiation.h │ ├── test_utils.cc │ ├── test_utils.h │ ├── utils.h │ └── utils_test.cc ├── error_handling │ ├── BUILD │ ├── error_handling.cc │ ├── error_handling.h │ ├── error_handling_test.cc │ └── test_utils.h ├── fft_utils │ ├── BUILD │ ├── fft_bases.h │ ├── fft_bases.inl │ ├── fft_bases_test.cc │ ├── fft_domain.h │ ├── fft_domain_test.cc │ ├── fft_group.h │ └── fft_group.inl ├── fri │ ├── BUILD │ ├── fri_committed_layer.cc │ ├── fri_committed_layer.h │ ├── fri_committed_layer_test.cc │ ├── fri_details.cc │ ├── fri_details.h │ ├── fri_details_test.cc │ ├── fri_folder.cc │ ├── fri_folder.h │ ├── fri_layer.cc │ ├── fri_layer.h │ ├── fri_layer_test.cc │ ├── fri_parameters.h │ ├── fri_prover.cc │ ├── fri_prover.h │ ├── fri_test.cc │ ├── fri_test_utils.h │ ├── fri_verifier.cc │ └── fri_verifier.h ├── gtest │ ├── BUILD │ └── gtest_main.cc ├── main │ ├── BUILD │ ├── cpu │ │ ├── BUILD │ │ ├── cpu_air_prover_main.cc │ │ └── cpu_air_verifier_main.cc │ ├── load_targets.bzl │ ├── prover_main_helper.cc │ ├── prover_main_helper.h │ ├── prover_main_helper_impl.cc │ ├── prover_main_helper_impl.h │ ├── prover_version.h │ ├── verifier_main_helper.cc │ ├── verifier_main_helper.h │ ├── verifier_main_helper_impl.cc │ └── verifier_main_helper_impl.h ├── math │ ├── BUILD │ ├── math.h │ └── math_test.cc ├── proof_system │ ├── BUILD │ ├── proof_system.cc │ ├── proof_system.h │ └── proof_system_test.cc ├── randomness │ ├── BUILD │ ├── hash_chain.cc │ ├── hash_chain.h │ ├── hash_chain_test.cc │ ├── prng.cc │ ├── prng.h │ └── prng_test.cc ├── stark │ ├── BUILD │ ├── committed_trace.cc │ ├── committed_trace.h │ ├── committed_trace_mock.h │ ├── committed_trace_test.cc │ ├── composition_oracle.cc │ ├── composition_oracle.h │ ├── composition_oracle_test.cc │ ├── oods.cc │ ├── oods.h │ ├── oods_test.cc │ ├── stark.cc │ ├── stark.h │ ├── stark_params_test.cc │ ├── stark_test.cc │ ├── test_utils.h │ ├── utils.cc │ ├── utils.h │ └── utils.inl ├── statement │ ├── BUILD │ ├── cpu │ │ ├── BUILD │ │ ├── cpu_air_statement.cc │ │ └── cpu_air_statement.h │ ├── fibonacci │ │ ├── BUILD │ │ ├── fibonacci_statement.h │ │ ├── fibonacci_statement.inl │ │ └── fibonacci_statement_test.cc │ └── statement.h ├── stl_utils │ ├── BUILD │ ├── containers.h │ ├── containers_test.cc │ ├── string.h │ └── string_test.cc └── utils │ ├── BUILD │ ├── aligned_unique_ptr.h │ ├── attributes.h │ ├── bit_reversal.cc │ ├── bit_reversal.h │ ├── bit_reversal_test.cc │ ├── flag_validators.cc │ ├── flag_validators.h │ ├── input_utils.cc │ ├── input_utils.h │ ├── json.cc │ ├── json.h │ ├── json.inl │ ├── json_builder.h │ ├── json_test.cc │ ├── maybe_owned_ptr.h │ ├── maybe_owned_ptr_test.cc │ ├── nanotimer.h │ ├── profiling.cc │ ├── profiling.h │ ├── profiling_test.cc │ ├── serialization.h │ ├── serialization.inl │ ├── serialization_test.cc │ ├── stats.cc │ ├── stats.h │ ├── stats_test.cc │ ├── task_manager.cc │ ├── task_manager.h │ ├── task_manager.inl │ ├── task_manager_test.cc │ ├── to_from_string.cc │ ├── to_from_string.h │ └── to_from_string_test.cc └── third_party ├── BUILD ├── XKCP ├── CompactFIPS202 │ └── Keccak-readable-and-compact.c ├── KeccakP-1600-OptimizedAVX2 │ ├── BUILD │ ├── KeccakP-1600-AVX2.s │ └── LICENSE ├── LICENSE └── README.markdown ├── backward-cpp ├── BUILD ├── LICENSE.txt ├── README.md └── backward.hpp ├── blake2 ├── BUILD ├── COPYING ├── blake2-config.h ├── blake2-impl.h ├── blake2.h ├── blake2s-load-sse2.h ├── blake2s-load-sse41.h ├── blake2s-load-xop.h ├── blake2s-round.h └── blake2s.c ├── blake2_ref ├── blake2-impl.h └── blake2.h ├── cppitertools ├── BUILD ├── LICENSE.md ├── enumerate.hpp ├── internal │ ├── BUILD │ ├── iter_tuples.hpp │ ├── iterator_wrapper.hpp │ └── iterbase.hpp ├── range.hpp ├── reversed.hpp └── zip.hpp ├── gflags.patch ├── glog.patch ├── gsl ├── BUILD ├── LICENSE └── gsl-lite.hpp ├── jsoncpp ├── BUILD ├── LICENSE ├── json │ ├── BUILD │ └── json.h └── jsoncpp.cpp └── poseidon ├── BUILD ├── README.md ├── f251.c ├── f251.h ├── f251_asm.s ├── poseidon.c ├── poseidon.h ├── poseidon_rc.c └── poseidon_rc.h /.bazelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/.bazelrc -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/README.md -------------------------------------------------------------------------------- /WORKSPACE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/WORKSPACE -------------------------------------------------------------------------------- /bazel_utils/patches/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bazel_utils/patches/llvm_toolchain.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/bazel_utils/patches/llvm_toolchain.patch -------------------------------------------------------------------------------- /docker_common_deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/docker_common_deps.sh -------------------------------------------------------------------------------- /e2e_test/Cairo/cpu_air_params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/e2e_test/Cairo/cpu_air_params.json -------------------------------------------------------------------------------- /e2e_test/Cairo/cpu_air_prover_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/e2e_test/Cairo/cpu_air_prover_config.json -------------------------------------------------------------------------------- /e2e_test/Cairo/fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/e2e_test/Cairo/fibonacci.cairo -------------------------------------------------------------------------------- /e2e_test/CairoZero/cpu_air_params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/e2e_test/CairoZero/cpu_air_params.json -------------------------------------------------------------------------------- /e2e_test/CairoZero/cpu_air_prover_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/e2e_test/CairoZero/cpu_air_prover_config.json -------------------------------------------------------------------------------- /e2e_test/CairoZero/fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/e2e_test/CairoZero/fibonacci.cairo -------------------------------------------------------------------------------- /e2e_test/CairoZero/fibonacci_input.json: -------------------------------------------------------------------------------- 1 | { 2 | "fibonacci_claim_index": 10 3 | } 4 | -------------------------------------------------------------------------------- /install_deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/install_deps.sh -------------------------------------------------------------------------------- /src/starkware/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/BUILD -------------------------------------------------------------------------------- /src/starkware/air/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/BUILD -------------------------------------------------------------------------------- /src/starkware/air/air.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/air.h -------------------------------------------------------------------------------- /src/starkware/air/boundary/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/boundary/BUILD -------------------------------------------------------------------------------- /src/starkware/air/boundary/boundary_air.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/boundary/boundary_air.h -------------------------------------------------------------------------------- /src/starkware/air/boundary/boundary_air_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/boundary/boundary_air_test.cc -------------------------------------------------------------------------------- /src/starkware/air/boundary_constraints/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/boundary_constraints/BUILD -------------------------------------------------------------------------------- /src/starkware/air/boundary_constraints/boundary_periodic_column.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/boundary_constraints/boundary_periodic_column.h -------------------------------------------------------------------------------- /src/starkware/air/boundary_constraints/boundary_periodic_column.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/boundary_constraints/boundary_periodic_column.inl -------------------------------------------------------------------------------- /src/starkware/air/boundary_constraints/boundary_periodic_column_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/boundary_constraints/boundary_periodic_column_test.cc -------------------------------------------------------------------------------- /src/starkware/air/compile_time_optional.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/compile_time_optional.h -------------------------------------------------------------------------------- /src/starkware/air/compile_time_optional_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/compile_time_optional_test.cc -------------------------------------------------------------------------------- /src/starkware/air/components/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/bit_unpacking/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/bit_unpacking/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/bit_unpacking/bit_unpacking.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/bit_unpacking/bit_unpacking.h -------------------------------------------------------------------------------- /src/starkware/air/components/diluted_check/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/diluted_check/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/diluted_check/diluted_check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/diluted_check/diluted_check.h -------------------------------------------------------------------------------- /src/starkware/air/components/diluted_check/diluted_check.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/diluted_check/diluted_check.inl -------------------------------------------------------------------------------- /src/starkware/air/components/diluted_check/diluted_check_cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/diluted_check/diluted_check_cell.h -------------------------------------------------------------------------------- /src/starkware/air/components/diluted_check/diluted_check_cell.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/diluted_check/diluted_check_cell.inl -------------------------------------------------------------------------------- /src/starkware/air/components/diluted_check/diluted_check_cell_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/diluted_check/diluted_check_cell_test.cc -------------------------------------------------------------------------------- /src/starkware/air/components/diluted_check/diluted_check_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/diluted_check/diluted_check_test.cc -------------------------------------------------------------------------------- /src/starkware/air/components/ec_subset_sum/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/ec_subset_sum/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/ec_subset_sum/ec_subset_sum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/ec_subset_sum/ec_subset_sum.h -------------------------------------------------------------------------------- /src/starkware/air/components/ec_subset_sum/ec_subset_sum.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/ec_subset_sum/ec_subset_sum.inl -------------------------------------------------------------------------------- /src/starkware/air/components/ecdsa/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/ecdsa/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/ecdsa/ecdsa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/ecdsa/ecdsa.h -------------------------------------------------------------------------------- /src/starkware/air/components/ecdsa/ecdsa.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/ecdsa/ecdsa.inl -------------------------------------------------------------------------------- /src/starkware/air/components/hash/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/hash/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/hash/hash_component.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/hash/hash_component.h -------------------------------------------------------------------------------- /src/starkware/air/components/hash/hash_factory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/hash/hash_factory.h -------------------------------------------------------------------------------- /src/starkware/air/components/keccak/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/keccak/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/keccak/keccak.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/keccak/keccak.h -------------------------------------------------------------------------------- /src/starkware/air/components/keccak/keccak.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/keccak/keccak.inl -------------------------------------------------------------------------------- /src/starkware/air/components/memory/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/memory/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/memory/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/memory/memory.h -------------------------------------------------------------------------------- /src/starkware/air/components/memory/memory.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/memory/memory.inl -------------------------------------------------------------------------------- /src/starkware/air/components/memory/memory_cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/memory/memory_cell.h -------------------------------------------------------------------------------- /src/starkware/air/components/memory/memory_cell.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/memory/memory_cell.inl -------------------------------------------------------------------------------- /src/starkware/air/components/memory/memory_cell_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/memory/memory_cell_test.cc -------------------------------------------------------------------------------- /src/starkware/air/components/parse_to_diluted/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/parse_to_diluted/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/parse_to_diluted/parse_to_diluted.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/parse_to_diluted/parse_to_diluted.h -------------------------------------------------------------------------------- /src/starkware/air/components/parse_to_diluted/parse_to_diluted.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/parse_to_diluted/parse_to_diluted.inl -------------------------------------------------------------------------------- /src/starkware/air/components/pedersen_hash/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/pedersen_hash/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/pedersen_hash/pedersen_hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/pedersen_hash/pedersen_hash.h -------------------------------------------------------------------------------- /src/starkware/air/components/pedersen_hash/pedersen_hash.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/pedersen_hash/pedersen_hash.inl -------------------------------------------------------------------------------- /src/starkware/air/components/perm_range_check/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_range_check/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/perm_range_check/perm_range_check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_range_check/perm_range_check.h -------------------------------------------------------------------------------- /src/starkware/air/components/perm_range_check/perm_range_check.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_range_check/perm_range_check.inl -------------------------------------------------------------------------------- /src/starkware/air/components/perm_range_check/range_check_cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_range_check/range_check_cell.h -------------------------------------------------------------------------------- /src/starkware/air/components/perm_range_check/range_check_cell.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_range_check/range_check_cell.inl -------------------------------------------------------------------------------- /src/starkware/air/components/perm_range_check/range_check_cell_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_range_check/range_check_cell_test.cc -------------------------------------------------------------------------------- /src/starkware/air/components/perm_table_check/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_table_check/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/perm_table_check/table_check_cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_table_check/table_check_cell.h -------------------------------------------------------------------------------- /src/starkware/air/components/perm_table_check/table_check_cell.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/perm_table_check/table_check_cell.inl -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/load_targets.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/load_targets.bzl -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/multi_column_permutation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/multi_column_permutation.h -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/multi_column_permutation.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/multi_column_permutation.inl -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation.h -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation.inl -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_dummy_air.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_dummy_air.h -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_dummy_air.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_dummy_air.inl -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_dummy_air_definition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_dummy_air_definition.h -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_dummy_air_definition0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_dummy_air_definition0.h -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_dummy_air_definition0.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_dummy_air_definition0.inl -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_dummy_air_definition_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_dummy_air_definition_class.h -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_dummy_air_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_dummy_air_test.cc -------------------------------------------------------------------------------- /src/starkware/air/components/permutation/permutation_trace_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/permutation/permutation_trace_context.h -------------------------------------------------------------------------------- /src/starkware/air/components/poseidon/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/poseidon/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/poseidon/poseidon.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/poseidon/poseidon.h -------------------------------------------------------------------------------- /src/starkware/air/components/poseidon/poseidon.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/poseidon/poseidon.inl -------------------------------------------------------------------------------- /src/starkware/air/components/range_check/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/range_check/BUILD -------------------------------------------------------------------------------- /src/starkware/air/components/range_check/range_check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/range_check/range_check.h -------------------------------------------------------------------------------- /src/starkware/air/components/trace_generation_context.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/trace_generation_context.cc -------------------------------------------------------------------------------- /src/starkware/air/components/trace_generation_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/trace_generation_context.h -------------------------------------------------------------------------------- /src/starkware/air/components/trace_generation_context_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/trace_generation_context_test.cc -------------------------------------------------------------------------------- /src/starkware/air/components/virtual_column.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/components/virtual_column.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition0.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition0.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition0.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition0.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition0.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition1.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition1.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition1.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition1.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition1.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition10.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition10.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition10.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition10.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition10.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition10.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition11.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition11.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition11.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition11.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition11.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition11.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition12.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition12.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition12.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition12.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition12.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition12.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition2.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition2.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition2.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition2.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition2.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition3.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition3.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition3.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition3.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition3.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition4.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition4.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition4.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition4.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition4.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition5.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition5.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition5.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition5.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition5.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition6.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition6.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition6.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition6.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition6.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition7.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition7.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition7.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition7.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition7.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition7.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition8.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition8.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition8.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition8.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition8.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition8.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition9.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition9.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition9.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition9.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition9.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition9.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_definition_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_definition_class.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test.cc -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test_instructions.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test_instructions.cairo -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test_instructions_memory.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test_instructions_memory.bin -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test_instructions_memory.bin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test_instructions_memory.bin.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test_instructions_public_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test_instructions_public_input.json -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test_instructions_public_input.json.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test_instructions_public_input.json.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test_instructions_trace.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test_instructions_trace.bin -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_test_instructions_trace.bin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_test_instructions_trace.bin.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/cpu_air_trace_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/cpu_air_trace_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/load_targets.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/load_targets.bzl -------------------------------------------------------------------------------- /src/starkware/air/cpu/board/memory_segment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/board/memory_segment.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/bitwise/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/bitwise/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/bitwise/bitwise_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/bitwise/bitwise_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/bitwise/bitwise_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/bitwise/bitwise_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/ec/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/ec/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/ec/ec_op_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/ec/ec_op_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/ec/ec_op_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/ec/ec_op_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/hash/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/hash/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/hash/hash_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/hash/hash_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/hash/hash_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/hash/hash_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/keccak/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/keccak/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/keccak/keccak_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/keccak/keccak_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/keccak/keccak_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/keccak/keccak_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/modulo/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/modulo/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/modulo/add_mod_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/modulo/add_mod_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/modulo/add_mod_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/modulo/add_mod_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/modulo/mod_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/modulo/mod_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/modulo/mod_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/modulo/mod_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/modulo/mul_mod_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/modulo/mul_mod_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/modulo/mul_mod_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/modulo/mul_mod_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/poseidon/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/poseidon/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/poseidon/poseidon_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/poseidon/poseidon_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/poseidon/poseidon_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/poseidon/poseidon_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/range_check/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/range_check/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/range_check/range_check_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/range_check/range_check_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/range_check/range_check_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/range_check/range_check_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/signature/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/signature/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/signature/signature_builtin_prover_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/signature/signature_builtin_prover_context.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/builtin/signature/signature_builtin_prover_context.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/builtin/signature/signature_builtin_prover_context.inl -------------------------------------------------------------------------------- /src/starkware/air/cpu/component/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/component/BUILD -------------------------------------------------------------------------------- /src/starkware/air/cpu/component/cpu_component.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/component/cpu_component.h -------------------------------------------------------------------------------- /src/starkware/air/cpu/component/cpu_component.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/cpu/component/cpu_component.inl -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/BUILD -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/degree_three_example_air.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/degree_three_example_air.h -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/degree_three_example_air.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/degree_three_example_air.inl -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/degree_three_example_air0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/degree_three_example_air0.h -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/degree_three_example_air0.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/degree_three_example_air0.inl -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/degree_three_example_air_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/degree_three_example_air_class.h -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/degree_three_example_air_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/degree_three_example_air_test.cc -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/degree_three_example_trace_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/degree_three_example_trace_context.h -------------------------------------------------------------------------------- /src/starkware/air/degree_three_example/load_targets.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/degree_three_example/load_targets.bzl -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/BUILD -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/fibonacci_air.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/fibonacci_air.h -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/fibonacci_air.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/fibonacci_air.inl -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/fibonacci_air0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/fibonacci_air0.h -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/fibonacci_air0.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/fibonacci_air0.inl -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/fibonacci_air_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/fibonacci_air_class.h -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/fibonacci_air_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/fibonacci_air_test.cc -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/fibonacci_trace_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/fibonacci_trace_context.h -------------------------------------------------------------------------------- /src/starkware/air/fibonacci/load_targets.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/fibonacci/load_targets.bzl -------------------------------------------------------------------------------- /src/starkware/air/test_utils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/test_utils.cc -------------------------------------------------------------------------------- /src/starkware/air/test_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/test_utils.h -------------------------------------------------------------------------------- /src/starkware/air/test_utils_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/test_utils_test.cc -------------------------------------------------------------------------------- /src/starkware/air/trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/trace.h -------------------------------------------------------------------------------- /src/starkware/air/trace_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/trace_context.h -------------------------------------------------------------------------------- /src/starkware/air/trace_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/air/trace_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/big_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/big_int.h -------------------------------------------------------------------------------- /src/starkware/algebra/big_int.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/big_int.inl -------------------------------------------------------------------------------- /src/starkware/algebra/big_int_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/big_int_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/domains/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/domains/list_of_cosets.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/list_of_cosets.cc -------------------------------------------------------------------------------- /src/starkware/algebra/domains/list_of_cosets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/list_of_cosets.h -------------------------------------------------------------------------------- /src/starkware/algebra/domains/list_of_cosets_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/list_of_cosets_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/domains/multiplicative_group.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/multiplicative_group.cc -------------------------------------------------------------------------------- /src/starkware/algebra/domains/multiplicative_group.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/multiplicative_group.h -------------------------------------------------------------------------------- /src/starkware/algebra/domains/multiplicative_group_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/multiplicative_group_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/domains/ordered_group.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/domains/ordered_group.h -------------------------------------------------------------------------------- /src/starkware/algebra/elliptic_curve/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/elliptic_curve/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/elliptic_curve/elliptic_curve.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/elliptic_curve/elliptic_curve.h -------------------------------------------------------------------------------- /src/starkware/algebra/elliptic_curve/elliptic_curve.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/elliptic_curve/elliptic_curve.inl -------------------------------------------------------------------------------- /src/starkware/algebra/elliptic_curve/elliptic_curve_constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/elliptic_curve/elliptic_curve_constants.h -------------------------------------------------------------------------------- /src/starkware/algebra/elliptic_curve/elliptic_curve_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/elliptic_curve/elliptic_curve_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fft/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/fft/details.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/details.h -------------------------------------------------------------------------------- /src/starkware/algebra/fft/details.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/details.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fft/fft.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/fft.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fft/fft_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/fft_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fft/fft_with_precompute.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/fft_with_precompute.h -------------------------------------------------------------------------------- /src/starkware/algebra/fft/fft_with_precompute.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/fft_with_precompute.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fft/multiplicative_fft.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/multiplicative_fft.h -------------------------------------------------------------------------------- /src/starkware/algebra/fft/multiplicative_fft.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/multiplicative_fft.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fft/multiplicative_group_ordering.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/multiplicative_group_ordering.h -------------------------------------------------------------------------------- /src/starkware/algebra/fft/transpose.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fft/transpose.h -------------------------------------------------------------------------------- /src/starkware/algebra/field_element_base.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_element_base.h -------------------------------------------------------------------------------- /src/starkware/algebra/field_element_base.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_element_base.inl -------------------------------------------------------------------------------- /src/starkware/algebra/field_element_base_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_element_base_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/field_operations.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_operations.h -------------------------------------------------------------------------------- /src/starkware/algebra/field_operations.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_operations.inl -------------------------------------------------------------------------------- /src/starkware/algebra/field_operations_axioms_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_operations_axioms_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/field_operations_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_operations_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/field_to_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_to_int.h -------------------------------------------------------------------------------- /src/starkware/algebra/field_to_int_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/field_to_int_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/fields/big_prime_constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/big_prime_constants.h -------------------------------------------------------------------------------- /src/starkware/algebra/fields/extension_field_element.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/extension_field_element.h -------------------------------------------------------------------------------- /src/starkware/algebra/fields/extension_field_element.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/extension_field_element.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fields/extension_field_element_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/extension_field_element_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/field_operations_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/field_operations_helper.h -------------------------------------------------------------------------------- /src/starkware/algebra/fields/field_operations_helper.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/field_operations_helper.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fields/field_operations_helper_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/field_operations_helper_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/fraction_field_element.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/fraction_field_element.h -------------------------------------------------------------------------------- /src/starkware/algebra/fields/fraction_field_element.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/fraction_field_element.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fields/fraction_field_element_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/fraction_field_element_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/long_field_element.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/long_field_element.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/long_field_element.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/long_field_element.h -------------------------------------------------------------------------------- /src/starkware/algebra/fields/long_field_element_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/long_field_element_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/prime_field_element.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/prime_field_element.S -------------------------------------------------------------------------------- /src/starkware/algebra/fields/prime_field_element.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/prime_field_element.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/prime_field_element.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/prime_field_element.h -------------------------------------------------------------------------------- /src/starkware/algebra/fields/prime_field_element.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/prime_field_element.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fields/prime_field_element_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/prime_field_element_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/test_field_element.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/test_field_element.cc -------------------------------------------------------------------------------- /src/starkware/algebra/fields/test_field_element.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/test_field_element.h -------------------------------------------------------------------------------- /src/starkware/algebra/fields/test_field_element.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/test_field_element.inl -------------------------------------------------------------------------------- /src/starkware/algebra/fields/test_field_element_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/fields/test_field_element_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/lde/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/lde/cached_lde_manager.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/cached_lde_manager.cc -------------------------------------------------------------------------------- /src/starkware/algebra/lde/cached_lde_manager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/cached_lde_manager.h -------------------------------------------------------------------------------- /src/starkware/algebra/lde/cached_lde_manager_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/cached_lde_manager_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/lde/lde.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/lde.cc -------------------------------------------------------------------------------- /src/starkware/algebra/lde/lde.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/lde.h -------------------------------------------------------------------------------- /src/starkware/algebra/lde/lde_manager_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/lde_manager_impl.h -------------------------------------------------------------------------------- /src/starkware/algebra/lde/lde_manager_impl.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/lde_manager_impl.inl -------------------------------------------------------------------------------- /src/starkware/algebra/lde/lde_manager_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/lde_manager_mock.h -------------------------------------------------------------------------------- /src/starkware/algebra/lde/lde_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/lde_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/lde/multiplicative_lde.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/multiplicative_lde.h -------------------------------------------------------------------------------- /src/starkware/algebra/lde/multiplicative_lde.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/lde/multiplicative_lde.inl -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field.h -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field.inl -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element.h -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element.inl -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_span.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_span.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_span.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_span.h -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_span.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_span.inl -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_span_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_span_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_vector.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_vector.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_vector.h -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_vector.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_vector.inl -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_element_vector_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_element_vector_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/field_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/field_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/polymorphic/test_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polymorphic/test_utils.h -------------------------------------------------------------------------------- /src/starkware/algebra/polynomials.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polynomials.h -------------------------------------------------------------------------------- /src/starkware/algebra/polynomials.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polynomials.inl -------------------------------------------------------------------------------- /src/starkware/algebra/polynomials_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/polynomials_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/uint128.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/uint128.h -------------------------------------------------------------------------------- /src/starkware/algebra/utils/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/utils/BUILD -------------------------------------------------------------------------------- /src/starkware/algebra/utils/invoke_template_version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/utils/invoke_template_version.h -------------------------------------------------------------------------------- /src/starkware/algebra/utils/invoke_template_version_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/utils/invoke_template_version_test.cc -------------------------------------------------------------------------------- /src/starkware/algebra/utils/name_to_field.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/utils/name_to_field.cc -------------------------------------------------------------------------------- /src/starkware/algebra/utils/name_to_field.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/utils/name_to_field.h -------------------------------------------------------------------------------- /src/starkware/algebra/utils/name_to_field_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/algebra/utils/name_to_field_test.cc -------------------------------------------------------------------------------- /src/starkware/cairo/lang/vm/cpp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/cairo/lang/vm/cpp/BUILD -------------------------------------------------------------------------------- /src/starkware/cairo/lang/vm/cpp/decoder.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/cairo/lang/vm/cpp/decoder.cc -------------------------------------------------------------------------------- /src/starkware/cairo/lang/vm/cpp/decoder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/cairo/lang/vm/cpp/decoder.h -------------------------------------------------------------------------------- /src/starkware/cairo/lang/vm/cpp/decoder_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/cairo/lang/vm/cpp/decoder_test.cc -------------------------------------------------------------------------------- /src/starkware/cairo/lang/vm/cpp/trace_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/cairo/lang/vm/cpp/trace_utils.h -------------------------------------------------------------------------------- /src/starkware/cairo/lang/vm/cpp/trace_utils.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/cairo/lang/vm/cpp/trace_utils.inl -------------------------------------------------------------------------------- /src/starkware/cairo/lang/vm/cpp/trace_utils_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/cairo/lang/vm/cpp/trace_utils_test.cc -------------------------------------------------------------------------------- /src/starkware/channel/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/BUILD -------------------------------------------------------------------------------- /src/starkware/channel/annotation_scope.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/annotation_scope.h -------------------------------------------------------------------------------- /src/starkware/channel/annotation_scope_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/annotation_scope_test.cc -------------------------------------------------------------------------------- /src/starkware/channel/channel.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/channel.cc -------------------------------------------------------------------------------- /src/starkware/channel/channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/channel.h -------------------------------------------------------------------------------- /src/starkware/channel/channel_statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/channel_statistics.h -------------------------------------------------------------------------------- /src/starkware/channel/channel_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/channel_test.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_channel_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_channel_test.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_channel_utils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_channel_utils.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_channel_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_channel_utils.h -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_felt_channel_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_felt_channel_test.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_prover_channel.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_prover_channel.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_prover_channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_prover_channel.h -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_prover_channel_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_prover_channel_test.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_prover_felt_channel.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_prover_felt_channel.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_prover_felt_channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_prover_felt_channel.h -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_verifier_channel.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_verifier_channel.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_verifier_channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_verifier_channel.h -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_verifier_felt_channel.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_verifier_felt_channel.cc -------------------------------------------------------------------------------- /src/starkware/channel/noninteractive_verifier_felt_channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/noninteractive_verifier_felt_channel.h -------------------------------------------------------------------------------- /src/starkware/channel/proof_of_work.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/proof_of_work.h -------------------------------------------------------------------------------- /src/starkware/channel/proof_of_work.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/proof_of_work.inl -------------------------------------------------------------------------------- /src/starkware/channel/proof_of_work_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/proof_of_work_test.cc -------------------------------------------------------------------------------- /src/starkware/channel/prover_channel.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/prover_channel.cc -------------------------------------------------------------------------------- /src/starkware/channel/prover_channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/prover_channel.h -------------------------------------------------------------------------------- /src/starkware/channel/prover_channel_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/prover_channel_mock.h -------------------------------------------------------------------------------- /src/starkware/channel/verifier_channel.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/verifier_channel.cc -------------------------------------------------------------------------------- /src/starkware/channel/verifier_channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/verifier_channel.h -------------------------------------------------------------------------------- /src/starkware/channel/verifier_channel_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/channel/verifier_channel_mock.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/BUILD -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/caching_commitment_scheme.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/caching_commitment_scheme.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/caching_commitment_scheme.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/caching_commitment_scheme.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/caching_commitment_scheme_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/caching_commitment_scheme_test.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/commitment_scheme.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/commitment_scheme.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/commitment_scheme_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/commitment_scheme_builder.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/commitment_scheme_builder.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/commitment_scheme_builder.inl -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/commitment_scheme_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/commitment_scheme_mock.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/commitment_scheme_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/commitment_scheme_test.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/merkle/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/merkle/BUILD -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/merkle/merkle.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/merkle/merkle.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/merkle/merkle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/merkle/merkle.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/merkle/merkle_commitment_scheme.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/merkle/merkle_commitment_scheme.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/merkle/merkle_commitment_scheme.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/merkle/merkle_commitment_scheme.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/merkle/merkle_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/merkle/merkle_test.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/packaging_commitment_scheme.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/packaging_commitment_scheme.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/packaging_commitment_scheme.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/packaging_commitment_scheme.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/packaging_commitment_scheme_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/packaging_commitment_scheme_test.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/packer_hasher.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/packer_hasher.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/packer_hasher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/packer_hasher.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/parallel_table_prover.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/parallel_table_prover.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/parallel_table_prover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/parallel_table_prover.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/parallel_table_prover_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/parallel_table_prover_test.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/row_col.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/row_col.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_impl_details.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_impl_details.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_impl_details.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_impl_details.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_prover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_prover.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_prover_impl.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_prover_impl.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_prover_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_prover_impl.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_prover_impl_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_prover_impl_test.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_prover_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_prover_mock.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_verifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_verifier.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_verifier_impl.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_verifier_impl.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_verifier_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_verifier_impl.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_verifier_impl_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_verifier_impl_test.cc -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/table_verifier_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/table_verifier_mock.h -------------------------------------------------------------------------------- /src/starkware/commitment_scheme/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/commitment_scheme/utils.h -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/BUILD -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/breaker.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/breaker.cc -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/breaker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/breaker.h -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/breaker_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/breaker_test.cc -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/composition_polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/composition_polynomial.h -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/composition_polynomial.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/composition_polynomial.inl -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/composition_polynomial_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/composition_polynomial_mock.h -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/composition_polynomial_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/composition_polynomial_test.cc -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/multiplicative_neighbors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/multiplicative_neighbors.h -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/multiplicative_neighbors.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/multiplicative_neighbors.inl -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/multiplicative_neighbors_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/multiplicative_neighbors_test.cc -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/periodic_column.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/periodic_column.h -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/periodic_column.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/periodic_column.inl -------------------------------------------------------------------------------- /src/starkware/composition_polynomial/periodic_column_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/composition_polynomial/periodic_column_test.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/BUILD -------------------------------------------------------------------------------- /src/starkware/crypt_tools/blake2s.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/blake2s.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/blake2s.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/blake2s.inl -------------------------------------------------------------------------------- /src/starkware/crypt_tools/blake2s_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/blake2s_test.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/hash_context/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/hash_context/BUILD -------------------------------------------------------------------------------- /src/starkware/crypt_tools/hash_context/hash_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/hash_context/hash_context.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/hash_context/pedersen_hash_context.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/hash_context/pedersen_hash_context.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/hash_context/pedersen_hash_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/hash_context/pedersen_hash_context.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/invoke.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/invoke.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/keccak_256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/keccak_256.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/keccak_256.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/keccak_256.inl -------------------------------------------------------------------------------- /src/starkware/crypt_tools/keccak_256_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/keccak_256_test.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/masked_hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/masked_hash.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/masked_hash_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/masked_hash_test.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/pedersen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/pedersen.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/pedersen.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/pedersen.inl -------------------------------------------------------------------------------- /src/starkware/crypt_tools/pedersen_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/pedersen_test.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/poseidon.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/poseidon.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/poseidon.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/poseidon.inl -------------------------------------------------------------------------------- /src/starkware/crypt_tools/poseidon_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/poseidon_test.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/template_instantiation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/template_instantiation.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/test_utils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/test_utils.cc -------------------------------------------------------------------------------- /src/starkware/crypt_tools/test_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/test_utils.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/utils.h -------------------------------------------------------------------------------- /src/starkware/crypt_tools/utils_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/crypt_tools/utils_test.cc -------------------------------------------------------------------------------- /src/starkware/error_handling/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/error_handling/BUILD -------------------------------------------------------------------------------- /src/starkware/error_handling/error_handling.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/error_handling/error_handling.cc -------------------------------------------------------------------------------- /src/starkware/error_handling/error_handling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/error_handling/error_handling.h -------------------------------------------------------------------------------- /src/starkware/error_handling/error_handling_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/error_handling/error_handling_test.cc -------------------------------------------------------------------------------- /src/starkware/error_handling/test_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/error_handling/test_utils.h -------------------------------------------------------------------------------- /src/starkware/fft_utils/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/BUILD -------------------------------------------------------------------------------- /src/starkware/fft_utils/fft_bases.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/fft_bases.h -------------------------------------------------------------------------------- /src/starkware/fft_utils/fft_bases.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/fft_bases.inl -------------------------------------------------------------------------------- /src/starkware/fft_utils/fft_bases_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/fft_bases_test.cc -------------------------------------------------------------------------------- /src/starkware/fft_utils/fft_domain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/fft_domain.h -------------------------------------------------------------------------------- /src/starkware/fft_utils/fft_domain_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/fft_domain_test.cc -------------------------------------------------------------------------------- /src/starkware/fft_utils/fft_group.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/fft_group.h -------------------------------------------------------------------------------- /src/starkware/fft_utils/fft_group.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fft_utils/fft_group.inl -------------------------------------------------------------------------------- /src/starkware/fri/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/BUILD -------------------------------------------------------------------------------- /src/starkware/fri/fri_committed_layer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_committed_layer.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_committed_layer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_committed_layer.h -------------------------------------------------------------------------------- /src/starkware/fri/fri_committed_layer_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_committed_layer_test.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_details.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_details.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_details.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_details.h -------------------------------------------------------------------------------- /src/starkware/fri/fri_details_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_details_test.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_folder.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_folder.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_folder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_folder.h -------------------------------------------------------------------------------- /src/starkware/fri/fri_layer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_layer.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_layer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_layer.h -------------------------------------------------------------------------------- /src/starkware/fri/fri_layer_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_layer_test.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_parameters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_parameters.h -------------------------------------------------------------------------------- /src/starkware/fri/fri_prover.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_prover.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_prover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_prover.h -------------------------------------------------------------------------------- /src/starkware/fri/fri_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_test.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_test_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_test_utils.h -------------------------------------------------------------------------------- /src/starkware/fri/fri_verifier.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_verifier.cc -------------------------------------------------------------------------------- /src/starkware/fri/fri_verifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/fri/fri_verifier.h -------------------------------------------------------------------------------- /src/starkware/gtest/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/gtest/BUILD -------------------------------------------------------------------------------- /src/starkware/gtest/gtest_main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/gtest/gtest_main.cc -------------------------------------------------------------------------------- /src/starkware/main/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/BUILD -------------------------------------------------------------------------------- /src/starkware/main/cpu/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/cpu/BUILD -------------------------------------------------------------------------------- /src/starkware/main/cpu/cpu_air_prover_main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/cpu/cpu_air_prover_main.cc -------------------------------------------------------------------------------- /src/starkware/main/cpu/cpu_air_verifier_main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/cpu/cpu_air_verifier_main.cc -------------------------------------------------------------------------------- /src/starkware/main/load_targets.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/load_targets.bzl -------------------------------------------------------------------------------- /src/starkware/main/prover_main_helper.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/prover_main_helper.cc -------------------------------------------------------------------------------- /src/starkware/main/prover_main_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/prover_main_helper.h -------------------------------------------------------------------------------- /src/starkware/main/prover_main_helper_impl.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/prover_main_helper_impl.cc -------------------------------------------------------------------------------- /src/starkware/main/prover_main_helper_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/prover_main_helper_impl.h -------------------------------------------------------------------------------- /src/starkware/main/prover_version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/prover_version.h -------------------------------------------------------------------------------- /src/starkware/main/verifier_main_helper.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/verifier_main_helper.cc -------------------------------------------------------------------------------- /src/starkware/main/verifier_main_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/verifier_main_helper.h -------------------------------------------------------------------------------- /src/starkware/main/verifier_main_helper_impl.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/verifier_main_helper_impl.cc -------------------------------------------------------------------------------- /src/starkware/main/verifier_main_helper_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/main/verifier_main_helper_impl.h -------------------------------------------------------------------------------- /src/starkware/math/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/math/BUILD -------------------------------------------------------------------------------- /src/starkware/math/math.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/math/math.h -------------------------------------------------------------------------------- /src/starkware/math/math_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/math/math_test.cc -------------------------------------------------------------------------------- /src/starkware/proof_system/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/proof_system/BUILD -------------------------------------------------------------------------------- /src/starkware/proof_system/proof_system.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/proof_system/proof_system.cc -------------------------------------------------------------------------------- /src/starkware/proof_system/proof_system.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/proof_system/proof_system.h -------------------------------------------------------------------------------- /src/starkware/proof_system/proof_system_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/proof_system/proof_system_test.cc -------------------------------------------------------------------------------- /src/starkware/randomness/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/randomness/BUILD -------------------------------------------------------------------------------- /src/starkware/randomness/hash_chain.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/randomness/hash_chain.cc -------------------------------------------------------------------------------- /src/starkware/randomness/hash_chain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/randomness/hash_chain.h -------------------------------------------------------------------------------- /src/starkware/randomness/hash_chain_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/randomness/hash_chain_test.cc -------------------------------------------------------------------------------- /src/starkware/randomness/prng.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/randomness/prng.cc -------------------------------------------------------------------------------- /src/starkware/randomness/prng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/randomness/prng.h -------------------------------------------------------------------------------- /src/starkware/randomness/prng_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/randomness/prng_test.cc -------------------------------------------------------------------------------- /src/starkware/stark/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/BUILD -------------------------------------------------------------------------------- /src/starkware/stark/committed_trace.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/committed_trace.cc -------------------------------------------------------------------------------- /src/starkware/stark/committed_trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/committed_trace.h -------------------------------------------------------------------------------- /src/starkware/stark/committed_trace_mock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/committed_trace_mock.h -------------------------------------------------------------------------------- /src/starkware/stark/committed_trace_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/committed_trace_test.cc -------------------------------------------------------------------------------- /src/starkware/stark/composition_oracle.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/composition_oracle.cc -------------------------------------------------------------------------------- /src/starkware/stark/composition_oracle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/composition_oracle.h -------------------------------------------------------------------------------- /src/starkware/stark/composition_oracle_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/composition_oracle_test.cc -------------------------------------------------------------------------------- /src/starkware/stark/oods.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/oods.cc -------------------------------------------------------------------------------- /src/starkware/stark/oods.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/oods.h -------------------------------------------------------------------------------- /src/starkware/stark/oods_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/oods_test.cc -------------------------------------------------------------------------------- /src/starkware/stark/stark.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/stark.cc -------------------------------------------------------------------------------- /src/starkware/stark/stark.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/stark.h -------------------------------------------------------------------------------- /src/starkware/stark/stark_params_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/stark_params_test.cc -------------------------------------------------------------------------------- /src/starkware/stark/stark_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/stark_test.cc -------------------------------------------------------------------------------- /src/starkware/stark/test_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/test_utils.h -------------------------------------------------------------------------------- /src/starkware/stark/utils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/utils.cc -------------------------------------------------------------------------------- /src/starkware/stark/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/utils.h -------------------------------------------------------------------------------- /src/starkware/stark/utils.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stark/utils.inl -------------------------------------------------------------------------------- /src/starkware/statement/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/BUILD -------------------------------------------------------------------------------- /src/starkware/statement/cpu/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/cpu/BUILD -------------------------------------------------------------------------------- /src/starkware/statement/cpu/cpu_air_statement.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/cpu/cpu_air_statement.cc -------------------------------------------------------------------------------- /src/starkware/statement/cpu/cpu_air_statement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/cpu/cpu_air_statement.h -------------------------------------------------------------------------------- /src/starkware/statement/fibonacci/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/fibonacci/BUILD -------------------------------------------------------------------------------- /src/starkware/statement/fibonacci/fibonacci_statement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/fibonacci/fibonacci_statement.h -------------------------------------------------------------------------------- /src/starkware/statement/fibonacci/fibonacci_statement.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/fibonacci/fibonacci_statement.inl -------------------------------------------------------------------------------- /src/starkware/statement/fibonacci/fibonacci_statement_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/fibonacci/fibonacci_statement_test.cc -------------------------------------------------------------------------------- /src/starkware/statement/statement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/statement/statement.h -------------------------------------------------------------------------------- /src/starkware/stl_utils/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stl_utils/BUILD -------------------------------------------------------------------------------- /src/starkware/stl_utils/containers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stl_utils/containers.h -------------------------------------------------------------------------------- /src/starkware/stl_utils/containers_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stl_utils/containers_test.cc -------------------------------------------------------------------------------- /src/starkware/stl_utils/string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stl_utils/string.h -------------------------------------------------------------------------------- /src/starkware/stl_utils/string_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/stl_utils/string_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/BUILD -------------------------------------------------------------------------------- /src/starkware/utils/aligned_unique_ptr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/aligned_unique_ptr.h -------------------------------------------------------------------------------- /src/starkware/utils/attributes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/attributes.h -------------------------------------------------------------------------------- /src/starkware/utils/bit_reversal.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/bit_reversal.cc -------------------------------------------------------------------------------- /src/starkware/utils/bit_reversal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/bit_reversal.h -------------------------------------------------------------------------------- /src/starkware/utils/bit_reversal_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/bit_reversal_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/flag_validators.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/flag_validators.cc -------------------------------------------------------------------------------- /src/starkware/utils/flag_validators.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/flag_validators.h -------------------------------------------------------------------------------- /src/starkware/utils/input_utils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/input_utils.cc -------------------------------------------------------------------------------- /src/starkware/utils/input_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/input_utils.h -------------------------------------------------------------------------------- /src/starkware/utils/json.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/json.cc -------------------------------------------------------------------------------- /src/starkware/utils/json.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/json.h -------------------------------------------------------------------------------- /src/starkware/utils/json.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/json.inl -------------------------------------------------------------------------------- /src/starkware/utils/json_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/json_builder.h -------------------------------------------------------------------------------- /src/starkware/utils/json_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/json_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/maybe_owned_ptr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/maybe_owned_ptr.h -------------------------------------------------------------------------------- /src/starkware/utils/maybe_owned_ptr_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/maybe_owned_ptr_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/nanotimer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/nanotimer.h -------------------------------------------------------------------------------- /src/starkware/utils/profiling.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/profiling.cc -------------------------------------------------------------------------------- /src/starkware/utils/profiling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/profiling.h -------------------------------------------------------------------------------- /src/starkware/utils/profiling_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/profiling_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/serialization.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/serialization.h -------------------------------------------------------------------------------- /src/starkware/utils/serialization.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/serialization.inl -------------------------------------------------------------------------------- /src/starkware/utils/serialization_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/serialization_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/stats.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/stats.cc -------------------------------------------------------------------------------- /src/starkware/utils/stats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/stats.h -------------------------------------------------------------------------------- /src/starkware/utils/stats_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/stats_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/task_manager.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/task_manager.cc -------------------------------------------------------------------------------- /src/starkware/utils/task_manager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/task_manager.h -------------------------------------------------------------------------------- /src/starkware/utils/task_manager.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/task_manager.inl -------------------------------------------------------------------------------- /src/starkware/utils/task_manager_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/task_manager_test.cc -------------------------------------------------------------------------------- /src/starkware/utils/to_from_string.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/to_from_string.cc -------------------------------------------------------------------------------- /src/starkware/utils/to_from_string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/to_from_string.h -------------------------------------------------------------------------------- /src/starkware/utils/to_from_string_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/starkware/utils/to_from_string_test.cc -------------------------------------------------------------------------------- /src/third_party/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/BUILD -------------------------------------------------------------------------------- /src/third_party/XKCP/CompactFIPS202/Keccak-readable-and-compact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/XKCP/CompactFIPS202/Keccak-readable-and-compact.c -------------------------------------------------------------------------------- /src/third_party/XKCP/KeccakP-1600-OptimizedAVX2/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/XKCP/KeccakP-1600-OptimizedAVX2/BUILD -------------------------------------------------------------------------------- /src/third_party/XKCP/KeccakP-1600-OptimizedAVX2/KeccakP-1600-AVX2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/XKCP/KeccakP-1600-OptimizedAVX2/KeccakP-1600-AVX2.s -------------------------------------------------------------------------------- /src/third_party/XKCP/KeccakP-1600-OptimizedAVX2/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/XKCP/KeccakP-1600-OptimizedAVX2/LICENSE -------------------------------------------------------------------------------- /src/third_party/XKCP/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/XKCP/LICENSE -------------------------------------------------------------------------------- /src/third_party/XKCP/README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/XKCP/README.markdown -------------------------------------------------------------------------------- /src/third_party/backward-cpp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/backward-cpp/BUILD -------------------------------------------------------------------------------- /src/third_party/backward-cpp/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/backward-cpp/LICENSE.txt -------------------------------------------------------------------------------- /src/third_party/backward-cpp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/backward-cpp/README.md -------------------------------------------------------------------------------- /src/third_party/backward-cpp/backward.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/backward-cpp/backward.hpp -------------------------------------------------------------------------------- /src/third_party/blake2/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/BUILD -------------------------------------------------------------------------------- /src/third_party/blake2/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/COPYING -------------------------------------------------------------------------------- /src/third_party/blake2/blake2-config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2-config.h -------------------------------------------------------------------------------- /src/third_party/blake2/blake2-impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2-impl.h -------------------------------------------------------------------------------- /src/third_party/blake2/blake2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2.h -------------------------------------------------------------------------------- /src/third_party/blake2/blake2s-load-sse2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2s-load-sse2.h -------------------------------------------------------------------------------- /src/third_party/blake2/blake2s-load-sse41.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2s-load-sse41.h -------------------------------------------------------------------------------- /src/third_party/blake2/blake2s-load-xop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2s-load-xop.h -------------------------------------------------------------------------------- /src/third_party/blake2/blake2s-round.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2s-round.h -------------------------------------------------------------------------------- /src/third_party/blake2/blake2s.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2/blake2s.c -------------------------------------------------------------------------------- /src/third_party/blake2_ref/blake2-impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2_ref/blake2-impl.h -------------------------------------------------------------------------------- /src/third_party/blake2_ref/blake2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/blake2_ref/blake2.h -------------------------------------------------------------------------------- /src/third_party/cppitertools/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/BUILD -------------------------------------------------------------------------------- /src/third_party/cppitertools/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/LICENSE.md -------------------------------------------------------------------------------- /src/third_party/cppitertools/enumerate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/enumerate.hpp -------------------------------------------------------------------------------- /src/third_party/cppitertools/internal/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/internal/BUILD -------------------------------------------------------------------------------- /src/third_party/cppitertools/internal/iter_tuples.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/internal/iter_tuples.hpp -------------------------------------------------------------------------------- /src/third_party/cppitertools/internal/iterator_wrapper.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/internal/iterator_wrapper.hpp -------------------------------------------------------------------------------- /src/third_party/cppitertools/internal/iterbase.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/internal/iterbase.hpp -------------------------------------------------------------------------------- /src/third_party/cppitertools/range.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/range.hpp -------------------------------------------------------------------------------- /src/third_party/cppitertools/reversed.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/reversed.hpp -------------------------------------------------------------------------------- /src/third_party/cppitertools/zip.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/cppitertools/zip.hpp -------------------------------------------------------------------------------- /src/third_party/gflags.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/gflags.patch -------------------------------------------------------------------------------- /src/third_party/glog.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/glog.patch -------------------------------------------------------------------------------- /src/third_party/gsl/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/gsl/BUILD -------------------------------------------------------------------------------- /src/third_party/gsl/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/gsl/LICENSE -------------------------------------------------------------------------------- /src/third_party/gsl/gsl-lite.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/gsl/gsl-lite.hpp -------------------------------------------------------------------------------- /src/third_party/jsoncpp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/jsoncpp/BUILD -------------------------------------------------------------------------------- /src/third_party/jsoncpp/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/jsoncpp/LICENSE -------------------------------------------------------------------------------- /src/third_party/jsoncpp/json/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/jsoncpp/json/BUILD -------------------------------------------------------------------------------- /src/third_party/jsoncpp/json/json.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/jsoncpp/json/json.h -------------------------------------------------------------------------------- /src/third_party/jsoncpp/jsoncpp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/jsoncpp/jsoncpp.cpp -------------------------------------------------------------------------------- /src/third_party/poseidon/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/BUILD -------------------------------------------------------------------------------- /src/third_party/poseidon/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/README.md -------------------------------------------------------------------------------- /src/third_party/poseidon/f251.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/f251.c -------------------------------------------------------------------------------- /src/third_party/poseidon/f251.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/f251.h -------------------------------------------------------------------------------- /src/third_party/poseidon/f251_asm.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/f251_asm.s -------------------------------------------------------------------------------- /src/third_party/poseidon/poseidon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/poseidon.c -------------------------------------------------------------------------------- /src/third_party/poseidon/poseidon.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/poseidon.h -------------------------------------------------------------------------------- /src/third_party/poseidon/poseidon_rc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/poseidon_rc.c -------------------------------------------------------------------------------- /src/third_party/poseidon/poseidon_rc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkware-libs/stone-prover/HEAD/src/third_party/poseidon/poseidon_rc.h --------------------------------------------------------------------------------