succinctlabs
diff --git a/‎Cargo.lock
Lines changed: 22 additions & 22 deletions b/‎Cargo.lock
Lines changed: 22 additions & 22 deletions
diff --git a/‎Cargo.toml
Lines changed: 2 additions & 2 deletions b/‎Cargo.toml
Lines changed: 2 additions & 2 deletions
diff --git a/‎README.md
Lines changed: 6 additions & 6 deletions b/‎README.md
Lines changed: 6 additions & 6 deletions
diff --git a/‎curta/Cargo.toml renamed to ‎starkyx/Cargo.toml
Lines changed: 1 addition & 1 deletion b/‎curta/Cargo.toml renamed to ‎starkyx/Cargo.toml
Lines changed: 1 addition & 1 deletion
diff --git a/‎curta/src/air/curta_air.rs renamed to ‎starkyx/src/air/curta_air.rs b/‎curta/src/air/curta_air.rs renamed to ‎starkyx/src/air/curta_air.rs
diff --git a/‎curta/src/air/extension/cubic.rs renamed to ‎starkyx/src/air/extension/cubic.rs b/‎curta/src/air/extension/cubic.rs renamed to ‎starkyx/src/air/extension/cubic.rs
diff --git a/‎curta/src/air/extension/mod.rs renamed to ‎starkyx/src/air/extension/mod.rs b/‎curta/src/air/extension/mod.rs renamed to ‎starkyx/src/air/extension/mod.rs
diff --git a/‎curta/src/air/fibonacci.rs renamed to ‎starkyx/src/air/fibonacci.rs b/‎curta/src/air/fibonacci.rs renamed to ‎starkyx/src/air/fibonacci.rs
diff --git a/‎curta/src/air/mod.rs renamed to ‎starkyx/src/air/mod.rs b/‎curta/src/air/mod.rs renamed to ‎starkyx/src/air/mod.rs
diff --git a/‎curta/src/air/opening.rs renamed to ‎starkyx/src/air/opening.rs b/‎curta/src/air/opening.rs renamed to ‎starkyx/src/air/opening.rs
diff --git a/‎curta/src/air/parser.rs renamed to ‎starkyx/src/air/parser.rs b/‎curta/src/air/parser.rs renamed to ‎starkyx/src/air/parser.rs
diff --git a/‎curta/src/chip/air.rs renamed to ‎starkyx/src/chip/air.rs b/‎curta/src/chip/air.rs renamed to ‎starkyx/src/chip/air.rs
diff --git a/‎curta/src/chip/arithmetic/expression.rs renamed to ‎starkyx/src/chip/arithmetic/expression.rs b/‎curta/src/chip/arithmetic/expression.rs renamed to ‎starkyx/src/chip/arithmetic/expression.rs
diff --git a/‎curta/src/chip/arithmetic/expression_slice.rs renamed to ‎starkyx/src/chip/arithmetic/expression_slice.rs b/‎curta/src/chip/arithmetic/expression_slice.rs renamed to ‎starkyx/src/chip/arithmetic/expression_slice.rs
diff --git a/‎curta/src/chip/arithmetic/mod.rs renamed to ‎starkyx/src/chip/arithmetic/mod.rs b/‎curta/src/chip/arithmetic/mod.rs renamed to ‎starkyx/src/chip/arithmetic/mod.rs
diff --git a/‎curta/src/chip/bool.rs renamed to ‎starkyx/src/chip/bool.rs b/‎curta/src/chip/bool.rs renamed to ‎starkyx/src/chip/bool.rs
diff --git a/‎curta/src/chip/builder/arithmetic.rs renamed to ‎starkyx/src/chip/builder/arithmetic.rs b/‎curta/src/chip/builder/arithmetic.rs renamed to ‎starkyx/src/chip/builder/arithmetic.rs
diff --git a/‎curta/src/chip/builder/memory.rs renamed to ‎starkyx/src/chip/builder/memory.rs b/‎curta/src/chip/builder/memory.rs renamed to ‎starkyx/src/chip/builder/memory.rs
diff --git a/‎curta/src/chip/builder/mod.rs renamed to ‎starkyx/src/chip/builder/mod.rs b/‎curta/src/chip/builder/mod.rs renamed to ‎starkyx/src/chip/builder/mod.rs
diff --git a/‎curta/src/chip/builder/range_check.rs renamed to ‎starkyx/src/chip/builder/range_check.rs b/‎curta/src/chip/builder/range_check.rs renamed to ‎starkyx/src/chip/builder/range_check.rs
diff --git a/‎curta/src/chip/builder/shared_memory.rs renamed to ‎starkyx/src/chip/builder/shared_memory.rs b/‎curta/src/chip/builder/shared_memory.rs renamed to ‎starkyx/src/chip/builder/shared_memory.rs
diff --git a/‎curta/src/chip/constraint/mod.rs renamed to ‎starkyx/src/chip/constraint/mod.rs b/‎curta/src/chip/constraint/mod.rs renamed to ‎starkyx/src/chip/constraint/mod.rs
diff --git a/‎curta/src/chip/ec/edwards/add.rs renamed to ‎starkyx/src/chip/ec/edwards/add.rs b/‎curta/src/chip/ec/edwards/add.rs renamed to ‎starkyx/src/chip/ec/edwards/add.rs
diff --git a/‎curta/src/chip/ec/edwards/assert_valid.rs renamed to ‎starkyx/src/chip/ec/edwards/assert_valid.rs b/‎curta/src/chip/ec/edwards/assert_valid.rs renamed to ‎starkyx/src/chip/ec/edwards/assert_valid.rs
diff --git a/‎curta/src/chip/ec/edwards/bigint_operations.rs renamed to ‎starkyx/src/chip/ec/edwards/bigint_operations.rs b/‎curta/src/chip/ec/edwards/bigint_operations.rs renamed to ‎starkyx/src/chip/ec/edwards/bigint_operations.rs
diff --git a/‎curta/src/chip/ec/edwards/ed25519/decompress.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/decompress.rs b/‎curta/src/chip/ec/edwards/ed25519/decompress.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/decompress.rs
diff --git a/‎curta/src/chip/ec/edwards/ed25519/gadget.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/gadget.rs b/‎curta/src/chip/ec/edwards/ed25519/gadget.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/gadget.rs
diff --git a/‎curta/src/chip/ec/edwards/ed25519/instruction.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/instruction.rs b/‎curta/src/chip/ec/edwards/ed25519/instruction.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/instruction.rs
diff --git a/‎curta/src/chip/ec/edwards/ed25519/mod.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/mod.rs b/‎curta/src/chip/ec/edwards/ed25519/mod.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/mod.rs
diff --git a/‎curta/src/chip/ec/edwards/ed25519/params.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/params.rs b/‎curta/src/chip/ec/edwards/ed25519/params.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/params.rs
diff --git a/‎curta/src/chip/ec/edwards/ed25519/point.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/point.rs b/‎curta/src/chip/ec/edwards/ed25519/point.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/point.rs
diff --git a/‎curta/src/chip/ec/edwards/ed25519/sqrt.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/sqrt.rs b/‎curta/src/chip/ec/edwards/ed25519/sqrt.rs renamed to ‎starkyx/src/chip/ec/edwards/ed25519/sqrt.rs
diff --git a/‎curta/src/chip/ec/edwards/mod.rs renamed to ‎starkyx/src/chip/ec/edwards/mod.rs b/‎curta/src/chip/ec/edwards/mod.rs renamed to ‎starkyx/src/chip/ec/edwards/mod.rs
diff --git a/‎curta/src/chip/ec/gadget.rs renamed to ‎starkyx/src/chip/ec/gadget.rs b/‎curta/src/chip/ec/gadget.rs renamed to ‎starkyx/src/chip/ec/gadget.rs
diff --git a/‎curta/src/chip/ec/instruction_set.rs renamed to ‎starkyx/src/chip/ec/instruction_set.rs b/‎curta/src/chip/ec/instruction_set.rs renamed to ‎starkyx/src/chip/ec/instruction_set.rs
diff --git a/‎curta/src/chip/ec/mod.rs renamed to ‎starkyx/src/chip/ec/mod.rs b/‎curta/src/chip/ec/mod.rs renamed to ‎starkyx/src/chip/ec/mod.rs
diff --git a/‎curta/src/chip/ec/point.rs renamed to ‎starkyx/src/chip/ec/point.rs b/‎curta/src/chip/ec/point.rs renamed to ‎starkyx/src/chip/ec/point.rs
diff --git a/‎curta/src/chip/ec/scalar.rs renamed to ‎starkyx/src/chip/ec/scalar.rs b/‎curta/src/chip/ec/scalar.rs renamed to ‎starkyx/src/chip/ec/scalar.rs
diff --git a/‎curta/src/chip/ec/scalar_mul/mod.rs renamed to ‎starkyx/src/chip/ec/scalar_mul/mod.rs b/‎curta/src/chip/ec/scalar_mul/mod.rs renamed to ‎starkyx/src/chip/ec/scalar_mul/mod.rs
diff --git a/‎curta/src/chip/ec/weierstrass/biguint_operations.rs renamed to ‎starkyx/src/chip/ec/weierstrass/biguint_operations.rs b/‎curta/src/chip/ec/weierstrass/biguint_operations.rs renamed to ‎starkyx/src/chip/ec/weierstrass/biguint_operations.rs
diff --git a/‎curta/src/chip/ec/weierstrass/bn254.rs renamed to ‎starkyx/src/chip/ec/weierstrass/bn254.rs b/‎curta/src/chip/ec/weierstrass/bn254.rs renamed to ‎starkyx/src/chip/ec/weierstrass/bn254.rs
diff --git a/‎curta/src/chip/ec/weierstrass/group.rs renamed to ‎starkyx/src/chip/ec/weierstrass/group.rs b/‎curta/src/chip/ec/weierstrass/group.rs renamed to ‎starkyx/src/chip/ec/weierstrass/group.rs
diff --git a/‎curta/src/chip/ec/weierstrass/mod.rs renamed to ‎starkyx/src/chip/ec/weierstrass/mod.rs b/‎curta/src/chip/ec/weierstrass/mod.rs renamed to ‎starkyx/src/chip/ec/weierstrass/mod.rs
diff --git a/‎curta/src/chip/ec/weierstrass/slope.rs renamed to ‎starkyx/src/chip/ec/weierstrass/slope.rs b/‎curta/src/chip/ec/weierstrass/slope.rs renamed to ‎starkyx/src/chip/ec/weierstrass/slope.rs
diff --git a/‎curta/src/chip/field/add.rs renamed to ‎starkyx/src/chip/field/add.rs b/‎curta/src/chip/field/add.rs renamed to ‎starkyx/src/chip/field/add.rs
diff --git a/‎curta/src/chip/field/constants.rs renamed to ‎starkyx/src/chip/field/constants.rs b/‎curta/src/chip/field/constants.rs renamed to ‎starkyx/src/chip/field/constants.rs
diff --git a/‎curta/src/chip/field/den.rs renamed to ‎starkyx/src/chip/field/den.rs b/‎curta/src/chip/field/den.rs renamed to ‎starkyx/src/chip/field/den.rs
diff --git a/‎curta/src/chip/field/div.rs renamed to ‎starkyx/src/chip/field/div.rs b/‎curta/src/chip/field/div.rs renamed to ‎starkyx/src/chip/field/div.rs
diff --git a/‎curta/src/chip/field/inner_product.rs renamed to ‎starkyx/src/chip/field/inner_product.rs b/‎curta/src/chip/field/inner_product.rs renamed to ‎starkyx/src/chip/field/inner_product.rs
diff --git a/‎curta/src/chip/field/instruction.rs renamed to ‎starkyx/src/chip/field/instruction.rs b/‎curta/src/chip/field/instruction.rs renamed to ‎starkyx/src/chip/field/instruction.rs
diff --git a/‎curta/src/chip/field/mod.rs renamed to ‎starkyx/src/chip/field/mod.rs b/‎curta/src/chip/field/mod.rs renamed to ‎starkyx/src/chip/field/mod.rs
diff --git a/‎curta/src/chip/field/mul.rs renamed to ‎starkyx/src/chip/field/mul.rs b/‎curta/src/chip/field/mul.rs renamed to ‎starkyx/src/chip/field/mul.rs
diff --git a/‎curta/src/chip/field/mul_const.rs renamed to ‎starkyx/src/chip/field/mul_const.rs b/‎curta/src/chip/field/mul_const.rs renamed to ‎starkyx/src/chip/field/mul_const.rs
diff --git a/‎curta/src/chip/field/ops.rs renamed to ‎starkyx/src/chip/field/ops.rs b/‎curta/src/chip/field/ops.rs renamed to ‎starkyx/src/chip/field/ops.rs
diff --git a/‎curta/src/chip/field/parameters.rs renamed to ‎starkyx/src/chip/field/parameters.rs b/‎curta/src/chip/field/parameters.rs renamed to ‎starkyx/src/chip/field/parameters.rs
diff --git a/‎curta/src/chip/field/register.rs renamed to ‎starkyx/src/chip/field/register.rs b/‎curta/src/chip/field/register.rs renamed to ‎starkyx/src/chip/field/register.rs
diff --git a/‎curta/src/chip/field/sub.rs renamed to ‎starkyx/src/chip/field/sub.rs b/‎curta/src/chip/field/sub.rs renamed to ‎starkyx/src/chip/field/sub.rs
diff --git a/‎curta/src/chip/field/util.rs renamed to ‎starkyx/src/chip/field/util.rs b/‎curta/src/chip/field/util.rs renamed to ‎starkyx/src/chip/field/util.rs
diff --git a/‎curta/src/chip/instruction/assign.rs renamed to ‎starkyx/src/chip/instruction/assign.rs b/‎curta/src/chip/instruction/assign.rs renamed to ‎starkyx/src/chip/instruction/assign.rs
diff --git a/‎curta/src/chip/instruction/bit.rs renamed to ‎starkyx/src/chip/instruction/bit.rs b/‎curta/src/chip/instruction/bit.rs renamed to ‎starkyx/src/chip/instruction/bit.rs
diff --git a/‎curta/src/chip/instruction/clock.rs renamed to ‎starkyx/src/chip/instruction/clock.rs b/‎curta/src/chip/instruction/clock.rs renamed to ‎starkyx/src/chip/instruction/clock.rs
diff --git a/‎curta/src/chip/instruction/cycle.rs renamed to ‎starkyx/src/chip/instruction/cycle.rs b/‎curta/src/chip/instruction/cycle.rs renamed to ‎starkyx/src/chip/instruction/cycle.rs
diff --git a/‎curta/src/chip/instruction/empty.rs renamed to ‎starkyx/src/chip/instruction/empty.rs b/‎curta/src/chip/instruction/empty.rs renamed to ‎starkyx/src/chip/instruction/empty.rs
diff --git a/‎curta/src/chip/instruction/mod.rs renamed to ‎starkyx/src/chip/instruction/mod.rs b/‎curta/src/chip/instruction/mod.rs renamed to ‎starkyx/src/chip/instruction/mod.rs
diff --git a/‎curta/src/chip/instruction/set.rs renamed to ‎starkyx/src/chip/instruction/set.rs b/‎curta/src/chip/instruction/set.rs renamed to ‎starkyx/src/chip/instruction/set.rs
diff --git a/‎curta/src/chip/memory/builder.rs renamed to ‎starkyx/src/chip/memory/builder.rs b/‎curta/src/chip/memory/builder.rs renamed to ‎starkyx/src/chip/memory/builder.rs
diff --git a/‎curta/src/chip/memory/get.rs renamed to ‎starkyx/src/chip/memory/get.rs b/‎curta/src/chip/memory/get.rs renamed to ‎starkyx/src/chip/memory/get.rs
diff --git a/‎curta/src/chip/memory/instruction.rs renamed to ‎starkyx/src/chip/memory/instruction.rs b/‎curta/src/chip/memory/instruction.rs renamed to ‎starkyx/src/chip/memory/instruction.rs
diff --git a/‎curta/src/chip/memory/map.rs renamed to ‎starkyx/src/chip/memory/map.rs b/‎curta/src/chip/memory/map.rs renamed to ‎starkyx/src/chip/memory/map.rs
diff --git a/‎curta/src/chip/memory/mod.rs renamed to ‎starkyx/src/chip/memory/mod.rs b/‎curta/src/chip/memory/mod.rs renamed to ‎starkyx/src/chip/memory/mod.rs
diff --git a/‎curta/src/chip/memory/pointer/accumulate.rs renamed to ‎starkyx/src/chip/memory/pointer/accumulate.rs b/‎curta/src/chip/memory/pointer/accumulate.rs renamed to ‎starkyx/src/chip/memory/pointer/accumulate.rs
diff --git a/‎curta/src/chip/memory/pointer/key.rs renamed to ‎starkyx/src/chip/memory/pointer/key.rs b/‎curta/src/chip/memory/pointer/key.rs renamed to ‎starkyx/src/chip/memory/pointer/key.rs
diff --git a/‎curta/src/chip/memory/pointer/mod.rs renamed to ‎starkyx/src/chip/memory/pointer/mod.rs b/‎curta/src/chip/memory/pointer/mod.rs renamed to ‎starkyx/src/chip/memory/pointer/mod.rs
diff --git a/‎curta/src/chip/memory/pointer/raw.rs renamed to ‎starkyx/src/chip/memory/pointer/raw.rs b/‎curta/src/chip/memory/pointer/raw.rs renamed to ‎starkyx/src/chip/memory/pointer/raw.rs
diff --git a/‎curta/src/chip/memory/pointer/slice.rs renamed to ‎starkyx/src/chip/memory/pointer/slice.rs b/‎curta/src/chip/memory/pointer/slice.rs renamed to ‎starkyx/src/chip/memory/pointer/slice.rs
diff --git a/‎curta/src/chip/memory/pointer/typed.rs renamed to ‎starkyx/src/chip/memory/pointer/typed.rs b/‎curta/src/chip/memory/pointer/typed.rs renamed to ‎starkyx/src/chip/memory/pointer/typed.rs
diff --git a/‎curta/src/chip/memory/set.rs renamed to ‎starkyx/src/chip/memory/set.rs b/‎curta/src/chip/memory/set.rs renamed to ‎starkyx/src/chip/memory/set.rs
diff --git a/‎curta/src/chip/memory/time.rs renamed to ‎starkyx/src/chip/memory/time.rs b/‎curta/src/chip/memory/time.rs renamed to ‎starkyx/src/chip/memory/time.rs
diff --git a/‎curta/src/chip/memory/value.rs renamed to ‎starkyx/src/chip/memory/value.rs b/‎curta/src/chip/memory/value.rs renamed to ‎starkyx/src/chip/memory/value.rs
diff --git a/‎curta/src/chip/memory/watch.rs renamed to ‎starkyx/src/chip/memory/watch.rs b/‎curta/src/chip/memory/watch.rs renamed to ‎starkyx/src/chip/memory/watch.rs
diff --git a/‎curta/src/chip/mod.rs renamed to ‎starkyx/src/chip/mod.rs b/‎curta/src/chip/mod.rs renamed to ‎starkyx/src/chip/mod.rs
diff --git a/‎curta/src/chip/register/array.rs renamed to ‎starkyx/src/chip/register/array.rs b/‎curta/src/chip/register/array.rs renamed to ‎starkyx/src/chip/register/array.rs
diff --git a/‎curta/src/chip/register/bit.rs renamed to ‎starkyx/src/chip/register/bit.rs b/‎curta/src/chip/register/bit.rs renamed to ‎starkyx/src/chip/register/bit.rs
diff --git a/‎curta/src/chip/register/cell.rs renamed to ‎starkyx/src/chip/register/cell.rs b/‎curta/src/chip/register/cell.rs renamed to ‎starkyx/src/chip/register/cell.rs
diff --git a/‎curta/src/chip/register/cubic.rs renamed to ‎starkyx/src/chip/register/cubic.rs b/‎curta/src/chip/register/cubic.rs renamed to ‎starkyx/src/chip/register/cubic.rs
diff --git a/‎curta/src/chip/register/element.rs renamed to ‎starkyx/src/chip/register/element.rs b/‎curta/src/chip/register/element.rs renamed to ‎starkyx/src/chip/register/element.rs
diff --git a/‎curta/src/chip/register/memory.rs renamed to ‎starkyx/src/chip/register/memory.rs b/‎curta/src/chip/register/memory.rs renamed to ‎starkyx/src/chip/register/memory.rs
diff --git a/‎curta/src/chip/register/mod.rs renamed to ‎starkyx/src/chip/register/mod.rs b/‎curta/src/chip/register/mod.rs renamed to ‎starkyx/src/chip/register/mod.rs
diff --git a/‎curta/src/chip/register/slice.rs renamed to ‎starkyx/src/chip/register/slice.rs b/‎curta/src/chip/register/slice.rs renamed to ‎starkyx/src/chip/register/slice.rs
diff --git a/‎curta/src/chip/register/u16.rs renamed to ‎starkyx/src/chip/register/u16.rs b/‎curta/src/chip/register/u16.rs renamed to ‎starkyx/src/chip/register/u16.rs
diff --git a/‎curta/src/chip/table/accumulator/constraint.rs renamed to ‎starkyx/src/chip/table/accumulator/constraint.rs b/‎curta/src/chip/table/accumulator/constraint.rs renamed to ‎starkyx/src/chip/table/accumulator/constraint.rs
diff --git a/‎curta/src/chip/table/accumulator/mod.rs renamed to ‎starkyx/src/chip/table/accumulator/mod.rs b/‎curta/src/chip/table/accumulator/mod.rs renamed to ‎starkyx/src/chip/table/accumulator/mod.rs
diff --git a/‎curta/src/chip/table/accumulator/trace.rs renamed to ‎starkyx/src/chip/table/accumulator/trace.rs b/‎curta/src/chip/table/accumulator/trace.rs renamed to ‎starkyx/src/chip/table/accumulator/trace.rs
diff --git a/‎curta/src/chip/table/bus/channel/constraint.rs renamed to ‎starkyx/src/chip/table/bus/channel/constraint.rs b/‎curta/src/chip/table/bus/channel/constraint.rs renamed to ‎starkyx/src/chip/table/bus/channel/constraint.rs
diff --git a/‎curta/src/chip/table/bus/channel/mod.rs renamed to ‎starkyx/src/chip/table/bus/channel/mod.rs b/‎curta/src/chip/table/bus/channel/mod.rs renamed to ‎starkyx/src/chip/table/bus/channel/mod.rs
diff --git a/‎curta/src/chip/table/bus/channel/trace.rs renamed to ‎starkyx/src/chip/table/bus/channel/trace.rs b/‎curta/src/chip/table/bus/channel/trace.rs renamed to ‎starkyx/src/chip/table/bus/channel/trace.rs
diff --git a/‎curta/src/chip/table/bus/global/constraint.rs renamed to ‎starkyx/src/chip/table/bus/global/constraint.rs b/‎curta/src/chip/table/bus/global/constraint.rs renamed to ‎starkyx/src/chip/table/bus/global/constraint.rs
diff --git a/‎curta/src/chip/table/bus/global/mod.rs renamed to ‎starkyx/src/chip/table/bus/global/mod.rs b/‎curta/src/chip/table/bus/global/mod.rs renamed to ‎starkyx/src/chip/table/bus/global/mod.rs
diff --git a/‎curta/src/chip/table/bus/global/trace.rs renamed to ‎starkyx/src/chip/table/bus/global/trace.rs b/‎curta/src/chip/table/bus/global/trace.rs renamed to ‎starkyx/src/chip/table/bus/global/trace.rs
diff --git a/‎curta/src/chip/table/bus/mod.rs renamed to ‎starkyx/src/chip/table/bus/mod.rs b/‎curta/src/chip/table/bus/mod.rs renamed to ‎starkyx/src/chip/table/bus/mod.rs
diff --git a/‎curta/src/chip/table/log_derivative/constraints.rs renamed to ‎starkyx/src/chip/table/log_derivative/constraints.rs b/‎curta/src/chip/table/log_derivative/constraints.rs renamed to ‎starkyx/src/chip/table/log_derivative/constraints.rs
diff --git a/‎curta/src/chip/table/log_derivative/entry.rs renamed to ‎starkyx/src/chip/table/log_derivative/entry.rs b/‎curta/src/chip/table/log_derivative/entry.rs renamed to ‎starkyx/src/chip/table/log_derivative/entry.rs
diff --git a/‎curta/src/chip/table/log_derivative/mod.rs renamed to ‎starkyx/src/chip/table/log_derivative/mod.rs b/‎curta/src/chip/table/log_derivative/mod.rs renamed to ‎starkyx/src/chip/table/log_derivative/mod.rs
diff --git a/‎curta/src/chip/table/log_derivative/trace.rs renamed to ‎starkyx/src/chip/table/log_derivative/trace.rs b/‎curta/src/chip/table/log_derivative/trace.rs renamed to ‎starkyx/src/chip/table/log_derivative/trace.rs
diff --git a/‎curta/src/chip/table/lookup/constraint.rs renamed to ‎starkyx/src/chip/table/lookup/constraint.rs b/‎curta/src/chip/table/lookup/constraint.rs renamed to ‎starkyx/src/chip/table/lookup/constraint.rs
diff --git a/‎curta/src/chip/table/lookup/mod.rs renamed to ‎starkyx/src/chip/table/lookup/mod.rs b/‎curta/src/chip/table/lookup/mod.rs renamed to ‎starkyx/src/chip/table/lookup/mod.rs
diff --git a/‎curta/src/chip/table/lookup/table/constraint.rs renamed to ‎starkyx/src/chip/table/lookup/table/constraint.rs b/‎curta/src/chip/table/lookup/table/constraint.rs renamed to ‎starkyx/src/chip/table/lookup/table/constraint.rs
diff --git a/‎curta/src/chip/table/lookup/table/mod.rs renamed to ‎starkyx/src/chip/table/lookup/table/mod.rs b/‎curta/src/chip/table/lookup/table/mod.rs renamed to ‎starkyx/src/chip/table/lookup/table/mod.rs
diff --git a/‎curta/src/chip/table/lookup/table/trace.rs renamed to ‎starkyx/src/chip/table/lookup/table/trace.rs b/‎curta/src/chip/table/lookup/table/trace.rs renamed to ‎starkyx/src/chip/table/lookup/table/trace.rs
diff --git a/‎curta/src/chip/table/lookup/trace.rs renamed to ‎starkyx/src/chip/table/lookup/trace.rs b/‎curta/src/chip/table/lookup/trace.rs renamed to ‎starkyx/src/chip/table/lookup/trace.rs
diff --git a/‎curta/src/chip/table/lookup/values/constraint.rs renamed to ‎starkyx/src/chip/table/lookup/values/constraint.rs b/‎curta/src/chip/table/lookup/values/constraint.rs renamed to ‎starkyx/src/chip/table/lookup/values/constraint.rs
diff --git a/‎curta/src/chip/table/lookup/values/mod.rs renamed to ‎starkyx/src/chip/table/lookup/values/mod.rs b/‎curta/src/chip/table/lookup/values/mod.rs renamed to ‎starkyx/src/chip/table/lookup/values/mod.rs
diff --git a/‎curta/src/chip/table/lookup/values/trace.rs renamed to ‎starkyx/src/chip/table/lookup/values/trace.rs b/‎curta/src/chip/table/lookup/values/trace.rs renamed to ‎starkyx/src/chip/table/lookup/values/trace.rs
diff --git a/‎curta/src/chip/table/mod.rs renamed to ‎starkyx/src/chip/table/mod.rs b/‎curta/src/chip/table/mod.rs renamed to ‎starkyx/src/chip/table/mod.rs
diff --git a/‎curta/src/chip/table/powers.rs renamed to ‎starkyx/src/chip/table/powers.rs b/‎curta/src/chip/table/powers.rs renamed to ‎starkyx/src/chip/table/powers.rs
diff --git a/‎curta/src/chip/trace/data.rs renamed to ‎starkyx/src/chip/trace/data.rs b/‎curta/src/chip/trace/data.rs renamed to ‎starkyx/src/chip/trace/data.rs
diff --git a/‎curta/src/chip/trace/generator.rs renamed to ‎starkyx/src/chip/trace/generator.rs b/‎curta/src/chip/trace/generator.rs renamed to ‎starkyx/src/chip/trace/generator.rs
diff --git a/‎curta/src/chip/trace/mod.rs renamed to ‎starkyx/src/chip/trace/mod.rs b/‎curta/src/chip/trace/mod.rs renamed to ‎starkyx/src/chip/trace/mod.rs
diff --git a/‎curta/src/chip/trace/writer/data.rs renamed to ‎starkyx/src/chip/trace/writer/data.rs b/‎curta/src/chip/trace/writer/data.rs renamed to ‎starkyx/src/chip/trace/writer/data.rs
diff --git a/‎curta/src/chip/trace/writer/mod.rs renamed to ‎starkyx/src/chip/trace/writer/mod.rs b/‎curta/src/chip/trace/writer/mod.rs renamed to ‎starkyx/src/chip/trace/writer/mod.rs
diff --git a/‎curta/src/chip/trace/writer/public.rs renamed to ‎starkyx/src/chip/trace/writer/public.rs b/‎curta/src/chip/trace/writer/public.rs renamed to ‎starkyx/src/chip/trace/writer/public.rs
diff --git a/‎curta/src/chip/trace/writer/row.rs renamed to ‎starkyx/src/chip/trace/writer/row.rs b/‎curta/src/chip/trace/writer/row.rs renamed to ‎starkyx/src/chip/trace/writer/row.rs
diff --git a/‎curta/src/chip/trace/writer/window.rs renamed to ‎starkyx/src/chip/trace/writer/window.rs b/‎curta/src/chip/trace/writer/window.rs renamed to ‎starkyx/src/chip/trace/writer/window.rs
diff --git a/‎curta/src/chip/uint/bytes/bit_operations/and.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/and.rs b/‎curta/src/chip/uint/bytes/bit_operations/and.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/and.rs
diff --git a/‎curta/src/chip/uint/bytes/bit_operations/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/mod.rs b/‎curta/src/chip/uint/bytes/bit_operations/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/mod.rs
diff --git a/‎curta/src/chip/uint/bytes/bit_operations/not.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/not.rs b/‎curta/src/chip/uint/bytes/bit_operations/not.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/not.rs
diff --git a/‎curta/src/chip/uint/bytes/bit_operations/rotate.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/rotate.rs b/‎curta/src/chip/uint/bytes/bit_operations/rotate.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/rotate.rs
diff --git a/‎curta/src/chip/uint/bytes/bit_operations/shift.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/shift.rs b/‎curta/src/chip/uint/bytes/bit_operations/shift.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/shift.rs
diff --git a/‎curta/src/chip/uint/bytes/bit_operations/xor.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/xor.rs b/‎curta/src/chip/uint/bytes/bit_operations/xor.rs renamed to ‎starkyx/src/chip/uint/bytes/bit_operations/xor.rs
diff --git a/‎curta/src/chip/uint/bytes/decode.rs renamed to ‎starkyx/src/chip/uint/bytes/decode.rs b/‎curta/src/chip/uint/bytes/decode.rs renamed to ‎starkyx/src/chip/uint/bytes/decode.rs
diff --git a/‎curta/src/chip/uint/bytes/lookup_table/builder_operations.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/builder_operations.rs b/‎curta/src/chip/uint/bytes/lookup_table/builder_operations.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/builder_operations.rs
diff --git a/‎curta/src/chip/uint/bytes/lookup_table/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/mod.rs b/‎curta/src/chip/uint/bytes/lookup_table/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/mod.rs
diff --git a/‎curta/src/chip/uint/bytes/lookup_table/multiplicity_data.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/multiplicity_data.rs b/‎curta/src/chip/uint/bytes/lookup_table/multiplicity_data.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/multiplicity_data.rs
diff --git a/‎curta/src/chip/uint/bytes/lookup_table/table.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/table.rs b/‎curta/src/chip/uint/bytes/lookup_table/table.rs renamed to ‎starkyx/src/chip/uint/bytes/lookup_table/table.rs
diff --git a/‎curta/src/chip/uint/bytes/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/mod.rs b/‎curta/src/chip/uint/bytes/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/mod.rs
diff --git a/‎curta/src/chip/uint/bytes/operations/instruction.rs renamed to ‎starkyx/src/chip/uint/bytes/operations/instruction.rs b/‎curta/src/chip/uint/bytes/operations/instruction.rs renamed to ‎starkyx/src/chip/uint/bytes/operations/instruction.rs
diff --git a/‎curta/src/chip/uint/bytes/operations/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/operations/mod.rs b/‎curta/src/chip/uint/bytes/operations/mod.rs renamed to ‎starkyx/src/chip/uint/bytes/operations/mod.rs
diff --git a/‎curta/src/chip/uint/bytes/operations/value.rs renamed to ‎starkyx/src/chip/uint/bytes/operations/value.rs b/‎curta/src/chip/uint/bytes/operations/value.rs renamed to ‎starkyx/src/chip/uint/bytes/operations/value.rs
diff --git a/‎curta/src/chip/uint/bytes/register.rs renamed to ‎starkyx/src/chip/uint/bytes/register.rs b/‎curta/src/chip/uint/bytes/register.rs renamed to ‎starkyx/src/chip/uint/bytes/register.rs
diff --git a/‎curta/src/chip/uint/bytes/util.rs renamed to ‎starkyx/src/chip/uint/bytes/util.rs b/‎curta/src/chip/uint/bytes/util.rs renamed to ‎starkyx/src/chip/uint/bytes/util.rs
diff --git a/‎curta/src/chip/uint/mod.rs renamed to ‎starkyx/src/chip/uint/mod.rs b/‎curta/src/chip/uint/mod.rs renamed to ‎starkyx/src/chip/uint/mod.rs
diff --git a/‎curta/src/chip/uint/operations/add.rs renamed to ‎starkyx/src/chip/uint/operations/add.rs b/‎curta/src/chip/uint/operations/add.rs renamed to ‎starkyx/src/chip/uint/operations/add.rs
diff --git a/‎curta/src/chip/uint/operations/and.rs renamed to ‎starkyx/src/chip/uint/operations/and.rs b/‎curta/src/chip/uint/operations/and.rs renamed to ‎starkyx/src/chip/uint/operations/and.rs
diff --git a/‎curta/src/chip/uint/operations/instruction.rs renamed to ‎starkyx/src/chip/uint/operations/instruction.rs b/‎curta/src/chip/uint/operations/instruction.rs renamed to ‎starkyx/src/chip/uint/operations/instruction.rs
diff --git a/‎curta/src/chip/uint/operations/mod.rs renamed to ‎starkyx/src/chip/uint/operations/mod.rs b/‎curta/src/chip/uint/operations/mod.rs renamed to ‎starkyx/src/chip/uint/operations/mod.rs
diff --git a/‎curta/src/chip/uint/operations/not.rs renamed to ‎starkyx/src/chip/uint/operations/not.rs b/‎curta/src/chip/uint/operations/not.rs renamed to ‎starkyx/src/chip/uint/operations/not.rs
diff --git a/‎curta/src/chip/uint/operations/rotate.rs renamed to ‎starkyx/src/chip/uint/operations/rotate.rs b/‎curta/src/chip/uint/operations/rotate.rs renamed to ‎starkyx/src/chip/uint/operations/rotate.rs
diff --git a/‎curta/src/chip/uint/operations/shr.rs renamed to ‎starkyx/src/chip/uint/operations/shr.rs b/‎curta/src/chip/uint/operations/shr.rs renamed to ‎starkyx/src/chip/uint/operations/shr.rs
diff --git a/‎curta/src/chip/uint/operations/xor.rs renamed to ‎starkyx/src/chip/uint/operations/xor.rs b/‎curta/src/chip/uint/operations/xor.rs renamed to ‎starkyx/src/chip/uint/operations/xor.rs
diff --git a/‎curta/src/chip/uint/register.rs renamed to ‎starkyx/src/chip/uint/register.rs b/‎curta/src/chip/uint/register.rs renamed to ‎starkyx/src/chip/uint/register.rs
diff --git a/‎curta/src/chip/uint/util.rs renamed to ‎starkyx/src/chip/uint/util.rs b/‎curta/src/chip/uint/util.rs renamed to ‎starkyx/src/chip/uint/util.rs
diff --git a/‎curta/src/chip/utils.rs renamed to ‎starkyx/src/chip/utils.rs b/‎curta/src/chip/utils.rs renamed to ‎starkyx/src/chip/utils.rs
diff --git a/‎curta/src/lib.rs renamed to ‎starkyx/src/lib.rs b/‎curta/src/lib.rs renamed to ‎starkyx/src/lib.rs
diff --git a/‎curta/src/machine/builder/mod.rs renamed to ‎starkyx/src/machine/builder/mod.rs b/‎curta/src/machine/builder/mod.rs renamed to ‎starkyx/src/machine/builder/mod.rs
diff --git a/‎curta/src/machine/builder/ops.rs renamed to ‎starkyx/src/machine/builder/ops.rs b/‎curta/src/machine/builder/ops.rs renamed to ‎starkyx/src/machine/builder/ops.rs
diff --git a/‎curta/src/machine/bytes/air.rs renamed to ‎starkyx/src/machine/bytes/air.rs b/‎curta/src/machine/bytes/air.rs renamed to ‎starkyx/src/machine/bytes/air.rs
diff --git a/‎curta/src/machine/bytes/builder.rs renamed to ‎starkyx/src/machine/bytes/builder.rs b/‎curta/src/machine/bytes/builder.rs renamed to ‎starkyx/src/machine/bytes/builder.rs
diff --git a/‎curta/src/machine/bytes/mod.rs renamed to ‎starkyx/src/machine/bytes/mod.rs b/‎curta/src/machine/bytes/mod.rs renamed to ‎starkyx/src/machine/bytes/mod.rs
diff --git a/‎curta/src/machine/bytes/ops.rs renamed to ‎starkyx/src/machine/bytes/ops.rs b/‎curta/src/machine/bytes/ops.rs renamed to ‎starkyx/src/machine/bytes/ops.rs
diff --git a/‎curta/src/machine/bytes/proof.rs renamed to ‎starkyx/src/machine/bytes/proof.rs b/‎curta/src/machine/bytes/proof.rs renamed to ‎starkyx/src/machine/bytes/proof.rs
diff --git a/‎curta/src/machine/bytes/stark.rs renamed to ‎starkyx/src/machine/bytes/stark.rs b/‎curta/src/machine/bytes/stark.rs renamed to ‎starkyx/src/machine/bytes/stark.rs
diff --git a/‎curta/src/machine/ec/builder.rs renamed to ‎starkyx/src/machine/ec/builder.rs b/‎curta/src/machine/ec/builder.rs renamed to ‎starkyx/src/machine/ec/builder.rs
diff --git a/‎curta/src/machine/ec/mod.rs renamed to ‎starkyx/src/machine/ec/mod.rs b/‎curta/src/machine/ec/mod.rs renamed to ‎starkyx/src/machine/ec/mod.rs
diff --git a/‎curta/src/machine/ec/scalar_mul.rs renamed to ‎starkyx/src/machine/ec/scalar_mul.rs b/‎curta/src/machine/ec/scalar_mul.rs renamed to ‎starkyx/src/machine/ec/scalar_mul.rs
diff --git a/‎curta/src/machine/emulated/builder.rs renamed to ‎starkyx/src/machine/emulated/builder.rs b/‎curta/src/machine/emulated/builder.rs renamed to ‎starkyx/src/machine/emulated/builder.rs
diff --git a/‎curta/src/machine/emulated/mod.rs renamed to ‎starkyx/src/machine/emulated/mod.rs b/‎curta/src/machine/emulated/mod.rs renamed to ‎starkyx/src/machine/emulated/mod.rs
diff --git a/‎curta/src/machine/emulated/proof.rs renamed to ‎starkyx/src/machine/emulated/proof.rs b/‎curta/src/machine/emulated/proof.rs renamed to ‎starkyx/src/machine/emulated/proof.rs
diff --git a/‎curta/src/machine/emulated/stark.rs renamed to ‎starkyx/src/machine/emulated/stark.rs b/‎curta/src/machine/emulated/stark.rs renamed to ‎starkyx/src/machine/emulated/stark.rs
diff --git a/‎curta/src/machine/hash/blake/blake2b/air.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/air.rs b/‎curta/src/machine/hash/blake/blake2b/air.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/air.rs
diff --git a/‎curta/src/machine/hash/blake/blake2b/builder.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/builder.rs b/‎curta/src/machine/hash/blake/blake2b/builder.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/builder.rs
diff --git a/‎curta/src/machine/hash/blake/blake2b/data.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/data.rs b/‎curta/src/machine/hash/blake/blake2b/data.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/data.rs
diff --git a/‎curta/src/machine/hash/blake/blake2b/mod.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/mod.rs b/‎curta/src/machine/hash/blake/blake2b/mod.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/mod.rs
diff --git a/‎curta/src/machine/hash/blake/blake2b/pure.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/pure.rs b/‎curta/src/machine/hash/blake/blake2b/pure.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/pure.rs
diff --git a/‎curta/src/machine/hash/blake/blake2b/register.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/register.rs b/‎curta/src/machine/hash/blake/blake2b/register.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/register.rs
diff --git a/‎curta/src/machine/hash/blake/blake2b/utils.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/utils.rs b/‎curta/src/machine/hash/blake/blake2b/utils.rs renamed to ‎starkyx/src/machine/hash/blake/blake2b/utils.rs
diff --git a/‎curta/src/machine/hash/blake/mod.rs renamed to ‎starkyx/src/machine/hash/blake/mod.rs b/‎curta/src/machine/hash/blake/mod.rs renamed to ‎starkyx/src/machine/hash/blake/mod.rs
diff --git a/‎curta/src/machine/hash/mod.rs renamed to ‎starkyx/src/machine/hash/mod.rs b/‎curta/src/machine/hash/mod.rs renamed to ‎starkyx/src/machine/hash/mod.rs
diff --git a/‎curta/src/machine/hash/sha/algorithm.rs renamed to ‎starkyx/src/machine/hash/sha/algorithm.rs b/‎curta/src/machine/hash/sha/algorithm.rs renamed to ‎starkyx/src/machine/hash/sha/algorithm.rs
diff --git a/‎curta/src/machine/hash/sha/builder.rs renamed to ‎starkyx/src/machine/hash/sha/builder.rs b/‎curta/src/machine/hash/sha/builder.rs renamed to ‎starkyx/src/machine/hash/sha/builder.rs
diff --git a/‎curta/src/machine/hash/sha/data.rs renamed to ‎starkyx/src/machine/hash/sha/data.rs b/‎curta/src/machine/hash/sha/data.rs renamed to ‎starkyx/src/machine/hash/sha/data.rs
diff --git a/‎curta/src/machine/hash/sha/mod.rs renamed to ‎starkyx/src/machine/hash/sha/mod.rs b/‎curta/src/machine/hash/sha/mod.rs renamed to ‎starkyx/src/machine/hash/sha/mod.rs
diff --git a/‎curta/src/machine/hash/sha/sha256/air.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/air.rs b/‎curta/src/machine/hash/sha/sha256/air.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/air.rs
diff --git a/‎curta/src/machine/hash/sha/sha256/mod.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/mod.rs b/‎curta/src/machine/hash/sha/sha256/mod.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/mod.rs
diff --git a/‎curta/src/machine/hash/sha/sha256/pure.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/pure.rs b/‎curta/src/machine/hash/sha/sha256/pure.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/pure.rs
diff --git a/‎curta/src/machine/hash/sha/sha256/register.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/register.rs b/‎curta/src/machine/hash/sha/sha256/register.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/register.rs
diff --git a/‎curta/src/machine/hash/sha/sha256/util.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/util.rs b/‎curta/src/machine/hash/sha/sha256/util.rs renamed to ‎starkyx/src/machine/hash/sha/sha256/util.rs
diff --git a/‎curta/src/machine/hash/sha/sha512/air.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/air.rs b/‎curta/src/machine/hash/sha/sha512/air.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/air.rs
diff --git a/‎curta/src/machine/hash/sha/sha512/data.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/data.rs b/‎curta/src/machine/hash/sha/sha512/data.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/data.rs
diff --git a/‎curta/src/machine/hash/sha/sha512/mod.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/mod.rs b/‎curta/src/machine/hash/sha/sha512/mod.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/mod.rs
diff --git a/‎curta/src/machine/hash/sha/sha512/pure.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/pure.rs b/‎curta/src/machine/hash/sha/sha512/pure.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/pure.rs
diff --git a/‎curta/src/machine/hash/sha/sha512/register.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/register.rs b/‎curta/src/machine/hash/sha/sha512/register.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/register.rs
diff --git a/‎curta/src/machine/hash/sha/sha512/util.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/util.rs b/‎curta/src/machine/hash/sha/sha512/util.rs renamed to ‎starkyx/src/machine/hash/sha/sha512/util.rs
diff --git a/‎curta/src/machine/mod.rs renamed to ‎starkyx/src/machine/mod.rs b/‎curta/src/machine/mod.rs renamed to ‎starkyx/src/machine/mod.rs
diff --git a/‎curta/src/machine/stark/builder.rs renamed to ‎starkyx/src/machine/stark/builder.rs b/‎curta/src/machine/stark/builder.rs renamed to ‎starkyx/src/machine/stark/builder.rs
diff --git a/‎curta/src/machine/stark/mod.rs renamed to ‎starkyx/src/machine/stark/mod.rs b/‎curta/src/machine/stark/mod.rs renamed to ‎starkyx/src/machine/stark/mod.rs
diff --git a/‎curta/src/math/algebra.rs renamed to ‎starkyx/src/math/algebra.rs b/‎curta/src/math/algebra.rs renamed to ‎starkyx/src/math/algebra.rs
diff --git a/‎curta/src/math/extension/cubic/element.rs renamed to ‎starkyx/src/math/extension/cubic/element.rs b/‎curta/src/math/extension/cubic/element.rs renamed to ‎starkyx/src/math/extension/cubic/element.rs
diff --git a/‎curta/src/math/extension/cubic/extension.rs renamed to ‎starkyx/src/math/extension/cubic/extension.rs b/‎curta/src/math/extension/cubic/extension.rs renamed to ‎starkyx/src/math/extension/cubic/extension.rs
diff --git a/‎curta/src/math/extension/cubic/mod.rs renamed to ‎starkyx/src/math/extension/cubic/mod.rs b/‎curta/src/math/extension/cubic/mod.rs renamed to ‎starkyx/src/math/extension/cubic/mod.rs
diff --git a/‎curta/src/math/extension/cubic/parameters.rs renamed to ‎starkyx/src/math/extension/cubic/parameters.rs b/‎curta/src/math/extension/cubic/parameters.rs renamed to ‎starkyx/src/math/extension/cubic/parameters.rs
diff --git a/‎curta/src/math/extension/mod.rs renamed to ‎starkyx/src/math/extension/mod.rs b/‎curta/src/math/extension/mod.rs renamed to ‎starkyx/src/math/extension/mod.rs
diff --git a/‎curta/src/math/field.rs renamed to ‎starkyx/src/math/field.rs b/‎curta/src/math/field.rs renamed to ‎starkyx/src/math/field.rs
diff --git a/‎curta/src/math/goldilocks/cubic.rs renamed to ‎starkyx/src/math/goldilocks/cubic.rs b/‎curta/src/math/goldilocks/cubic.rs renamed to ‎starkyx/src/math/goldilocks/cubic.rs
diff --git a/‎curta/src/math/goldilocks/mod.rs renamed to ‎starkyx/src/math/goldilocks/mod.rs b/‎curta/src/math/goldilocks/mod.rs renamed to ‎starkyx/src/math/goldilocks/mod.rs
diff --git a/‎curta/src/math/mod.rs renamed to ‎starkyx/src/math/mod.rs b/‎curta/src/math/mod.rs renamed to ‎starkyx/src/math/mod.rs
diff --git a/‎curta/src/maybe_rayon.rs renamed to ‎starkyx/src/maybe_rayon.rs b/‎curta/src/maybe_rayon.rs renamed to ‎starkyx/src/maybe_rayon.rs
diff --git a/‎curta/src/plonky2/cubic/arithmetic_gate.rs renamed to ‎starkyx/src/plonky2/cubic/arithmetic_gate.rs b/‎curta/src/plonky2/cubic/arithmetic_gate.rs renamed to ‎starkyx/src/plonky2/cubic/arithmetic_gate.rs
diff --git a/‎curta/src/plonky2/cubic/builder.rs renamed to ‎starkyx/src/plonky2/cubic/builder.rs b/‎curta/src/plonky2/cubic/builder.rs renamed to ‎starkyx/src/plonky2/cubic/builder.rs
diff --git a/‎curta/src/plonky2/cubic/mod.rs renamed to ‎starkyx/src/plonky2/cubic/mod.rs b/‎curta/src/plonky2/cubic/mod.rs renamed to ‎starkyx/src/plonky2/cubic/mod.rs
diff --git a/‎curta/src/plonky2/cubic/mul_gate.rs renamed to ‎starkyx/src/plonky2/cubic/mul_gate.rs b/‎curta/src/plonky2/cubic/mul_gate.rs renamed to ‎starkyx/src/plonky2/cubic/mul_gate.rs
diff --git a/‎curta/src/plonky2/cubic/operations.rs renamed to ‎starkyx/src/plonky2/cubic/operations.rs b/‎curta/src/plonky2/cubic/operations.rs renamed to ‎starkyx/src/plonky2/cubic/operations.rs
diff --git a/‎curta/src/plonky2/cubic/target.rs renamed to ‎starkyx/src/plonky2/cubic/target.rs b/‎curta/src/plonky2/cubic/target.rs renamed to ‎starkyx/src/plonky2/cubic/target.rs
diff --git a/‎curta/src/plonky2/field.rs renamed to ‎starkyx/src/plonky2/field.rs b/‎curta/src/plonky2/field.rs renamed to ‎starkyx/src/plonky2/field.rs
diff --git a/‎curta/src/plonky2/mod.rs renamed to ‎starkyx/src/plonky2/mod.rs b/‎curta/src/plonky2/mod.rs renamed to ‎starkyx/src/plonky2/mod.rs
diff --git a/‎curta/src/plonky2/parser/consumer.rs renamed to ‎starkyx/src/plonky2/parser/consumer.rs b/‎curta/src/plonky2/parser/consumer.rs renamed to ‎starkyx/src/plonky2/parser/consumer.rs
diff --git a/‎curta/src/plonky2/parser/global.rs renamed to ‎starkyx/src/plonky2/parser/global.rs b/‎curta/src/plonky2/parser/global.rs renamed to ‎starkyx/src/plonky2/parser/global.rs
diff --git a/‎curta/src/plonky2/parser/mod.rs renamed to ‎starkyx/src/plonky2/parser/mod.rs b/‎curta/src/plonky2/parser/mod.rs renamed to ‎starkyx/src/plonky2/parser/mod.rs
diff --git a/‎curta/src/plonky2/stark/config.rs renamed to ‎starkyx/src/plonky2/stark/config.rs b/‎curta/src/plonky2/stark/config.rs renamed to ‎starkyx/src/plonky2/stark/config.rs
diff --git a/‎curta/src/plonky2/stark/gadget.rs renamed to ‎starkyx/src/plonky2/stark/gadget.rs b/‎curta/src/plonky2/stark/gadget.rs renamed to ‎starkyx/src/plonky2/stark/gadget.rs
diff --git a/‎curta/src/plonky2/stark/generator/mod.rs renamed to ‎starkyx/src/plonky2/stark/generator/mod.rs b/‎curta/src/plonky2/stark/generator/mod.rs renamed to ‎starkyx/src/plonky2/stark/generator/mod.rs
diff --git a/‎curta/src/plonky2/stark/generator/simple.rs renamed to ‎starkyx/src/plonky2/stark/generator/simple.rs b/‎curta/src/plonky2/stark/generator/simple.rs renamed to ‎starkyx/src/plonky2/stark/generator/simple.rs
diff --git a/‎curta/src/plonky2/stark/mod.rs renamed to ‎starkyx/src/plonky2/stark/mod.rs b/‎curta/src/plonky2/stark/mod.rs renamed to ‎starkyx/src/plonky2/stark/mod.rs
diff --git a/‎curta/src/plonky2/stark/proof.rs renamed to ‎starkyx/src/plonky2/stark/proof.rs b/‎curta/src/plonky2/stark/proof.rs renamed to ‎starkyx/src/plonky2/stark/proof.rs
diff --git a/‎curta/src/plonky2/stark/prover.rs renamed to ‎starkyx/src/plonky2/stark/prover.rs b/‎curta/src/plonky2/stark/prover.rs renamed to ‎starkyx/src/plonky2/stark/prover.rs
diff --git a/‎curta/src/plonky2/stark/verifier.rs renamed to ‎starkyx/src/plonky2/stark/verifier.rs b/‎curta/src/plonky2/stark/verifier.rs renamed to ‎starkyx/src/plonky2/stark/verifier.rs
diff --git a/‎curta/src/plonky2/trace.rs renamed to ‎starkyx/src/plonky2/trace.rs b/‎curta/src/plonky2/trace.rs renamed to ‎starkyx/src/plonky2/trace.rs
diff --git a/‎curta/src/polynomial/mod.rs renamed to ‎starkyx/src/polynomial/mod.rs b/‎curta/src/polynomial/mod.rs renamed to ‎starkyx/src/polynomial/mod.rs
diff --git a/‎curta/src/polynomial/ops.rs renamed to ‎starkyx/src/polynomial/ops.rs b/‎curta/src/polynomial/ops.rs renamed to ‎starkyx/src/polynomial/ops.rs
diff --git a/‎curta/src/polynomial/parser.rs renamed to ‎starkyx/src/polynomial/parser.rs b/‎curta/src/polynomial/parser.rs renamed to ‎starkyx/src/polynomial/parser.rs
diff --git a/‎curta/src/trace/generator.rs renamed to ‎starkyx/src/trace/generator.rs b/‎curta/src/trace/generator.rs renamed to ‎starkyx/src/trace/generator.rs
diff --git a/‎curta/src/trace/mod.rs renamed to ‎starkyx/src/trace/mod.rs b/‎curta/src/trace/mod.rs renamed to ‎starkyx/src/trace/mod.rs
diff --git a/‎curta/src/trace/view.rs renamed to ‎starkyx/src/trace/view.rs b/‎curta/src/trace/view.rs renamed to ‎starkyx/src/trace/view.rs
diff --git a/‎curta/src/trace/window.rs renamed to ‎starkyx/src/trace/window.rs b/‎curta/src/trace/window.rs renamed to ‎starkyx/src/trace/window.rs
diff --git a/‎curta/src/trace/window_parser.rs renamed to ‎starkyx/src/trace/window_parser.rs b/‎curta/src/trace/window_parser.rs renamed to ‎starkyx/src/trace/window_parser.rs
diff --git a/‎curta/src/utils/mod.rs renamed to ‎starkyx/src/utils/mod.rs b/‎curta/src/utils/mod.rs renamed to ‎starkyx/src/utils/mod.rs
diff --git a/‎curta/src/utils/serde.rs renamed to ‎starkyx/src/utils/serde.rs b/‎curta/src/utils/serde.rs renamed to ‎starkyx/src/utils/serde.rs
diff --git a/‎curta/src/utils/watcher.rs renamed to ‎starkyx/src/utils/watcher.rs b/‎curta/src/utils/watcher.rs renamed to ‎starkyx/src/utils/watcher.rs
@@ -1,5 +1,5 @@
 [workspace]
-members = ["curta"]
+members = ["starkyx"]
 resolver = "2"
 
 [profile.release]
@@ -10,4 +10,4 @@ opt-level = 3
 
 
 [patch.crates-io]
-curta = {path = "curta"}
+starkyx = {path = "starkyx"}
@@ -1,5 +1,5 @@
 [package]
-name = "curta"
+name = "starkyx"
 version = "0.1.0"
 edition = "2021"