Docs.rs
provekit_nargo_cli-1.0.0-beta.20-alpha.1
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
provekit_nargo_cli 1.0.0-beta.20-alpha.1
Noir's package manager
Crate
Source
Builds
Feature flags
Documentation
..
a_1327_concrete_in_generic
a_1_mul
a_2_div
a_3_add
a_4_sub
a_5_over
a_6
a_6_array
a_7
a_7_function
aes128_encrypt
arithmetic_binary_operations
array_dedup_regression
array_dynamic
array_dynamic_blackbox_input
array_dynamic_main_output
array_dynamic_nested_blackbox_input
array_eq
array_if_cond_simple
array_len
array_neq
array_of_references_in_loop
array_oob_regression_7965
array_oob_regression_7975
array_rc_regression_7842
array_set_not_deduplicated
array_sort
array_to_vector
array_to_vector_constant_length
array_with_refs_from_param
array_with_refs_return
as_str_unchecked_with_broken_bytes
as_witness
assert
assert_statement
assign_ex
bench_2_to_17
bench_ecdsa_secp256k1
binary_operator_overloading
bit_and
bit_not
bit_shifts_comptime
bit_shifts_runtime
bit_shifts_u128
blake3
bool_not
bool_or
break_and_continue
brillig_acir_as_brillig
brillig_array_ifelse
brillig_arrays
brillig_blake2s
brillig_block_parameter_liveness
brillig_calls
brillig_calls_array
brillig_calls_conditionals
brillig_conditional
brillig_constant_reference_regression
brillig_cow
brillig_cow_assign
brillig_cow_regression
brillig_entry_points_regression_8069
brillig_fns_as_values
brillig_identity_function
brillig_large_array
brillig_large_nested_array
brillig_loop_size_regression
brillig_nested_arrays
brillig_not
brillig_pedersen
brillig_rc_regression_6123
brillig_recursion
brillig_recursive_main
brillig_recursive_main_indirect
brillig_uninitialized_arrays
cast_bool
cast_signed_to_u1
cast_to_i8_regression_7776
cast_to_u128
cast_to_u64_regression_7776
cast_to_u8_regression_7776
clone_index_field_dereference
clone_index_object_dereference_1
clone_index_object_dereference_2
closures_mut_ref
comptime_closure_bindings_1
comptime_closure_bindings_2
comptime_generics_binding
comptime_println
comptime_println_fmtstr_with_quoted
comptime_quoted_hash
comptime_trait_constraint_hash_and_eq
comptime_variable_at_runtime
conditional_1
conditional_2
conditional_regression_421
conditional_regression_547
conditional_regression_661
conditional_regression_short_circuit
conditional_regression_underflow
conditional_vector_insert_at_end_of_vector
custom_entry
databus
databus_composite_calldata
databus_two_calldata
databus_two_calldata_simple
debug_logs
debug_name_no_conflict
derive
diamond_deps_0
division_by_max
do_not_capture_comptime_locals
dont_deduplicate_call
double_neg_cond_bool_input
double_neg_cond_global_var
dual_constrained_lambdas
ecdsa_secp256k1
ecdsa_secp256k1_invalid_inputs
ecdsa_secp256k1_invalid_pub_key_in_inactive_branch
ecdsa_secp256k1_msg_equals_order
ecdsa_secp256r1
ecdsa_secp256r1_3x
ecdsa_secp256r1_high_s
ecdsa_secp256r1_invalid_pub_key_in_inactive_branch
ecdsa_secp256r1_msg_equals_order
embedded_curve_ops
empty_strings_in_composite_arrays
encrypted_log_regression
field_attribute
fmtstr_with_global
fold_2_to_17
fold_after_inlined_calls
fold_basic
fold_basic_nested_call
fold_call_witness_condition
fold_complex_outputs
fold_distinct_return
fold_fibonacci
fold_numeric_generic_poseidon
for_loop_inclusive_empty_range
for_loop_inclusive_u8_max
for_loop_inclusive_with_break
function_ref
generics
global_array_rc_regression_8259
global_consts
global_nested_array_call_arg_regression
global_nested_array_regression_9270
global_var_entry_point_used_in_another_entry
global_var_func_with_multiple_entry_points
global_var_multiple_entry_points_nested
global_var_regression_entry_points
global_var_regression_simple
global_vector_rc_regression_8259
higher_order_functions
hint_black_box
if_else_chain
immutable_ref_to_unconstrained
import
inactive_signed_bitshift
inline_decompose_hint_brillig_call
inline_never_basic
integer_array_indexing
lambda_env_is_copied
lambda_from_array
lambda_from_dynamic_if
lambda_from_global_array
lambda_from_global_tuple
lambda_taking_lambda_regression_8543
lambda_taking_lambda_with_variant
last_uses_regression_8935
local_module_does_not_conflict_with_debugger
loop
loop_break_regression_8319
loop_carried_aliases
loop_invariant_nested_deep
loop_invariant_regression
loop_invariant_regression_8586
loop_small_break
main_bool_arg
main_return
merkle_insert
missing_closure_env
modules
modules_more
modulus
multi_scalar_mul
mutate_array_copy
negated_jmpif_condition
negative_associated_constants
nested_array_call_arg_regression
nested_array_dynamic
nested_array_dynamic_simple
nested_array_in_vector
nested_array_with_refs
nested_array_with_refs_from_param
nested_array_with_refs_return
nested_arrays_from_brillig
nested_dyn_array_regression_5782
nested_fmtstr
nested_if_then_block_same_cond
nested_vector_last_index_access_post_insert
nested_vector_pop_back
nested_vector_pop_front_return
nested_vector_push_front_return
nested_vector_return
no_predicates_basic
no_predicates_brillig
no_predicates_numeric_generic_poseidon
numeric_type_alias
op_assign_desugaring
overlapping_dep_and_mod
pedersen_check
pedersen_commitment
pedersen_hash
poseidon_bn254_hash_width_3
poseidonsponge_x5_254
pred_eq
primitive_type_alias_method
print_composite_array
reference_alias_in_array
reference_cancelling
reference_counts_inliner_0
reference_counts_inliner_max
reference_counts_inliner_min
reference_counts_vectors_inliner_0
reference_only_used_as_alias
references
regression_10008
regression_10141
regression_10156
regression_10158
regression_10170
regression_10180
regression_10197
regression_10198
regression_10307
regression_10446
regression_10452
regression_10466
regression_10516
regression_10690
regression_10917
regression_10923
regression_10975
regression_10977
regression_11048
regression_11134
regression_11294
regression_11402
regression_11440
regression_1144_1169_2399_6609
regression_11463
regression_11484
regression_11540
regression_11659
regression_11889
regression_12034
regression_12149
regression_2660
regression_3051
regression_3394
regression_3607
regression_3889
regression_4088
regression_4124
regression_4202
regression_4449
regression_4663
regression_4709
regression_5045
regression_5252
regression_5435
regression_5615
regression_6285
regression_6451
regression_6674_1
regression_6674_2
regression_6674_3
regression_6734
regression_6834
regression_6990
regression_7062
regression_7128
regression_7143
regression_7195
regression_7323
regression_7451
regression_7612
regression_7744
regression_7836
regression_7962
regression_8009
regression_8011
regression_8174
regression_8212
regression_8235
regression_8236
regression_8261
regression_8305
regression_8329
regression_8519
regression_8558
regression_8662
regression_8726
regression_8729
regression_8739
regression_8755
regression_8761
regression_8779
regression_8874
regression_8890
regression_8926
regression_8975
regression_8980
regression_9037
regression_9047
regression_9102
regression_9116
regression_9119
regression_9160
regression_9193
regression_9206
regression_9208
regression_9243
regression_9271
regression_9294
regression_9303
regression_9312
regression_9329
regression_9415
regression_9439
regression_9455
regression_9467
regression_9496
regression_9538
regression_9541
regression_9544
regression_9546
regression_9578
regression_9593
regression_9594
regression_9657
regression_9725_1
regression_9725_2
regression_9758
regression_9764
regression_9804
regression_9860
regression_9888
regression_9907
regression_9971
regression_brillig_const_fold_self_dedup
regression_brillig_ref_deref_crash
regression_capacity_tracker
regression_dominated_truncate
regression_inner_if_else_collapse
regression_licm_induction_var
regression_loop_unroll_header_instructions
regression_mem2reg_make_array_of_refs
regression_mem2reg_unknown_array_aliases
regression_mem_op_predicate
regression_method_cannot_be_found
regression_struct_array_conditional
regression_truncate_unchecked_sub
regression_unroll_body_break
regression_unsafe_no_predicates
regression_unused_nested_array_get
return_twice
shift_left_rhs_value_casted_from_smaller_type
shift_right_overflow
shl_signed_regression_9661
side_effects_constrain_array
signed_arithmetic
signed_bitshift
signed_cmp
signed_comparison
signed_div
signed_division
signed_inactive_division_by_zero
signed_integer_or_max
signed_overflow_in_else_regression_8617
signed_truncation
simple_2d_array
simple_add_and_ret_arr
simple_array_param
simple_bitwise
simple_comparison
simple_mut
simple_not
simple_print
simple_program_addition
simple_radix
simple_shield
simple_shift_left_right
static_assert_empty_loop
strings
struct
struct_array_inputs
struct_assignment_with_shared_ref_to_field
struct_fields_ordering
struct_inputs
submodules
to_be_bytes
to_bytes_consistent
to_bytes_integration
to_le_bytes
trait_as_return_type
trait_associated_constant
trait_impl_base_type
traits_in_crates_1
traits_in_crates_2
tuple_inputs
tuples
type_aliases
u128_type
u16_support
uhashmap
unary_operator_overloading
unroll_loop_regression
unrolling_regression_8333
unsafe_range_constraint
unsigned_to_signed_cast
vector_coercion
vector_dynamic_index
vector_dynamic_insert
vector_insert_empty_oob
vector_insert_oob
vector_insert_oob_invalid_pred
vector_loop
vector_pop_back_oob_invalid_pred
vector_pop_back_simplify
vector_pop_front_oob_invalid_pred
vector_push_back_remove_if_else_bug
vector_regex
vector_remove_oob_invalid_pred
vectors
while_cond_clone_regression
while_loop_break_regression_8521
wildcard_type
witness_compression
workspace
workspace_default_member
wrapping_operations
xor