fix slice assignment for strings

Cargo.toml

@@ -70,22 +70,22 @@ path = "./synthesizer"
 version = "1.5.0"
 
 [dependencies.snarkvm-algorithms]
-version = "0.3.1"
+version = "0.5.4"
 
 [dependencies.snarkvm-curves]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-gadgets]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-r1cs]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-utilities]
-version = "0.3.1"
+version = "0.5.4"
 
 [dependencies.anyhow]
 version = "1.0"

ast/src/reducer/canonicalization.rs

@@ -602,6 +602,12 @@ impl ReconstructingReducer for Canonicalizer {
                     span: assign.span.clone(),
                 })
             }
+            Expression::ArrayInline(_) => Ok(AssignStatement {
+                operation: AssignOperation::Assign,
+                assignee,
+                value,
+                span: assign.span.clone(),
+            }),
             _ => Ok(assign.clone()),
         }
     }

compiler/Cargo.toml

@@ -57,27 +57,27 @@ version = "1.5.0"
 version = "0.4"
 
 [dependencies.snarkvm-curves]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-fields]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-dpc]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-gadgets]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-r1cs]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dependencies.snarkvm-utilities]
-version = "0.3.1"
+version = "0.5.4"
 
 [dependencies.bincode]
 version = "1.3"
@@ -118,7 +118,7 @@ version = "0.3"
 default-features = false
 
 [dev-dependencies.snarkvm-algorithms]
-version = "0.3.1"
+version = "0.5.4"
 default-features = false
 
 [dev-dependencies.tempfile]

compiler/src/compiler.rs

@@ -32,7 +32,7 @@ use leo_package::inputs::InputPairs;
 use leo_parser::parse_ast;
 use leo_state::verify_local_data_commitment;
 
-use snarkvm_dpc::{base_dpc::instantiated::Components, SystemParameters};
+use snarkvm_dpc::testnet1::{instantiated::Components, parameters::SystemParameters};
 use snarkvm_fields::PrimeField;
 use snarkvm_r1cs::{ConstraintSynthesizer, ConstraintSystem, SynthesisError};
 

compiler/src/console/assert.rs

