tasm-lib-2.0.0
Platform
Feature flags

docs.rs

Rust

tasm-lib 2.0.0

Code snippets for Triton VM assembly with tests and statistics.

Crate
Source
Builds
Feature flags

..
fibo_test.json
tasm_lib_mmr_verify_mmr_successor.json
tasmlib_arithmetic_bfe_primitive_root_of_unity.json
tasmlib_arithmetic_i128_lt.json
tasmlib_arithmetic_i128_shift_right.json
tasmlib_arithmetic_u128_lt.json
tasmlib_arithmetic_u128_overflowing_add.json
tasmlib_arithmetic_u128_safe_add.json
tasmlib_arithmetic_u128_safe_mul.json
tasmlib_arithmetic_u128_shift_left.json
tasmlib_arithmetic_u128_shift_left_static_5.json
tasmlib_arithmetic_u128_shift_right.json
tasmlib_arithmetic_u128_shift_right_static_5.json
tasmlib_arithmetic_u128_sub.json
tasmlib_arithmetic_u160_div_mod.json
tasmlib_arithmetic_u160_lt.json
tasmlib_arithmetic_u160_safe_add.json
tasmlib_arithmetic_u160_safe_mul.json
tasmlib_arithmetic_u192_safe_add.json
tasmlib_arithmetic_u32_is_odd.json
tasmlib_arithmetic_u32_is_u32.json
tasmlib_arithmetic_u32_leading_zeros.json
tasmlib_arithmetic_u32_next_power_of_two.json
tasmlib_arithmetic_u32_or.json
tasmlib_arithmetic_u32_overflowing_add.json
tasmlib_arithmetic_u32_safe_add.json
tasmlib_arithmetic_u32_safe_mul.json
tasmlib_arithmetic_u32_safe_pow.json
tasmlib_arithmetic_u32_safe_sub.json
tasmlib_arithmetic_u32_shift_left.json
tasmlib_arithmetic_u32_shift_right.json
tasmlib_arithmetic_u32_trailing_zeros.json
tasmlib_arithmetic_u64_add.json
tasmlib_arithmetic_u64_and.json
tasmlib_arithmetic_u64_decr.json
tasmlib_arithmetic_u64_div2.json
tasmlib_arithmetic_u64_div_mod.json
tasmlib_arithmetic_u64_eq.json
tasmlib_arithmetic_u64_incr.json
tasmlib_arithmetic_u64_leading_zeros.json
tasmlib_arithmetic_u64_log_2_floor.json
tasmlib_arithmetic_u64_lt.json
tasmlib_arithmetic_u64_lt_preserve_args.json
tasmlib_arithmetic_u64_mul_two_u64s_to_u128_u64.json
tasmlib_arithmetic_u64_or.json
tasmlib_arithmetic_u64_overflowing_add.json
tasmlib_arithmetic_u64_overflowing_sub.json
tasmlib_arithmetic_u64_popcount.json
tasmlib_arithmetic_u64_pow2.json
tasmlib_arithmetic_u64_pow2_double.json
tasmlib_arithmetic_u64_safe_mul.json
tasmlib_arithmetic_u64_shift_left.json
tasmlib_arithmetic_u64_shift_right.json
tasmlib_arithmetic_u64_sub.json
tasmlib_arithmetic_u64_trailing_zeros.json
tasmlib_arithmetic_u64_wrapping_mul.json
tasmlib_arithmetic_u64_wrapping_sub.json
tasmlib_arithmetic_u64_xor.json
tasmlib_arithmetic_xfe_cube.json
tasmlib_arithmetic_xfe_mod_pow_u32.json
tasmlib_arithmetic_xfe_square.json
tasmlib_arithmetic_xfe_to_the_fourth.json
tasmlib_arithmetic_xfe_to_the_power_of_power_of_2.json
tasmlib_array_horner_evaluation_with_100_coefficients.json
tasmlib_array_horner_evaluation_with_587_coefficients.json
tasmlib_array_inner_product_of_100_xfes.json
tasmlib_array_inner_product_of_200_xfes.json
tasmlib_array_inner_product_of_467_xfes.json
tasmlib_array_inner_product_of_596_xfes.json
tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_mainrowelem.json
tasmlib_array_inner_product_of_three_rows_with_weights_Xfe_mainrowelem.json
tasmlib_array_sum_of_100_bfes.json
tasmlib_array_sum_of_100_xfes.json
tasmlib_array_sum_of_200_bfes.json
tasmlib_array_sum_of_200_xfes.json
tasmlib_hashing_absorb_multiple.json
tasmlib_hashing_absorb_multiple_static_size_102.json
tasmlib_hashing_absorb_multiple_static_size_2002.json
tasmlib_hashing_absorb_multiple_static_size_400.json
tasmlib_hashing_algebraic_hasher_hash_static_size_1000.json
tasmlib_hashing_algebraic_hasher_hash_static_size_12.json
tasmlib_hashing_algebraic_hasher_hash_static_size_249.json
tasmlib_hashing_algebraic_hasher_hash_static_size_356.json
tasmlib_hashing_algebraic_hasher_hash_varlen.json
tasmlib_hashing_algebraic_hasher_sample_indices.json
tasmlib_hashing_algebraic_hasher_sample_scalars.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_dyn_malloc_10.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_dyn_malloc_100.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_dyn_malloc_63.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_k_malloc10.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_k_malloc100.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_k_malloc63.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_static_pointer_100_18446744056529682432.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_static_pointer_10_18446744056529682432.json
tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_static_pointer_63_18446744056529682432.json
tasmlib_hashing_eq_digest.json
tasmlib_hashing_hash_from_stack___bfe.json
tasmlib_hashing_hash_from_stack___digest.json
tasmlib_hashing_lt_digest.json
tasmlib_hashing_merkle_root.json
tasmlib_hashing_merkle_root_from_xfes.json
tasmlib_hashing_merkle_root_from_xfes_static_size_1024_at_18446744068340842496.json
tasmlib_hashing_merkle_root_from_xfes_static_size_512_at_18446744068340842496.json
tasmlib_hashing_merkle_root_from_xfes_wrapper.json
tasmlib_hashing_merkle_root_static_size_1024_at_0.json
tasmlib_hashing_merkle_root_static_size_512_at_0.json
tasmlib_hashing_merkle_step_mem_u64_index.json
tasmlib_hashing_merkle_step_u64_index.json
tasmlib_hashing_merkle_verify.json
tasmlib_hashing_reverse_digest.json
tasmlib_hashing_sponge_hasher_absorb.json
tasmlib_hashing_sponge_hasher_init.json
tasmlib_hashing_sponge_hasher_squeeze.json
tasmlib_hashing_squeeze_repeatedly.json
tasmlib_hashing_squeeze_repeatedly_static_number_10.json
tasmlib_hashing_squeeze_repeatedly_static_number_200.json
tasmlib_hashing_swap_digest.json
tasmlib_io_read_stdin___digest.json
tasmlib_io_write_to_stdout___digest.json
tasmlib_list_contains___digest.json
tasmlib_list_contains___u64.json
tasmlib_list_contiguous_list_get_length.json
tasmlib_list_contiguous_list_get_pointer_list.json
tasmlib_list_get_element___digest.json
tasmlib_list_higher_order_u32_all_test_hash_xfield_element_lsb.json
tasmlib_list_higher_order_u32_filter_test_hash_xfield_element_lsb.json
tasmlib_list_higher_order_u32_map_dyn_length_elements.json
tasmlib_list_higher_order_u32_map_test_hash_xfield_element.json
tasmlib_list_higher_order_u32_zip_xfe_with_digest.json
tasmlib_list_horner_evaluation_dynamic_length.json
tasmlib_list_length.json
tasmlib_list_multiset_equality_digests.json
tasmlib_list_multiset_equality_u64s.json
tasmlib_list_new.json
tasmlib_list_pop___digest.json
tasmlib_list_push___digest.json
tasmlib_list_range.json
tasmlib_list_set_element___digest.json
tasmlib_list_set_length.json
tasmlib_list_split_off_xfe.json
tasmlib_list_sum_bfe.json
tasmlib_list_sum_xfe.json
tasmlib_list_swap_xfe.json
tasmlib_memory_dyn_malloc.json
tasmlib_memory_memcpy.json
tasmlib_memory_push_ram_to_stack___digest.json
tasmlib_mmr_bag_peaks.json
tasmlib_mmr_calculate_new_peaks_from_append.json
tasmlib_mmr_calculate_new_peaks_from_leaf_mutation.json
tasmlib_mmr_leaf_index_to_mt_index_and_peak_index.json
tasmlib_mmr_verify_from_memory.json
tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack.json
tasmlib_mmr_verify_from_secret_in_secret_leaf_index.json
tasmlib_neptune_mutator_get_swbf_indices_1048576_45.json
tasmlib_neptune_mutator_set_commit.json
tasmlib_other_bfe_add.json
tasmlib_structure_verify_nd_si_integrity___ProofCollectionLookalike.json
tasmlib_structure_verify_nd_si_integrity___TransactionKernelLookalike.json
tasmlib_test_compare_Bfe.json
tasmlib_test_compare_Digest.json
tasmlib_verifier_challenges_new_empty_input_and_output_59_4.json
tasmlib_verifier_challenges_new_generic_dyn_claim_59_4.json
tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim.json
tasmlib_verifier_collinearity_check_x.json
tasmlib_verifier_eval_arg_compute_terminal_const_sized_dynamic_symbols_reversed_sym_len_100.json
tasmlib_verifier_eval_arg_compute_terminal_const_sized_dynamic_symbols_reversed_sym_len_256.json
tasmlib_verifier_eval_arg_compute_terminal_const_sized_dynamic_symbols_reversed_sym_len_30.json
tasmlib_verifier_eval_arg_compute_terminal_const_sized_dynamic_symbols_reversed_sym_len_5.json
tasmlib_verifier_eval_arg_compute_terminal_const_sized_static_symbols_symbol_count_256_15758478658178208130.json
tasmlib_verifier_eval_arg_compute_terminal_dyn_sized_dynamic_symbols.json
tasmlib_verifier_eval_arg_compute_terminal_from_digest.json
tasmlib_verifier_fri_barycentric_evaluation.json
tasmlib_verifier_fri_collinear_y_xfe.json
tasmlib_verifier_fri_verify.json
tasmlib_verifier_fri_verify_fri_authentication_paths.json
tasmlib_verifier_master_table_air_constraint_evaluation.json
tasmlib_verifier_master_table_divide_out_zerofiers.json
tasmlib_verifier_master_table_verify_Aux_table_rows.json
tasmlib_verifier_master_table_verify_Main_table_rows.json
tasmlib_verifier_master_table_verify_Quotient_table_rows.json
tasmlib_verifier_out_of_domain_points.json
tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4.json
tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4.json
tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4.json
tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4.json
tasmlib_verifier_vm_proof_iter_drop.json
tasmlib_verifier_xfe_ntt.json