├── .cargo └── config.toml ├── .github └── workflows │ ├── develop.yml │ ├── main.yml │ ├── stone_prover_build_artifact.yml │ └── stone_prover_build_artifact_ubuntu_20.04.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── assets ├── commands-diagram.svg ├── stone-cli-structure.svg ├── stone-cli-workflow1.svg └── stone-cli-workflow2.svg ├── examples ├── array_append.cairo ├── array_get.cairo ├── array_integer_tuple.cairo ├── bitwise.cairo ├── bytes31_ret.cairo ├── cairo0 │ ├── abs_value_array.json │ ├── array_sum.json │ ├── assert_250_bit_element_array.json │ ├── assert_le_felt_hint.json │ ├── assert_le_felt_old.json │ ├── assert_lt_felt.json │ ├── assert_nn.json │ ├── assert_not_zero.json │ ├── big_struct.json │ ├── bigint.json │ ├── bitand_hint.json │ ├── bitwise_builtin_test.json │ ├── bitwise_output.json │ ├── bitwise_recursion.json │ ├── blake2s_felts.json │ ├── blake2s_hello_world_hash.json │ ├── blake2s_integration_tests.json │ ├── cairo_finalize_keccak.json │ ├── cairo_finalize_keccak_block_size_1000.json │ ├── call_function_assign_param_by_name.json │ ├── chained_ec_op.json │ ├── common_signature.json │ ├── compare_arrays.json │ ├── compare_different_arrays.json │ ├── compare_greater_array.json │ ├── compare_lesser_array.json │ ├── compute_doubling_slope_v2.json │ ├── compute_slope_v2.json │ ├── dict.json │ ├── dict_integration_tests.json │ ├── dict_squash.json │ ├── dict_store_cast_ptr.json │ ├── dict_update.json │ ├── div_mod_n.json │ ├── ec_double_assign_new_x_v3.json │ ├── ec_double_slope.json │ ├── ec_double_v4.json │ ├── ec_negate.json │ ├── ec_op.json │ ├── ec_recover.json │ ├── ed25519_ec.json │ ├── ed25519_field.json │ ├── efficient_secp256r1_ec.json │ ├── example_blake2s.json │ ├── example_program.json │ ├── factorial.json │ ├── fast_ec_add_v2.json │ ├── fast_ec_add_v3.json │ ├── fibonacci.json │ ├── field_arithmetic.json │ ├── finalize_blake2s.json │ ├── finalize_blake2s_v2_hint.json │ ├── find_element.json │ ├── fq.json │ ├── fq_test.json │ ├── function_return.json │ ├── function_return_if_print.json │ ├── function_return_to_variable.json │ ├── garaga.json │ ├── highest_bitlen.json │ ├── if_and_prime.json │ ├── if_in_function.json │ ├── if_list.json │ ├── if_reloc_equal.json │ ├── integration.json │ ├── integration_with_alloc_locals.json │ ├── inv_mod_p_uint512.json │ ├── is_quad_residue_test.json │ ├── is_zero.json │ ├── is_zero_pack.json │ ├── jmp.json │ ├── jmp_if_condition.json │ ├── keccak.json │ ├── keccak_add_uint256.json │ ├── keccak_alternative_hint.json │ ├── keccak_builtin.json │ ├── keccak_copy_inputs.json │ ├── keccak_integration_tests.json │ ├── keccak_uint256.json │ ├── math_cmp.json │ ├── math_cmp_and_pow_integration_tests.json │ ├── math_integration_tests.json │ ├── memcpy_test.json │ ├── memory_holes.json │ ├── memory_integration_tests.json │ ├── memset.json │ ├── mul_s_inv.json │ ├── multiplicative_inverse.json │ ├── n_bit.json │ ├── nondet_bigint3_v2.json │ ├── normalize_address.json │ ├── not_main.json │ ├── operations_with_data_structures.json │ ├── packed_sha256.json │ ├── packed_sha256_test.json │ ├── pedersen_extra_builtins.json │ ├── pedersen_test.json │ ├── pointers.json │ ├── poseidon_builtin.json │ ├── poseidon_hash.json │ ├── poseidon_multirun.json │ ├── pow.json │ ├── print.json │ ├── recover_y.json │ ├── reduce.json │ ├── relocate_segments.json │ ├── relocate_segments_with_offset.json │ ├── relocate_temporary_segment_append.json │ ├── relocate_temporary_segment_into_new.json │ ├── return.json │ ├── reversed_register_instructions.json │ ├── search_sorted_lower.json │ ├── secp.json │ ├── secp256r1_div_mod_n.json │ ├── secp256r1_fast_ec_add.json │ ├── secp256r1_slope.json │ ├── secp_ec.json │ ├── secp_integration_tests.json │ ├── set_add.json │ ├── set_integration_tests.json │ ├── sha256.json │ ├── sha256_test.json │ ├── signature.json │ ├── signed_div_rem.json │ ├── simple_print.json │ ├── split_felt.json │ ├── split_int.json │ ├── split_int_big.json │ ├── split_xx_hint.json │ ├── sqrt.json │ ├── squash_dict.json │ ├── struct.json │ ├── test_addition_if.json │ ├── test_reverse_if.json │ ├── test_subtraction_if.json │ ├── uint256.json │ ├── uint256_improvements.json │ ├── uint256_integration_tests.json │ ├── uint384.json │ ├── uint384_extension.json │ ├── uint384_extension_test.json │ ├── uint384_test.json │ ├── unsafe_keccak.json │ ├── unsafe_keccak_finalize.json │ ├── unsigned_div_rem.json │ ├── use_imported_module.json │ ├── usort.json │ ├── value_beyond_segment.json │ └── with_hint │ │ ├── fibonacci.cairo │ │ ├── fibonacci.json │ │ ├── fibonacci_hint.json │ │ ├── keccak.cairo │ │ ├── keccak.json │ │ └── keccak_hint.json ├── cairo_pie │ └── fibonacci_with_output.zip ├── dict_with_struct.cairo ├── dictionaries.cairo ├── ecdsa_recover.cairo ├── enum_flow.cairo ├── enum_match.cairo ├── factorial.cairo ├── felt_dict.cairo ├── felt_dict_squash.cairo ├── felt_span.cairo ├── fibonacci.cairo ├── hello.cairo ├── null_ret.cairo ├── nullable_box_vec.cairo ├── nullable_dict.cairo ├── ops.cairo ├── pedersen_example.cairo ├── poseidon.cairo ├── poseidon_pedersen.cairo ├── print.cairo ├── recursion.cairo ├── sample.cairo ├── serialize_felt.cairo ├── simple.cairo ├── simple_struct.cairo ├── struct_span_return.cairo ├── tensor_new.cairo └── with_input │ ├── array_input_sum.cairo │ ├── array_input_sum_input.txt │ ├── array_length.cairo │ ├── array_length_input.txt │ ├── branching.cairo │ ├── branching_input.txt │ ├── dict_with_input.cairo │ ├── dict_with_input_input.txt │ ├── tensor.cairo │ └── tensor_input.txt ├── resources └── bootloader-0.13.1.json ├── rust-toolchain ├── src ├── args.rs ├── bootloader.rs ├── cairo.rs ├── fri.rs ├── lib.rs ├── main.rs ├── prover.rs ├── prover │ └── config.rs ├── serialize.rs ├── serialize │ └── vec252.rs ├── setup.rs ├── sharp-server.crt ├── sharp.rs ├── utils.rs └── verifier.rs └── tests ├── cli ├── resources │ ├── integrity-programs │ │ ├── cairo0_fibonacci_recursive_builtins.cairo │ │ └── cairo0_fibonacci_recursive_builtins.json │ └── macos-testing-proofs │ │ ├── bootloader_proof.json │ │ ├── cairo0_fibonacci_recursive_builtins_stone5_keccak_160_lsb.json │ │ └── fact_topologies.json └── tests.sh ├── configs ├── bootloader_cpu_air_params.json ├── bootloader_cpu_air_params_layout_starknet_with_keccak.json ├── cpu_air_params.json └── cpu_air_prover_config.json ├── resources └── proofs │ ├── ethereum │ └── layouts │ │ └── starknet │ │ ├── bootloader_proof_v5.json │ │ ├── bootloader_proof_v5_serialized.json │ │ ├── bootloader_proof_v6.json │ │ └── bootloader_proof_v6_serialized.json │ ├── macos-testing │ ├── fibonacci_cairo0_stone_v5_proof.json │ ├── fibonacci_cairo0_stone_v6_proof.json │ ├── fibonacci_cairo1_stone_v5_proof.json │ └── fibonacci_cairo1_stone_v6_proof.json │ └── starknet │ ├── monolith │ ├── cairo0_stone5_keccak_160_lsb_example_proof.json │ └── serialized │ └── split │ └── layouts │ └── starknet │ ├── cairo0_example_proof.json │ └── serialized │ ├── final │ ├── initial │ ├── step1 │ ├── step2 │ ├── step3 │ └── step4 ├── test_command.rs └── test_run.rs /.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [env] 2 | RUST_MIN_STACK = "16777216" -------------------------------------------------------------------------------- /.github/workflows/develop.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/.github/workflows/develop.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.github/workflows/stone_prover_build_artifact.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/.github/workflows/stone_prover_build_artifact.yml -------------------------------------------------------------------------------- /.github/workflows/stone_prover_build_artifact_ubuntu_20.04.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/.github/workflows/stone_prover_build_artifact_ubuntu_20.04.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/README.md -------------------------------------------------------------------------------- /assets/commands-diagram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/assets/commands-diagram.svg -------------------------------------------------------------------------------- /assets/stone-cli-structure.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/assets/stone-cli-structure.svg -------------------------------------------------------------------------------- /assets/stone-cli-workflow1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/assets/stone-cli-workflow1.svg -------------------------------------------------------------------------------- /assets/stone-cli-workflow2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/assets/stone-cli-workflow2.svg -------------------------------------------------------------------------------- /examples/array_append.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/array_append.cairo -------------------------------------------------------------------------------- /examples/array_get.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/array_get.cairo -------------------------------------------------------------------------------- /examples/array_integer_tuple.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/array_integer_tuple.cairo -------------------------------------------------------------------------------- /examples/bitwise.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/bitwise.cairo -------------------------------------------------------------------------------- /examples/bytes31_ret.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/bytes31_ret.cairo -------------------------------------------------------------------------------- /examples/cairo0/abs_value_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/abs_value_array.json -------------------------------------------------------------------------------- /examples/cairo0/array_sum.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/array_sum.json -------------------------------------------------------------------------------- /examples/cairo0/assert_250_bit_element_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/assert_250_bit_element_array.json -------------------------------------------------------------------------------- /examples/cairo0/assert_le_felt_hint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/assert_le_felt_hint.json -------------------------------------------------------------------------------- /examples/cairo0/assert_le_felt_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/assert_le_felt_old.json -------------------------------------------------------------------------------- /examples/cairo0/assert_lt_felt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/assert_lt_felt.json -------------------------------------------------------------------------------- /examples/cairo0/assert_nn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/assert_nn.json -------------------------------------------------------------------------------- /examples/cairo0/assert_not_zero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/assert_not_zero.json -------------------------------------------------------------------------------- /examples/cairo0/big_struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/big_struct.json -------------------------------------------------------------------------------- /examples/cairo0/bigint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/bigint.json -------------------------------------------------------------------------------- /examples/cairo0/bitand_hint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/bitand_hint.json -------------------------------------------------------------------------------- /examples/cairo0/bitwise_builtin_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/bitwise_builtin_test.json -------------------------------------------------------------------------------- /examples/cairo0/bitwise_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/bitwise_output.json -------------------------------------------------------------------------------- /examples/cairo0/bitwise_recursion.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/bitwise_recursion.json -------------------------------------------------------------------------------- /examples/cairo0/blake2s_felts.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/blake2s_felts.json -------------------------------------------------------------------------------- /examples/cairo0/blake2s_hello_world_hash.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/blake2s_hello_world_hash.json -------------------------------------------------------------------------------- /examples/cairo0/blake2s_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/blake2s_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/cairo_finalize_keccak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/cairo_finalize_keccak.json -------------------------------------------------------------------------------- /examples/cairo0/cairo_finalize_keccak_block_size_1000.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/cairo_finalize_keccak_block_size_1000.json -------------------------------------------------------------------------------- /examples/cairo0/call_function_assign_param_by_name.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/call_function_assign_param_by_name.json -------------------------------------------------------------------------------- /examples/cairo0/chained_ec_op.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/chained_ec_op.json -------------------------------------------------------------------------------- /examples/cairo0/common_signature.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/common_signature.json -------------------------------------------------------------------------------- /examples/cairo0/compare_arrays.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/compare_arrays.json -------------------------------------------------------------------------------- /examples/cairo0/compare_different_arrays.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/compare_different_arrays.json -------------------------------------------------------------------------------- /examples/cairo0/compare_greater_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/compare_greater_array.json -------------------------------------------------------------------------------- /examples/cairo0/compare_lesser_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/compare_lesser_array.json -------------------------------------------------------------------------------- /examples/cairo0/compute_doubling_slope_v2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/compute_doubling_slope_v2.json -------------------------------------------------------------------------------- /examples/cairo0/compute_slope_v2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/compute_slope_v2.json -------------------------------------------------------------------------------- /examples/cairo0/dict.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/dict.json -------------------------------------------------------------------------------- /examples/cairo0/dict_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/dict_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/dict_squash.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/dict_squash.json -------------------------------------------------------------------------------- /examples/cairo0/dict_store_cast_ptr.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/dict_store_cast_ptr.json -------------------------------------------------------------------------------- /examples/cairo0/dict_update.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/dict_update.json -------------------------------------------------------------------------------- /examples/cairo0/div_mod_n.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/div_mod_n.json -------------------------------------------------------------------------------- /examples/cairo0/ec_double_assign_new_x_v3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ec_double_assign_new_x_v3.json -------------------------------------------------------------------------------- /examples/cairo0/ec_double_slope.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ec_double_slope.json -------------------------------------------------------------------------------- /examples/cairo0/ec_double_v4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ec_double_v4.json -------------------------------------------------------------------------------- /examples/cairo0/ec_negate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ec_negate.json -------------------------------------------------------------------------------- /examples/cairo0/ec_op.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ec_op.json -------------------------------------------------------------------------------- /examples/cairo0/ec_recover.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ec_recover.json -------------------------------------------------------------------------------- /examples/cairo0/ed25519_ec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ed25519_ec.json -------------------------------------------------------------------------------- /examples/cairo0/ed25519_field.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/ed25519_field.json -------------------------------------------------------------------------------- /examples/cairo0/efficient_secp256r1_ec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/efficient_secp256r1_ec.json -------------------------------------------------------------------------------- /examples/cairo0/example_blake2s.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/example_blake2s.json -------------------------------------------------------------------------------- /examples/cairo0/example_program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/example_program.json -------------------------------------------------------------------------------- /examples/cairo0/factorial.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/factorial.json -------------------------------------------------------------------------------- /examples/cairo0/fast_ec_add_v2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/fast_ec_add_v2.json -------------------------------------------------------------------------------- /examples/cairo0/fast_ec_add_v3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/fast_ec_add_v3.json -------------------------------------------------------------------------------- /examples/cairo0/fibonacci.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/fibonacci.json -------------------------------------------------------------------------------- /examples/cairo0/field_arithmetic.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/field_arithmetic.json -------------------------------------------------------------------------------- /examples/cairo0/finalize_blake2s.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/finalize_blake2s.json -------------------------------------------------------------------------------- /examples/cairo0/finalize_blake2s_v2_hint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/finalize_blake2s_v2_hint.json -------------------------------------------------------------------------------- /examples/cairo0/find_element.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/find_element.json -------------------------------------------------------------------------------- /examples/cairo0/fq.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/fq.json -------------------------------------------------------------------------------- /examples/cairo0/fq_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/fq_test.json -------------------------------------------------------------------------------- /examples/cairo0/function_return.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/function_return.json -------------------------------------------------------------------------------- /examples/cairo0/function_return_if_print.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/function_return_if_print.json -------------------------------------------------------------------------------- /examples/cairo0/function_return_to_variable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/function_return_to_variable.json -------------------------------------------------------------------------------- /examples/cairo0/garaga.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/garaga.json -------------------------------------------------------------------------------- /examples/cairo0/highest_bitlen.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/highest_bitlen.json -------------------------------------------------------------------------------- /examples/cairo0/if_and_prime.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/if_and_prime.json -------------------------------------------------------------------------------- /examples/cairo0/if_in_function.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/if_in_function.json -------------------------------------------------------------------------------- /examples/cairo0/if_list.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/if_list.json -------------------------------------------------------------------------------- /examples/cairo0/if_reloc_equal.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/if_reloc_equal.json -------------------------------------------------------------------------------- /examples/cairo0/integration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/integration.json -------------------------------------------------------------------------------- /examples/cairo0/integration_with_alloc_locals.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/integration_with_alloc_locals.json -------------------------------------------------------------------------------- /examples/cairo0/inv_mod_p_uint512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/inv_mod_p_uint512.json -------------------------------------------------------------------------------- /examples/cairo0/is_quad_residue_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/is_quad_residue_test.json -------------------------------------------------------------------------------- /examples/cairo0/is_zero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/is_zero.json -------------------------------------------------------------------------------- /examples/cairo0/is_zero_pack.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/is_zero_pack.json -------------------------------------------------------------------------------- /examples/cairo0/jmp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/jmp.json -------------------------------------------------------------------------------- /examples/cairo0/jmp_if_condition.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/jmp_if_condition.json -------------------------------------------------------------------------------- /examples/cairo0/keccak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/keccak.json -------------------------------------------------------------------------------- /examples/cairo0/keccak_add_uint256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/keccak_add_uint256.json -------------------------------------------------------------------------------- /examples/cairo0/keccak_alternative_hint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/keccak_alternative_hint.json -------------------------------------------------------------------------------- /examples/cairo0/keccak_builtin.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/keccak_builtin.json -------------------------------------------------------------------------------- /examples/cairo0/keccak_copy_inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/keccak_copy_inputs.json -------------------------------------------------------------------------------- /examples/cairo0/keccak_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/keccak_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/keccak_uint256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/keccak_uint256.json -------------------------------------------------------------------------------- /examples/cairo0/math_cmp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/math_cmp.json -------------------------------------------------------------------------------- /examples/cairo0/math_cmp_and_pow_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/math_cmp_and_pow_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/math_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/math_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/memcpy_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/memcpy_test.json -------------------------------------------------------------------------------- /examples/cairo0/memory_holes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/memory_holes.json -------------------------------------------------------------------------------- /examples/cairo0/memory_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/memory_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/memset.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/memset.json -------------------------------------------------------------------------------- /examples/cairo0/mul_s_inv.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/mul_s_inv.json -------------------------------------------------------------------------------- /examples/cairo0/multiplicative_inverse.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/multiplicative_inverse.json -------------------------------------------------------------------------------- /examples/cairo0/n_bit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/n_bit.json -------------------------------------------------------------------------------- /examples/cairo0/nondet_bigint3_v2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/nondet_bigint3_v2.json -------------------------------------------------------------------------------- /examples/cairo0/normalize_address.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/normalize_address.json -------------------------------------------------------------------------------- /examples/cairo0/not_main.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/not_main.json -------------------------------------------------------------------------------- /examples/cairo0/operations_with_data_structures.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/operations_with_data_structures.json -------------------------------------------------------------------------------- /examples/cairo0/packed_sha256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/packed_sha256.json -------------------------------------------------------------------------------- /examples/cairo0/packed_sha256_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/packed_sha256_test.json -------------------------------------------------------------------------------- /examples/cairo0/pedersen_extra_builtins.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/pedersen_extra_builtins.json -------------------------------------------------------------------------------- /examples/cairo0/pedersen_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/pedersen_test.json -------------------------------------------------------------------------------- /examples/cairo0/pointers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/pointers.json -------------------------------------------------------------------------------- /examples/cairo0/poseidon_builtin.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/poseidon_builtin.json -------------------------------------------------------------------------------- /examples/cairo0/poseidon_hash.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/poseidon_hash.json -------------------------------------------------------------------------------- /examples/cairo0/poseidon_multirun.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/poseidon_multirun.json -------------------------------------------------------------------------------- /examples/cairo0/pow.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/pow.json -------------------------------------------------------------------------------- /examples/cairo0/print.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/print.json -------------------------------------------------------------------------------- /examples/cairo0/recover_y.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/recover_y.json -------------------------------------------------------------------------------- /examples/cairo0/reduce.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/reduce.json -------------------------------------------------------------------------------- /examples/cairo0/relocate_segments.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/relocate_segments.json -------------------------------------------------------------------------------- /examples/cairo0/relocate_segments_with_offset.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/relocate_segments_with_offset.json -------------------------------------------------------------------------------- /examples/cairo0/relocate_temporary_segment_append.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/relocate_temporary_segment_append.json -------------------------------------------------------------------------------- /examples/cairo0/relocate_temporary_segment_into_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/relocate_temporary_segment_into_new.json -------------------------------------------------------------------------------- /examples/cairo0/return.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/return.json -------------------------------------------------------------------------------- /examples/cairo0/reversed_register_instructions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/reversed_register_instructions.json -------------------------------------------------------------------------------- /examples/cairo0/search_sorted_lower.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/search_sorted_lower.json -------------------------------------------------------------------------------- /examples/cairo0/secp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/secp.json -------------------------------------------------------------------------------- /examples/cairo0/secp256r1_div_mod_n.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/secp256r1_div_mod_n.json -------------------------------------------------------------------------------- /examples/cairo0/secp256r1_fast_ec_add.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/secp256r1_fast_ec_add.json -------------------------------------------------------------------------------- /examples/cairo0/secp256r1_slope.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/secp256r1_slope.json -------------------------------------------------------------------------------- /examples/cairo0/secp_ec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/secp_ec.json -------------------------------------------------------------------------------- /examples/cairo0/secp_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/secp_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/set_add.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/set_add.json -------------------------------------------------------------------------------- /examples/cairo0/set_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/set_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/sha256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/sha256.json -------------------------------------------------------------------------------- /examples/cairo0/sha256_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/sha256_test.json -------------------------------------------------------------------------------- /examples/cairo0/signature.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/signature.json -------------------------------------------------------------------------------- /examples/cairo0/signed_div_rem.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/signed_div_rem.json -------------------------------------------------------------------------------- /examples/cairo0/simple_print.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/simple_print.json -------------------------------------------------------------------------------- /examples/cairo0/split_felt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/split_felt.json -------------------------------------------------------------------------------- /examples/cairo0/split_int.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/split_int.json -------------------------------------------------------------------------------- /examples/cairo0/split_int_big.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/split_int_big.json -------------------------------------------------------------------------------- /examples/cairo0/split_xx_hint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/split_xx_hint.json -------------------------------------------------------------------------------- /examples/cairo0/sqrt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/sqrt.json -------------------------------------------------------------------------------- /examples/cairo0/squash_dict.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/squash_dict.json -------------------------------------------------------------------------------- /examples/cairo0/struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/struct.json -------------------------------------------------------------------------------- /examples/cairo0/test_addition_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/test_addition_if.json -------------------------------------------------------------------------------- /examples/cairo0/test_reverse_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/test_reverse_if.json -------------------------------------------------------------------------------- /examples/cairo0/test_subtraction_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/test_subtraction_if.json -------------------------------------------------------------------------------- /examples/cairo0/uint256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/uint256.json -------------------------------------------------------------------------------- /examples/cairo0/uint256_improvements.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/uint256_improvements.json -------------------------------------------------------------------------------- /examples/cairo0/uint256_integration_tests.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/uint256_integration_tests.json -------------------------------------------------------------------------------- /examples/cairo0/uint384.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/uint384.json -------------------------------------------------------------------------------- /examples/cairo0/uint384_extension.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/uint384_extension.json -------------------------------------------------------------------------------- /examples/cairo0/uint384_extension_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/uint384_extension_test.json -------------------------------------------------------------------------------- /examples/cairo0/uint384_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/uint384_test.json -------------------------------------------------------------------------------- /examples/cairo0/unsafe_keccak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/unsafe_keccak.json -------------------------------------------------------------------------------- /examples/cairo0/unsafe_keccak_finalize.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/unsafe_keccak_finalize.json -------------------------------------------------------------------------------- /examples/cairo0/unsigned_div_rem.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/unsigned_div_rem.json -------------------------------------------------------------------------------- /examples/cairo0/use_imported_module.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/use_imported_module.json -------------------------------------------------------------------------------- /examples/cairo0/usort.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/usort.json -------------------------------------------------------------------------------- /examples/cairo0/value_beyond_segment.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/value_beyond_segment.json -------------------------------------------------------------------------------- /examples/cairo0/with_hint/fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/with_hint/fibonacci.cairo -------------------------------------------------------------------------------- /examples/cairo0/with_hint/fibonacci.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/with_hint/fibonacci.json -------------------------------------------------------------------------------- /examples/cairo0/with_hint/fibonacci_hint.json: -------------------------------------------------------------------------------- 1 | { 2 | "fibonacci_claim_index": 10 3 | } -------------------------------------------------------------------------------- /examples/cairo0/with_hint/keccak.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/with_hint/keccak.cairo -------------------------------------------------------------------------------- /examples/cairo0/with_hint/keccak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo0/with_hint/keccak.json -------------------------------------------------------------------------------- /examples/cairo0/with_hint/keccak_hint.json: -------------------------------------------------------------------------------- 1 | { 2 | "iterations": 10 3 | } -------------------------------------------------------------------------------- /examples/cairo_pie/fibonacci_with_output.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/cairo_pie/fibonacci_with_output.zip -------------------------------------------------------------------------------- /examples/dict_with_struct.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/dict_with_struct.cairo -------------------------------------------------------------------------------- /examples/dictionaries.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/dictionaries.cairo -------------------------------------------------------------------------------- /examples/ecdsa_recover.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/ecdsa_recover.cairo -------------------------------------------------------------------------------- /examples/enum_flow.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/enum_flow.cairo -------------------------------------------------------------------------------- /examples/enum_match.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/enum_match.cairo -------------------------------------------------------------------------------- /examples/factorial.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/factorial.cairo -------------------------------------------------------------------------------- /examples/felt_dict.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/felt_dict.cairo -------------------------------------------------------------------------------- /examples/felt_dict_squash.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/felt_dict_squash.cairo -------------------------------------------------------------------------------- /examples/felt_span.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/felt_span.cairo -------------------------------------------------------------------------------- /examples/fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/fibonacci.cairo -------------------------------------------------------------------------------- /examples/hello.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/hello.cairo -------------------------------------------------------------------------------- /examples/null_ret.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/null_ret.cairo -------------------------------------------------------------------------------- /examples/nullable_box_vec.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/nullable_box_vec.cairo -------------------------------------------------------------------------------- /examples/nullable_dict.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/nullable_dict.cairo -------------------------------------------------------------------------------- /examples/ops.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/ops.cairo -------------------------------------------------------------------------------- /examples/pedersen_example.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/pedersen_example.cairo -------------------------------------------------------------------------------- /examples/poseidon.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/poseidon.cairo -------------------------------------------------------------------------------- /examples/poseidon_pedersen.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/poseidon_pedersen.cairo -------------------------------------------------------------------------------- /examples/print.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/print.cairo -------------------------------------------------------------------------------- /examples/recursion.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/recursion.cairo -------------------------------------------------------------------------------- /examples/sample.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/sample.cairo -------------------------------------------------------------------------------- /examples/serialize_felt.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/serialize_felt.cairo -------------------------------------------------------------------------------- /examples/simple.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/simple.cairo -------------------------------------------------------------------------------- /examples/simple_struct.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/simple_struct.cairo -------------------------------------------------------------------------------- /examples/struct_span_return.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/struct_span_return.cairo -------------------------------------------------------------------------------- /examples/tensor_new.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/tensor_new.cairo -------------------------------------------------------------------------------- /examples/with_input/array_input_sum.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/with_input/array_input_sum.cairo -------------------------------------------------------------------------------- /examples/with_input/array_input_sum_input.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/with_input/array_input_sum_input.txt -------------------------------------------------------------------------------- /examples/with_input/array_length.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/with_input/array_length.cairo -------------------------------------------------------------------------------- /examples/with_input/array_length_input.txt: -------------------------------------------------------------------------------- 1 | [4 1 2 3 4 0] -------------------------------------------------------------------------------- /examples/with_input/branching.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/with_input/branching.cairo -------------------------------------------------------------------------------- /examples/with_input/branching_input.txt: -------------------------------------------------------------------------------- 1 | [17] -------------------------------------------------------------------------------- /examples/with_input/dict_with_input.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/with_input/dict_with_input.cairo -------------------------------------------------------------------------------- /examples/with_input/dict_with_input_input.txt: -------------------------------------------------------------------------------- 1 | [17 18] -------------------------------------------------------------------------------- /examples/with_input/tensor.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/with_input/tensor.cairo -------------------------------------------------------------------------------- /examples/with_input/tensor_input.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/examples/with_input/tensor_input.txt -------------------------------------------------------------------------------- /resources/bootloader-0.13.1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/resources/bootloader-0.13.1.json -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/rust-toolchain -------------------------------------------------------------------------------- /src/args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/args.rs -------------------------------------------------------------------------------- /src/bootloader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/bootloader.rs -------------------------------------------------------------------------------- /src/cairo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/cairo.rs -------------------------------------------------------------------------------- /src/fri.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/fri.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/prover.rs -------------------------------------------------------------------------------- /src/prover/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/prover/config.rs -------------------------------------------------------------------------------- /src/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/serialize.rs -------------------------------------------------------------------------------- /src/serialize/vec252.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/serialize/vec252.rs -------------------------------------------------------------------------------- /src/setup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/setup.rs -------------------------------------------------------------------------------- /src/sharp-server.crt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/sharp-server.crt -------------------------------------------------------------------------------- /src/sharp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/sharp.rs -------------------------------------------------------------------------------- /src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/utils.rs -------------------------------------------------------------------------------- /src/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/src/verifier.rs -------------------------------------------------------------------------------- /tests/cli/resources/integrity-programs/cairo0_fibonacci_recursive_builtins.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/cli/resources/integrity-programs/cairo0_fibonacci_recursive_builtins.cairo -------------------------------------------------------------------------------- /tests/cli/resources/integrity-programs/cairo0_fibonacci_recursive_builtins.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/cli/resources/integrity-programs/cairo0_fibonacci_recursive_builtins.json -------------------------------------------------------------------------------- /tests/cli/resources/macos-testing-proofs/bootloader_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/cli/resources/macos-testing-proofs/bootloader_proof.json -------------------------------------------------------------------------------- /tests/cli/resources/macos-testing-proofs/cairo0_fibonacci_recursive_builtins_stone5_keccak_160_lsb.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/cli/resources/macos-testing-proofs/cairo0_fibonacci_recursive_builtins_stone5_keccak_160_lsb.json -------------------------------------------------------------------------------- /tests/cli/resources/macos-testing-proofs/fact_topologies.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/cli/resources/macos-testing-proofs/fact_topologies.json -------------------------------------------------------------------------------- /tests/cli/tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/cli/tests.sh -------------------------------------------------------------------------------- /tests/configs/bootloader_cpu_air_params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/configs/bootloader_cpu_air_params.json -------------------------------------------------------------------------------- /tests/configs/bootloader_cpu_air_params_layout_starknet_with_keccak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/configs/bootloader_cpu_air_params_layout_starknet_with_keccak.json -------------------------------------------------------------------------------- /tests/configs/cpu_air_params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/configs/cpu_air_params.json -------------------------------------------------------------------------------- /tests/configs/cpu_air_prover_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/configs/cpu_air_prover_config.json -------------------------------------------------------------------------------- /tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v5.json -------------------------------------------------------------------------------- /tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v5_serialized.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v5_serialized.json -------------------------------------------------------------------------------- /tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v6.json -------------------------------------------------------------------------------- /tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v6_serialized.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/ethereum/layouts/starknet/bootloader_proof_v6_serialized.json -------------------------------------------------------------------------------- /tests/resources/proofs/macos-testing/fibonacci_cairo0_stone_v5_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/macos-testing/fibonacci_cairo0_stone_v5_proof.json -------------------------------------------------------------------------------- /tests/resources/proofs/macos-testing/fibonacci_cairo0_stone_v6_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/macos-testing/fibonacci_cairo0_stone_v6_proof.json -------------------------------------------------------------------------------- /tests/resources/proofs/macos-testing/fibonacci_cairo1_stone_v5_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/macos-testing/fibonacci_cairo1_stone_v5_proof.json -------------------------------------------------------------------------------- /tests/resources/proofs/macos-testing/fibonacci_cairo1_stone_v6_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/macos-testing/fibonacci_cairo1_stone_v6_proof.json -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/monolith/cairo0_stone5_keccak_160_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/monolith/cairo0_stone5_keccak_160_lsb_example_proof.json -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/monolith/serialized: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/monolith/serialized -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/split/layouts/starknet/cairo0_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/split/layouts/starknet/cairo0_example_proof.json -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/split/layouts/starknet/serialized/final: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/split/layouts/starknet/serialized/final -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/split/layouts/starknet/serialized/initial: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/split/layouts/starknet/serialized/initial -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/split/layouts/starknet/serialized/step1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/split/layouts/starknet/serialized/step1 -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/split/layouts/starknet/serialized/step2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/split/layouts/starknet/serialized/step2 -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/split/layouts/starknet/serialized/step3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/split/layouts/starknet/serialized/step3 -------------------------------------------------------------------------------- /tests/resources/proofs/starknet/split/layouts/starknet/serialized/step4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/resources/proofs/starknet/split/layouts/starknet/serialized/step4 -------------------------------------------------------------------------------- /tests/test_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/test_command.rs -------------------------------------------------------------------------------- /tests/test_run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stone-cli/HEAD/tests/test_run.rs --------------------------------------------------------------------------------