@@ -26,7 +26,7 @@ use crate::{
 use leo_asg::{Expression, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/console/console.rs

@@ -20,7 +20,7 @@ use crate::{errors::ConsoleError, program::ConstrainedProgram, statement::get_in
 use leo_asg::{ConsoleFunction, ConsoleStatement};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/expression/array/access.rs

@@ -29,7 +29,7 @@ use crate::{
 use leo_asg::{ConstInt, Expression, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::{
+use snarkvm_gadgets::{
     boolean::Boolean,
     eq::{EqGadget, EvaluateEqGadget},
     select::CondSelectGadget,

compiler/src/expression/conditional/conditional.rs

@@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, program::ConstrainedProgram, value::Constra
 use leo_asg::{Expression, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::select::CondSelectGadget;
+use snarkvm_gadgets::traits::select::CondSelectGadget;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/expression/expression.rs

@@ -30,7 +30,7 @@ use crate::{
 use leo_asg::{expression::*, ConstValue, Expression, Node, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/expression/logical/and.rs

@@ -20,7 +20,7 @@ use crate::{errors::BooleanError, value::ConstrainedValue, GroupType};
 use leo_asg::Span;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 pub fn enforce_and<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(

compiler/src/expression/logical/or.rs

@@ -20,7 +20,7 @@ use crate::{errors::BooleanError, value::ConstrainedValue, GroupType};
 use leo_asg::Span;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 pub fn enforce_or<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(

compiler/src/expression/relational/eq.rs

@@ -20,7 +20,7 @@ use crate::{enforce_and, errors::ExpressionError, value::ConstrainedValue, Group
 use leo_asg::Span;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::{boolean::Boolean, eq::EvaluateEqGadget};
+use snarkvm_gadgets::{boolean::Boolean, eq::EvaluateEqGadget};
 use snarkvm_r1cs::ConstraintSystem;
 
 pub fn evaluate_eq<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(

compiler/src/expression/relational/ge.rs

@@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
 use leo_asg::Span;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::bits::ComparatorGadget;
+use snarkvm_gadgets::traits::bits::ComparatorGadget;
 use snarkvm_r1cs::ConstraintSystem;
 
 pub fn evaluate_ge<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(

compiler/src/expression/relational/gt.rs

@@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
 use leo_asg::Span;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::bits::ComparatorGadget;
+use snarkvm_gadgets::traits::bits::ComparatorGadget;
 use snarkvm_r1cs::ConstraintSystem;
 
 pub fn evaluate_gt<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(

compiler/src/expression/relational/le.rs

@@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
 use leo_asg::Span;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::bits::ComparatorGadget;
+use snarkvm_gadgets::traits::bits::ComparatorGadget;
 use snarkvm_r1cs::ConstraintSystem;
 
 pub fn evaluate_le<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(

compiler/src/expression/relational/lt.rs

@@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
 use leo_asg::Span;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::bits::EvaluateLtGadget;
+use snarkvm_gadgets::traits::bits::EvaluateLtGadget;
 use snarkvm_r1cs::ConstraintSystem;
 
 pub fn evaluate_lt<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(

compiler/src/function/function.rs

@@ -22,7 +22,7 @@ use leo_asg::{Expression, Function, FunctionQualifier};
 use std::cell::Cell;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/function/input/main_function_input.rs

@@ -36,7 +36,7 @@ use leo_asg::{ConstInt, Type};
 use leo_ast::{InputValue, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/function/mut_target.rs

@@ -33,7 +33,7 @@ use leo_asg::{
 };
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/function/result/result.rs

@@ -27,7 +27,7 @@ use crate::{
 use leo_asg::{Span, Type};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::{boolean::Boolean, select::CondSelectGadget};
+use snarkvm_gadgets::{boolean::Boolean, select::CondSelectGadget};
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/prelude/blake2s.rs

@@ -17,13 +17,13 @@
 use super::CoreCircuit;
 use crate::{errors::ExpressionError, ConstrainedValue, GroupType, Integer};
 use leo_asg::{Function, Span};
+
 use snarkvm_fields::PrimeField;
 use snarkvm_gadgets::{
     algorithms::prf::Blake2sGadget,
-    traits::{
-        algorithms::PRFGadget,
-        utilities::{uint::UInt8, ToBytesGadget},
-    },
+    bits::ToBytesGadget,
+    integers::uint::UInt8,
+    traits::algorithms::PRFGadget,
 };
 use snarkvm_r1cs::ConstraintSystem;
 

compiler/src/statement/assign/assign.rs

@@ -20,7 +20,7 @@ use crate::{arithmetic::*, errors::StatementError, program::ConstrainedProgram,
 use leo_asg::{AssignOperation, AssignStatement, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::{boolean::Boolean, select::CondSelectGadget};
+use snarkvm_gadgets::{boolean::Boolean, traits::select::CondSelectGadget};
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/statement/assign/assignee/array_index.rs

@@ -28,7 +28,7 @@ use crate::{
 use leo_asg::{ConstInt, Expression, Node};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::{eq::EvaluateEqGadget, select::CondSelectGadget};
+use snarkvm_gadgets::{eq::EvaluateEqGadget, select::CondSelectGadget};
 use snarkvm_r1cs::ConstraintSystem;
 
 use super::ResolverContext;

compiler/src/statement/assign/assignee/mod.rs

@@ -20,7 +20,7 @@ use crate::{errors::StatementError, program::ConstrainedProgram, value::Constrai
 use leo_asg::{AssignAccess, AssignOperation, AssignStatement, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 mod array_index;

compiler/src/statement/block/block.rs

@@ -20,7 +20,7 @@ use crate::{program::ConstrainedProgram, GroupType, IndicatorAndConstrainedValue
 use leo_asg::BlockStatement;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/statement/conditional/conditional.rs

@@ -27,7 +27,7 @@ use crate::{
 use leo_asg::ConditionalStatement;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 fn indicator_to_string(indicator: &Boolean) -> String {

compiler/src/statement/iteration/iteration.rs

@@ -29,7 +29,7 @@ use crate::{
 use leo_asg::IterationStatement;
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::{boolean::Boolean, uint::UInt32};
+use snarkvm_gadgets::{boolean::Boolean, integers::uint::UInt32};
 use snarkvm_r1cs::ConstraintSystem;
 
 impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {

compiler/src/statement/statement.rs

@@ -20,7 +20,7 @@ use crate::{errors::StatementError, program::ConstrainedProgram, value::Constrai
 use leo_asg::{Node, Statement};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::boolean::Boolean;
+use snarkvm_gadgets::boolean::Boolean;
 use snarkvm_r1cs::ConstraintSystem;
 
 pub type StatementResult<T> = Result<T, StatementError>;

compiler/src/value/address/address.rs

@@ -17,14 +17,16 @@
 use crate::{errors::AddressError, ConstrainedValue, GroupType, IntegerTrait};
 use leo_ast::{InputValue, Span};
 
-use snarkvm_dpc::{account::AccountAddress, base_dpc::instantiated::Components};
+use snarkvm_dpc::{account::AccountAddress, testnet1::instantiated::Components};
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::{
-    alloc::AllocGadget,
+use snarkvm_gadgets::{
     boolean::Boolean,
-    eq::{ConditionalEqGadget, EqGadget, EvaluateEqGadget},
-    select::CondSelectGadget,
-    uint::UInt8,
+    integers::uint::UInt8,
+    traits::{
+        alloc::AllocGadget,
+        eq::{ConditionalEqGadget, EqGadget, EvaluateEqGadget},
+        select::CondSelectGadget,
+    },
 };
 use snarkvm_r1cs::{Assignment, ConstraintSystem, SynthesisError};
 use snarkvm_utilities::ToBytes;

compiler/src/value/boolean/input.rs

@@ -20,7 +20,7 @@ use crate::{errors::BooleanError, value::ConstrainedValue, GroupType};
 use leo_ast::{InputValue, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::{alloc::AllocGadget, boolean::Boolean};
+use snarkvm_gadgets::{boolean::Boolean, traits::alloc::AllocGadget};
 use snarkvm_r1cs::{ConstraintSystem, SynthesisError};
 
 pub(crate) fn allocate_bool<F: PrimeField, CS: ConstraintSystem<F>>(

compiler/src/value/char/char.rs

@@ -23,11 +23,11 @@ use crate::{
 
 use leo_ast::{InputValue, Span};
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::utilities::{
-    bits::comparator::{ComparatorGadget, EvaluateLtGadget},
+use snarkvm_gadgets::{
     boolean::Boolean,
     eq::{ConditionalEqGadget, EqGadget, EvaluateEqGadget, NEqGadget},
     select::CondSelectGadget,
+    traits::bits::comparator::{ComparatorGadget, EvaluateLtGadget},
 };
 use snarkvm_r1cs::{ConstraintSystem, SynthesisError};
 

compiler/src/value/field/field_type.rs

@@ -21,19 +21,16 @@ use leo_ast::Span;
 
 use snarkvm_fields::PrimeField;
 use snarkvm_gadgets::{
+    bits::{ToBitsBEGadget, ToBytesGadget},
+    boolean::Boolean,
     fields::FpGadget,
+    integers::uint::UInt8,
     traits::{
+        alloc::AllocGadget,
+        bits::comparator::{ComparatorGadget, EvaluateLtGadget},
+        eq::{ConditionalEqGadget, EqGadget, EvaluateEqGadget, NEqGadget},
         fields::FieldGadget,
-        utilities::{
-            alloc::AllocGadget,
-            bits::comparator::{ComparatorGadget, EvaluateLtGadget},
-            boolean::Boolean,
-            eq::{ConditionalEqGadget, EqGadget, EvaluateEqGadget, NEqGadget},
-            select::CondSelectGadget,
-            uint::UInt8,
-            ToBitsBEGadget,
-            ToBytesGadget,
-        },
+        select::CondSelectGadget,
     },
 };
 use snarkvm_r1cs::{ConstraintSystem, SynthesisError};

compiler/src/value/field/input.rs

@@ -20,7 +20,7 @@ use crate::{errors::FieldError, number_string_typing, value::ConstrainedValue, F
 use leo_ast::{InputValue, Span};
 
 use snarkvm_fields::PrimeField;
-use snarkvm_gadgets::traits::utilities::alloc::AllocGadget;
+use snarkvm_gadgets::traits::alloc::AllocGadget;
 use snarkvm_r1cs::{ConstraintSystem, SynthesisError};
 
 pub(crate) fn allocate_field<F: PrimeField, CS: ConstraintSystem<F>>(