succinctlabs · mattstam · Feb 12, 2024 · Feb 12, 2024 · Feb 12, 2024
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -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"}
diff --git a/README.md b/README.md
@@ -1,15 +1,15 @@
-# Curta
+# Starkyx
 
 <a title="Rama, CC BY-SA 3.0 FR &lt;https://creativecommons.org/licenses/by-sa/3.0/fr/deed.en&gt;, via Wikimedia Commons" href="https://commons.wikimedia.org/wiki/File:Curta_type_I-CnAM_40092-IMG_6721-white.jpg"><img width="256" alt="Curta type I-CnAM 40092-IMG 6721-white" src="https://upload.wikimedia.org/wikipedia/commons/thumb/4/40/Curta_type_I-CnAM_40092-IMG_6721-white.jpg/256px-Curta_type_I-CnAM_40092-IMG_6721-white.jpg"></a>
 
 
 ## Introduction
-Curta is a library for writing AIR constraints with composable and typed constraints. Currently, the main purpose of the library is to prove STARK-based accelerators for [Plonky2](https://github.com/mir-protocol/plonky2) circuits.
+Starkyx is a library for writing AIR constraints with composable and typed constraints. Currently, the main purpose of the library is to prove STARK-based accelerators for [Plonky2](https://github.com/mir-protocol/plonky2) circuits.
 
-Stark proofs and verification are implemented via [Starky](https://github.com/0xPolygonZero/plonky2/tree/main/starky). This repository contains a modified fork of Starky to enable the support a 1-round AIR with random challenges and using the Curta AIR constraints. All the cryptographic primitives are imported from the [Plonky2](https://github.com/mir-protocol/plonky2) proving system.  
+Stark proofs and verification are implemented via [Starky](https://github.com/0xPolygonZero/plonky2/tree/main/starky). This repository contains a modified fork of Starky to enable the support a 1-round AIR with random challenges and using the Starkyx AIR constraints. All the cryptographic primitives are imported from the [Plonky2](https://github.com/mir-protocol/plonky2) proving system.  
 
 ## Building
-Curta requires the use of the nightly Rust toolchain. To use it by default, run the following command:
+Starkyx requires the use of the nightly Rust toolchain. To use it by default, run the following command:
 
 ```bash
 rustup override set nightly
@@ -24,11 +24,11 @@ cargo test --release
 
 ## Usage
 
-## Building an AIR computation using Curta
+## Building an AIR computation using Starkyx
 
 
 ## Creating a STARK proof for an AIR computation
 
 
 ## Integrating into a Plonky2 circuit
-Curta starks can be integrated into a [Plonky2](https://github.com/mir-protocol/plonky2) circuit
+Starkyx starks can be integrated into a [Plonky2](https://github.com/mir-protocol/plonky2) circuit
diff --git a/curta/Cargo.toml → starkyx/Cargo.toml b/curta/Cargo.toml → starkyx/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "curta"
+name = "starkyx"
 version = "0.1.0"
 edition = "2021"
 

diff --git a/curta/src/air/curta_air.rs → starkyx/src/air/curta_air.rs b/curta/src/air/curta_air.rs → starkyx/src/air/curta_air.rs
diff --git a/curta/src/air/extension/cubic.rs → starkyx/src/air/extension/cubic.rs b/curta/src/air/extension/cubic.rs → starkyx/src/air/extension/cubic.rs
diff --git a/curta/src/air/extension/mod.rs → starkyx/src/air/extension/mod.rs b/curta/src/air/extension/mod.rs → starkyx/src/air/extension/mod.rs
diff --git a/curta/src/air/fibonacci.rs → starkyx/src/air/fibonacci.rs b/curta/src/air/fibonacci.rs → starkyx/src/air/fibonacci.rs
diff --git a/curta/src/air/mod.rs → starkyx/src/air/mod.rs b/curta/src/air/mod.rs → starkyx/src/air/mod.rs
diff --git a/curta/src/air/opening.rs → starkyx/src/air/opening.rs b/curta/src/air/opening.rs → starkyx/src/air/opening.rs
diff --git a/curta/src/air/parser.rs → starkyx/src/air/parser.rs b/curta/src/air/parser.rs → starkyx/src/air/parser.rs
diff --git a/curta/src/chip/air.rs → starkyx/src/chip/air.rs b/curta/src/chip/air.rs → starkyx/src/chip/air.rs
diff --git a/curta/src/chip/arithmetic/expression.rs → starkyx/src/chip/arithmetic/expression.rs b/curta/src/chip/arithmetic/expression.rs → starkyx/src/chip/arithmetic/expression.rs
diff --git a/...a/src/chip/arithmetic/expression_slice.rs → ...x/src/chip/arithmetic/expression_slice.rs b/...a/src/chip/arithmetic/expression_slice.rs → ...x/src/chip/arithmetic/expression_slice.rs
diff --git a/curta/src/chip/arithmetic/mod.rs → starkyx/src/chip/arithmetic/mod.rs b/curta/src/chip/arithmetic/mod.rs → starkyx/src/chip/arithmetic/mod.rs
diff --git a/curta/src/chip/bool.rs → starkyx/src/chip/bool.rs b/curta/src/chip/bool.rs → starkyx/src/chip/bool.rs
diff --git a/curta/src/chip/builder/arithmetic.rs → starkyx/src/chip/builder/arithmetic.rs b/curta/src/chip/builder/arithmetic.rs → starkyx/src/chip/builder/arithmetic.rs
diff --git a/curta/src/chip/builder/memory.rs → starkyx/src/chip/builder/memory.rs b/curta/src/chip/builder/memory.rs → starkyx/src/chip/builder/memory.rs
diff --git a/curta/src/chip/builder/mod.rs → starkyx/src/chip/builder/mod.rs b/curta/src/chip/builder/mod.rs → starkyx/src/chip/builder/mod.rs
diff --git a/curta/src/chip/builder/range_check.rs → starkyx/src/chip/builder/range_check.rs b/curta/src/chip/builder/range_check.rs → starkyx/src/chip/builder/range_check.rs
diff --git a/curta/src/chip/builder/shared_memory.rs → starkyx/src/chip/builder/shared_memory.rs b/curta/src/chip/builder/shared_memory.rs → starkyx/src/chip/builder/shared_memory.rs
diff --git a/curta/src/chip/constraint/mod.rs → starkyx/src/chip/constraint/mod.rs b/curta/src/chip/constraint/mod.rs → starkyx/src/chip/constraint/mod.rs
diff --git a/curta/src/chip/ec/edwards/add.rs → starkyx/src/chip/ec/edwards/add.rs b/curta/src/chip/ec/edwards/add.rs → starkyx/src/chip/ec/edwards/add.rs
diff --git a/curta/src/chip/ec/edwards/assert_valid.rs → starkyx/src/chip/ec/edwards/assert_valid.rs b/curta/src/chip/ec/edwards/assert_valid.rs → starkyx/src/chip/ec/edwards/assert_valid.rs
diff --git a/.../src/chip/ec/edwards/bigint_operations.rs → .../src/chip/ec/edwards/bigint_operations.rs b/.../src/chip/ec/edwards/bigint_operations.rs → .../src/chip/ec/edwards/bigint_operations.rs
diff --git a/...src/chip/ec/edwards/ed25519/decompress.rs → ...src/chip/ec/edwards/ed25519/decompress.rs b/...src/chip/ec/edwards/ed25519/decompress.rs → ...src/chip/ec/edwards/ed25519/decompress.rs
diff --git a/curta/src/chip/ec/edwards/ed25519/gadget.rs → ...kyx/src/chip/ec/edwards/ed25519/gadget.rs b/curta/src/chip/ec/edwards/ed25519/gadget.rs → ...kyx/src/chip/ec/edwards/ed25519/gadget.rs
diff --git a/...rc/chip/ec/edwards/ed25519/instruction.rs → ...rc/chip/ec/edwards/ed25519/instruction.rs b/...rc/chip/ec/edwards/ed25519/instruction.rs → ...rc/chip/ec/edwards/ed25519/instruction.rs
diff --git a/curta/src/chip/ec/edwards/ed25519/mod.rs → starkyx/src/chip/ec/edwards/ed25519/mod.rs b/curta/src/chip/ec/edwards/ed25519/mod.rs → starkyx/src/chip/ec/edwards/ed25519/mod.rs
diff --git a/curta/src/chip/ec/edwards/ed25519/params.rs → ...kyx/src/chip/ec/edwards/ed25519/params.rs b/curta/src/chip/ec/edwards/ed25519/params.rs → ...kyx/src/chip/ec/edwards/ed25519/params.rs
diff --git a/curta/src/chip/ec/edwards/ed25519/point.rs → starkyx/src/chip/ec/edwards/ed25519/point.rs b/curta/src/chip/ec/edwards/ed25519/point.rs → starkyx/src/chip/ec/edwards/ed25519/point.rs
diff --git a/curta/src/chip/ec/edwards/ed25519/sqrt.rs → starkyx/src/chip/ec/edwards/ed25519/sqrt.rs b/curta/src/chip/ec/edwards/ed25519/sqrt.rs → starkyx/src/chip/ec/edwards/ed25519/sqrt.rs
diff --git a/curta/src/chip/ec/edwards/mod.rs → starkyx/src/chip/ec/edwards/mod.rs b/curta/src/chip/ec/edwards/mod.rs → starkyx/src/chip/ec/edwards/mod.rs
diff --git a/curta/src/chip/ec/gadget.rs → starkyx/src/chip/ec/gadget.rs b/curta/src/chip/ec/gadget.rs → starkyx/src/chip/ec/gadget.rs
diff --git a/curta/src/chip/ec/instruction_set.rs → starkyx/src/chip/ec/instruction_set.rs b/curta/src/chip/ec/instruction_set.rs → starkyx/src/chip/ec/instruction_set.rs
diff --git a/curta/src/chip/ec/mod.rs → starkyx/src/chip/ec/mod.rs b/curta/src/chip/ec/mod.rs → starkyx/src/chip/ec/mod.rs
diff --git a/curta/src/chip/ec/point.rs → starkyx/src/chip/ec/point.rs b/curta/src/chip/ec/point.rs → starkyx/src/chip/ec/point.rs
diff --git a/curta/src/chip/ec/scalar.rs → starkyx/src/chip/ec/scalar.rs b/curta/src/chip/ec/scalar.rs → starkyx/src/chip/ec/scalar.rs
diff --git a/curta/src/chip/ec/scalar_mul/mod.rs → starkyx/src/chip/ec/scalar_mul/mod.rs b/curta/src/chip/ec/scalar_mul/mod.rs → starkyx/src/chip/ec/scalar_mul/mod.rs
diff --git a/...chip/ec/weierstrass/biguint_operations.rs → ...chip/ec/weierstrass/biguint_operations.rs b/...chip/ec/weierstrass/biguint_operations.rs → ...chip/ec/weierstrass/biguint_operations.rs
diff --git a/curta/src/chip/ec/weierstrass/bn254.rs → starkyx/src/chip/ec/weierstrass/bn254.rs b/curta/src/chip/ec/weierstrass/bn254.rs → starkyx/src/chip/ec/weierstrass/bn254.rs
diff --git a/curta/src/chip/ec/weierstrass/group.rs → starkyx/src/chip/ec/weierstrass/group.rs b/curta/src/chip/ec/weierstrass/group.rs → starkyx/src/chip/ec/weierstrass/group.rs
diff --git a/curta/src/chip/ec/weierstrass/mod.rs → starkyx/src/chip/ec/weierstrass/mod.rs b/curta/src/chip/ec/weierstrass/mod.rs → starkyx/src/chip/ec/weierstrass/mod.rs
diff --git a/curta/src/chip/ec/weierstrass/slope.rs → starkyx/src/chip/ec/weierstrass/slope.rs b/curta/src/chip/ec/weierstrass/slope.rs → starkyx/src/chip/ec/weierstrass/slope.rs
diff --git a/curta/src/chip/field/add.rs → starkyx/src/chip/field/add.rs b/curta/src/chip/field/add.rs → starkyx/src/chip/field/add.rs
diff --git a/curta/src/chip/field/constants.rs → starkyx/src/chip/field/constants.rs b/curta/src/chip/field/constants.rs → starkyx/src/chip/field/constants.rs
diff --git a/curta/src/chip/field/den.rs → starkyx/src/chip/field/den.rs b/curta/src/chip/field/den.rs → starkyx/src/chip/field/den.rs
diff --git a/curta/src/chip/field/div.rs → starkyx/src/chip/field/div.rs b/curta/src/chip/field/div.rs → starkyx/src/chip/field/div.rs
diff --git a/curta/src/chip/field/inner_product.rs → starkyx/src/chip/field/inner_product.rs b/curta/src/chip/field/inner_product.rs → starkyx/src/chip/field/inner_product.rs
diff --git a/curta/src/chip/field/instruction.rs → starkyx/src/chip/field/instruction.rs b/curta/src/chip/field/instruction.rs → starkyx/src/chip/field/instruction.rs
diff --git a/curta/src/chip/field/mod.rs → starkyx/src/chip/field/mod.rs b/curta/src/chip/field/mod.rs → starkyx/src/chip/field/mod.rs
diff --git a/curta/src/chip/field/mul.rs → starkyx/src/chip/field/mul.rs b/curta/src/chip/field/mul.rs → starkyx/src/chip/field/mul.rs
diff --git a/curta/src/chip/field/mul_const.rs → starkyx/src/chip/field/mul_const.rs b/curta/src/chip/field/mul_const.rs → starkyx/src/chip/field/mul_const.rs
diff --git a/curta/src/chip/field/ops.rs → starkyx/src/chip/field/ops.rs b/curta/src/chip/field/ops.rs → starkyx/src/chip/field/ops.rs
diff --git a/curta/src/chip/field/parameters.rs → starkyx/src/chip/field/parameters.rs b/curta/src/chip/field/parameters.rs → starkyx/src/chip/field/parameters.rs
diff --git a/curta/src/chip/field/register.rs → starkyx/src/chip/field/register.rs b/curta/src/chip/field/register.rs → starkyx/src/chip/field/register.rs
diff --git a/curta/src/chip/field/sub.rs → starkyx/src/chip/field/sub.rs b/curta/src/chip/field/sub.rs → starkyx/src/chip/field/sub.rs
diff --git a/curta/src/chip/field/util.rs → starkyx/src/chip/field/util.rs b/curta/src/chip/field/util.rs → starkyx/src/chip/field/util.rs
diff --git a/curta/src/chip/instruction/assign.rs → starkyx/src/chip/instruction/assign.rs b/curta/src/chip/instruction/assign.rs → starkyx/src/chip/instruction/assign.rs
diff --git a/curta/src/chip/instruction/bit.rs → starkyx/src/chip/instruction/bit.rs b/curta/src/chip/instruction/bit.rs → starkyx/src/chip/instruction/bit.rs
diff --git a/curta/src/chip/instruction/clock.rs → starkyx/src/chip/instruction/clock.rs b/curta/src/chip/instruction/clock.rs → starkyx/src/chip/instruction/clock.rs
diff --git a/curta/src/chip/instruction/cycle.rs → starkyx/src/chip/instruction/cycle.rs b/curta/src/chip/instruction/cycle.rs → starkyx/src/chip/instruction/cycle.rs
diff --git a/curta/src/chip/instruction/empty.rs → starkyx/src/chip/instruction/empty.rs b/curta/src/chip/instruction/empty.rs → starkyx/src/chip/instruction/empty.rs
diff --git a/curta/src/chip/instruction/mod.rs → starkyx/src/chip/instruction/mod.rs b/curta/src/chip/instruction/mod.rs → starkyx/src/chip/instruction/mod.rs
diff --git a/curta/src/chip/instruction/set.rs → starkyx/src/chip/instruction/set.rs b/curta/src/chip/instruction/set.rs → starkyx/src/chip/instruction/set.rs
diff --git a/curta/src/chip/memory/builder.rs → starkyx/src/chip/memory/builder.rs b/curta/src/chip/memory/builder.rs → starkyx/src/chip/memory/builder.rs
diff --git a/curta/src/chip/memory/get.rs → starkyx/src/chip/memory/get.rs b/curta/src/chip/memory/get.rs → starkyx/src/chip/memory/get.rs
diff --git a/curta/src/chip/memory/instruction.rs → starkyx/src/chip/memory/instruction.rs b/curta/src/chip/memory/instruction.rs → starkyx/src/chip/memory/instruction.rs
diff --git a/curta/src/chip/memory/map.rs → starkyx/src/chip/memory/map.rs b/curta/src/chip/memory/map.rs → starkyx/src/chip/memory/map.rs
diff --git a/curta/src/chip/memory/mod.rs → starkyx/src/chip/memory/mod.rs b/curta/src/chip/memory/mod.rs → starkyx/src/chip/memory/mod.rs
diff --git a/curta/src/chip/memory/pointer/accumulate.rs → ...kyx/src/chip/memory/pointer/accumulate.rs b/curta/src/chip/memory/pointer/accumulate.rs → ...kyx/src/chip/memory/pointer/accumulate.rs
diff --git a/curta/src/chip/memory/pointer/key.rs → starkyx/src/chip/memory/pointer/key.rs b/curta/src/chip/memory/pointer/key.rs → starkyx/src/chip/memory/pointer/key.rs
diff --git a/curta/src/chip/memory/pointer/mod.rs → starkyx/src/chip/memory/pointer/mod.rs b/curta/src/chip/memory/pointer/mod.rs → starkyx/src/chip/memory/pointer/mod.rs
diff --git a/curta/src/chip/memory/pointer/raw.rs → starkyx/src/chip/memory/pointer/raw.rs b/curta/src/chip/memory/pointer/raw.rs → starkyx/src/chip/memory/pointer/raw.rs
diff --git a/curta/src/chip/memory/pointer/slice.rs → starkyx/src/chip/memory/pointer/slice.rs b/curta/src/chip/memory/pointer/slice.rs → starkyx/src/chip/memory/pointer/slice.rs
diff --git a/curta/src/chip/memory/pointer/typed.rs → starkyx/src/chip/memory/pointer/typed.rs b/curta/src/chip/memory/pointer/typed.rs → starkyx/src/chip/memory/pointer/typed.rs
diff --git a/curta/src/chip/memory/set.rs → starkyx/src/chip/memory/set.rs b/curta/src/chip/memory/set.rs → starkyx/src/chip/memory/set.rs
diff --git a/curta/src/chip/memory/time.rs → starkyx/src/chip/memory/time.rs b/curta/src/chip/memory/time.rs → starkyx/src/chip/memory/time.rs
diff --git a/curta/src/chip/memory/value.rs → starkyx/src/chip/memory/value.rs b/curta/src/chip/memory/value.rs → starkyx/src/chip/memory/value.rs
diff --git a/curta/src/chip/memory/watch.rs → starkyx/src/chip/memory/watch.rs b/curta/src/chip/memory/watch.rs → starkyx/src/chip/memory/watch.rs
diff --git a/curta/src/chip/mod.rs → starkyx/src/chip/mod.rs b/curta/src/chip/mod.rs → starkyx/src/chip/mod.rs
diff --git a/curta/src/chip/register/array.rs → starkyx/src/chip/register/array.rs b/curta/src/chip/register/array.rs → starkyx/src/chip/register/array.rs
diff --git a/curta/src/chip/register/bit.rs → starkyx/src/chip/register/bit.rs b/curta/src/chip/register/bit.rs → starkyx/src/chip/register/bit.rs
diff --git a/curta/src/chip/register/cell.rs → starkyx/src/chip/register/cell.rs b/curta/src/chip/register/cell.rs → starkyx/src/chip/register/cell.rs
diff --git a/curta/src/chip/register/cubic.rs → starkyx/src/chip/register/cubic.rs b/curta/src/chip/register/cubic.rs → starkyx/src/chip/register/cubic.rs
diff --git a/curta/src/chip/register/element.rs → starkyx/src/chip/register/element.rs b/curta/src/chip/register/element.rs → starkyx/src/chip/register/element.rs
diff --git a/curta/src/chip/register/memory.rs → starkyx/src/chip/register/memory.rs b/curta/src/chip/register/memory.rs → starkyx/src/chip/register/memory.rs
diff --git a/curta/src/chip/register/mod.rs → starkyx/src/chip/register/mod.rs b/curta/src/chip/register/mod.rs → starkyx/src/chip/register/mod.rs
diff --git a/curta/src/chip/register/slice.rs → starkyx/src/chip/register/slice.rs b/curta/src/chip/register/slice.rs → starkyx/src/chip/register/slice.rs
diff --git a/curta/src/chip/register/u16.rs → starkyx/src/chip/register/u16.rs b/curta/src/chip/register/u16.rs → starkyx/src/chip/register/u16.rs
diff --git a/.../src/chip/table/accumulator/constraint.rs → .../src/chip/table/accumulator/constraint.rs b/.../src/chip/table/accumulator/constraint.rs → .../src/chip/table/accumulator/constraint.rs
diff --git a/curta/src/chip/table/accumulator/mod.rs → starkyx/src/chip/table/accumulator/mod.rs b/curta/src/chip/table/accumulator/mod.rs → starkyx/src/chip/table/accumulator/mod.rs
diff --git a/curta/src/chip/table/accumulator/trace.rs → starkyx/src/chip/table/accumulator/trace.rs b/curta/src/chip/table/accumulator/trace.rs → starkyx/src/chip/table/accumulator/trace.rs
diff --git a/.../src/chip/table/bus/channel/constraint.rs → .../src/chip/table/bus/channel/constraint.rs b/.../src/chip/table/bus/channel/constraint.rs → .../src/chip/table/bus/channel/constraint.rs
diff --git a/curta/src/chip/table/bus/channel/mod.rs → starkyx/src/chip/table/bus/channel/mod.rs b/curta/src/chip/table/bus/channel/mod.rs → starkyx/src/chip/table/bus/channel/mod.rs
diff --git a/curta/src/chip/table/bus/channel/trace.rs → starkyx/src/chip/table/bus/channel/trace.rs b/curta/src/chip/table/bus/channel/trace.rs → starkyx/src/chip/table/bus/channel/trace.rs
diff --git a/...a/src/chip/table/bus/global/constraint.rs → ...x/src/chip/table/bus/global/constraint.rs b/...a/src/chip/table/bus/global/constraint.rs → ...x/src/chip/table/bus/global/constraint.rs
diff --git a/curta/src/chip/table/bus/global/mod.rs → starkyx/src/chip/table/bus/global/mod.rs b/curta/src/chip/table/bus/global/mod.rs → starkyx/src/chip/table/bus/global/mod.rs
diff --git a/curta/src/chip/table/bus/global/trace.rs → starkyx/src/chip/table/bus/global/trace.rs b/curta/src/chip/table/bus/global/trace.rs → starkyx/src/chip/table/bus/global/trace.rs
diff --git a/curta/src/chip/table/bus/mod.rs → starkyx/src/chip/table/bus/mod.rs b/curta/src/chip/table/bus/mod.rs → starkyx/src/chip/table/bus/mod.rs
diff --git a/.../chip/table/log_derivative/constraints.rs → .../chip/table/log_derivative/constraints.rs b/.../chip/table/log_derivative/constraints.rs → .../chip/table/log_derivative/constraints.rs
diff --git a/curta/src/chip/table/log_derivative/entry.rs → ...yx/src/chip/table/log_derivative/entry.rs b/curta/src/chip/table/log_derivative/entry.rs → ...yx/src/chip/table/log_derivative/entry.rs
diff --git a/curta/src/chip/table/log_derivative/mod.rs → starkyx/src/chip/table/log_derivative/mod.rs b/curta/src/chip/table/log_derivative/mod.rs → starkyx/src/chip/table/log_derivative/mod.rs
diff --git a/curta/src/chip/table/log_derivative/trace.rs → ...yx/src/chip/table/log_derivative/trace.rs b/curta/src/chip/table/log_derivative/trace.rs → ...yx/src/chip/table/log_derivative/trace.rs
diff --git a/curta/src/chip/table/lookup/constraint.rs → starkyx/src/chip/table/lookup/constraint.rs b/curta/src/chip/table/lookup/constraint.rs → starkyx/src/chip/table/lookup/constraint.rs
diff --git a/curta/src/chip/table/lookup/mod.rs → starkyx/src/chip/table/lookup/mod.rs b/curta/src/chip/table/lookup/mod.rs → starkyx/src/chip/table/lookup/mod.rs
diff --git a/...src/chip/table/lookup/table/constraint.rs → ...src/chip/table/lookup/table/constraint.rs b/...src/chip/table/lookup/table/constraint.rs → ...src/chip/table/lookup/table/constraint.rs
diff --git a/curta/src/chip/table/lookup/table/mod.rs → starkyx/src/chip/table/lookup/table/mod.rs b/curta/src/chip/table/lookup/table/mod.rs → starkyx/src/chip/table/lookup/table/mod.rs
diff --git a/curta/src/chip/table/lookup/table/trace.rs → starkyx/src/chip/table/lookup/table/trace.rs b/curta/src/chip/table/lookup/table/trace.rs → starkyx/src/chip/table/lookup/table/trace.rs
diff --git a/curta/src/chip/table/lookup/trace.rs → starkyx/src/chip/table/lookup/trace.rs b/curta/src/chip/table/lookup/trace.rs → starkyx/src/chip/table/lookup/trace.rs
diff --git a/...rc/chip/table/lookup/values/constraint.rs → ...rc/chip/table/lookup/values/constraint.rs b/...rc/chip/table/lookup/values/constraint.rs → ...rc/chip/table/lookup/values/constraint.rs
diff --git a/curta/src/chip/table/lookup/values/mod.rs → starkyx/src/chip/table/lookup/values/mod.rs b/curta/src/chip/table/lookup/values/mod.rs → starkyx/src/chip/table/lookup/values/mod.rs
diff --git a/curta/src/chip/table/lookup/values/trace.rs → ...kyx/src/chip/table/lookup/values/trace.rs b/curta/src/chip/table/lookup/values/trace.rs → ...kyx/src/chip/table/lookup/values/trace.rs
diff --git a/curta/src/chip/table/mod.rs → starkyx/src/chip/table/mod.rs b/curta/src/chip/table/mod.rs → starkyx/src/chip/table/mod.rs
diff --git a/curta/src/chip/table/powers.rs → starkyx/src/chip/table/powers.rs b/curta/src/chip/table/powers.rs → starkyx/src/chip/table/powers.rs
diff --git a/curta/src/chip/trace/data.rs → starkyx/src/chip/trace/data.rs b/curta/src/chip/trace/data.rs → starkyx/src/chip/trace/data.rs
diff --git a/curta/src/chip/trace/generator.rs → starkyx/src/chip/trace/generator.rs b/curta/src/chip/trace/generator.rs → starkyx/src/chip/trace/generator.rs
diff --git a/curta/src/chip/trace/mod.rs → starkyx/src/chip/trace/mod.rs b/curta/src/chip/trace/mod.rs → starkyx/src/chip/trace/mod.rs
diff --git a/curta/src/chip/trace/writer/data.rs → starkyx/src/chip/trace/writer/data.rs b/curta/src/chip/trace/writer/data.rs → starkyx/src/chip/trace/writer/data.rs
diff --git a/curta/src/chip/trace/writer/mod.rs → starkyx/src/chip/trace/writer/mod.rs b/curta/src/chip/trace/writer/mod.rs → starkyx/src/chip/trace/writer/mod.rs
diff --git a/curta/src/chip/trace/writer/public.rs → starkyx/src/chip/trace/writer/public.rs b/curta/src/chip/trace/writer/public.rs → starkyx/src/chip/trace/writer/public.rs
diff --git a/curta/src/chip/trace/writer/row.rs → starkyx/src/chip/trace/writer/row.rs b/curta/src/chip/trace/writer/row.rs → starkyx/src/chip/trace/writer/row.rs
diff --git a/curta/src/chip/trace/writer/window.rs → starkyx/src/chip/trace/writer/window.rs b/curta/src/chip/trace/writer/window.rs → starkyx/src/chip/trace/writer/window.rs
diff --git a/...src/chip/uint/bytes/bit_operations/and.rs → ...src/chip/uint/bytes/bit_operations/and.rs b/...src/chip/uint/bytes/bit_operations/and.rs → ...src/chip/uint/bytes/bit_operations/and.rs
diff --git a/...src/chip/uint/bytes/bit_operations/mod.rs → ...src/chip/uint/bytes/bit_operations/mod.rs b/...src/chip/uint/bytes/bit_operations/mod.rs → ...src/chip/uint/bytes/bit_operations/mod.rs
diff --git a/...src/chip/uint/bytes/bit_operations/not.rs → ...src/chip/uint/bytes/bit_operations/not.rs b/...src/chip/uint/bytes/bit_operations/not.rs → ...src/chip/uint/bytes/bit_operations/not.rs
diff --git a/.../chip/uint/bytes/bit_operations/rotate.rs → .../chip/uint/bytes/bit_operations/rotate.rs b/.../chip/uint/bytes/bit_operations/rotate.rs → .../chip/uint/bytes/bit_operations/rotate.rs
diff --git a/...c/chip/uint/bytes/bit_operations/shift.rs → ...c/chip/uint/bytes/bit_operations/shift.rs b/...c/chip/uint/bytes/bit_operations/shift.rs → ...c/chip/uint/bytes/bit_operations/shift.rs
diff --git a/...src/chip/uint/bytes/bit_operations/xor.rs → ...src/chip/uint/bytes/bit_operations/xor.rs b/...src/chip/uint/bytes/bit_operations/xor.rs → ...src/chip/uint/bytes/bit_operations/xor.rs
diff --git a/curta/src/chip/uint/bytes/decode.rs → starkyx/src/chip/uint/bytes/decode.rs b/curta/src/chip/uint/bytes/decode.rs → starkyx/src/chip/uint/bytes/decode.rs
diff --git a/.../bytes/lookup_table/builder_operations.rs → .../bytes/lookup_table/builder_operations.rs b/.../bytes/lookup_table/builder_operations.rs → .../bytes/lookup_table/builder_operations.rs
diff --git a/...a/src/chip/uint/bytes/lookup_table/mod.rs → ...x/src/chip/uint/bytes/lookup_table/mod.rs b/...a/src/chip/uint/bytes/lookup_table/mod.rs → ...x/src/chip/uint/bytes/lookup_table/mod.rs
diff --git a/...t/bytes/lookup_table/multiplicity_data.rs → ...t/bytes/lookup_table/multiplicity_data.rs b/...t/bytes/lookup_table/multiplicity_data.rs → ...t/bytes/lookup_table/multiplicity_data.rs
diff --git a/...src/chip/uint/bytes/lookup_table/table.rs → ...src/chip/uint/bytes/lookup_table/table.rs b/...src/chip/uint/bytes/lookup_table/table.rs → ...src/chip/uint/bytes/lookup_table/table.rs
diff --git a/curta/src/chip/uint/bytes/mod.rs → starkyx/src/chip/uint/bytes/mod.rs b/curta/src/chip/uint/bytes/mod.rs → starkyx/src/chip/uint/bytes/mod.rs
diff --git a/...chip/uint/bytes/operations/instruction.rs → ...chip/uint/bytes/operations/instruction.rs b/...chip/uint/bytes/operations/instruction.rs → ...chip/uint/bytes/operations/instruction.rs
diff --git a/curta/src/chip/uint/bytes/operations/mod.rs → ...kyx/src/chip/uint/bytes/operations/mod.rs b/curta/src/chip/uint/bytes/operations/mod.rs → ...kyx/src/chip/uint/bytes/operations/mod.rs
diff --git a/...a/src/chip/uint/bytes/operations/value.rs → ...x/src/chip/uint/bytes/operations/value.rs b/...a/src/chip/uint/bytes/operations/value.rs → ...x/src/chip/uint/bytes/operations/value.rs
diff --git a/curta/src/chip/uint/bytes/register.rs → starkyx/src/chip/uint/bytes/register.rs b/curta/src/chip/uint/bytes/register.rs → starkyx/src/chip/uint/bytes/register.rs
diff --git a/curta/src/chip/uint/bytes/util.rs → starkyx/src/chip/uint/bytes/util.rs b/curta/src/chip/uint/bytes/util.rs → starkyx/src/chip/uint/bytes/util.rs
diff --git a/curta/src/chip/uint/mod.rs → starkyx/src/chip/uint/mod.rs b/curta/src/chip/uint/mod.rs → starkyx/src/chip/uint/mod.rs
diff --git a/curta/src/chip/uint/operations/add.rs → starkyx/src/chip/uint/operations/add.rs b/curta/src/chip/uint/operations/add.rs → starkyx/src/chip/uint/operations/add.rs
diff --git a/curta/src/chip/uint/operations/and.rs → starkyx/src/chip/uint/operations/and.rs b/curta/src/chip/uint/operations/and.rs → starkyx/src/chip/uint/operations/and.rs
diff --git a/...a/src/chip/uint/operations/instruction.rs → ...x/src/chip/uint/operations/instruction.rs b/...a/src/chip/uint/operations/instruction.rs → ...x/src/chip/uint/operations/instruction.rs
diff --git a/curta/src/chip/uint/operations/mod.rs → starkyx/src/chip/uint/operations/mod.rs b/curta/src/chip/uint/operations/mod.rs → starkyx/src/chip/uint/operations/mod.rs
diff --git a/curta/src/chip/uint/operations/not.rs → starkyx/src/chip/uint/operations/not.rs b/curta/src/chip/uint/operations/not.rs → starkyx/src/chip/uint/operations/not.rs
diff --git a/curta/src/chip/uint/operations/rotate.rs → starkyx/src/chip/uint/operations/rotate.rs b/curta/src/chip/uint/operations/rotate.rs → starkyx/src/chip/uint/operations/rotate.rs
diff --git a/curta/src/chip/uint/operations/shr.rs → starkyx/src/chip/uint/operations/shr.rs b/curta/src/chip/uint/operations/shr.rs → starkyx/src/chip/uint/operations/shr.rs
diff --git a/curta/src/chip/uint/operations/xor.rs → starkyx/src/chip/uint/operations/xor.rs b/curta/src/chip/uint/operations/xor.rs → starkyx/src/chip/uint/operations/xor.rs
diff --git a/curta/src/chip/uint/register.rs → starkyx/src/chip/uint/register.rs b/curta/src/chip/uint/register.rs → starkyx/src/chip/uint/register.rs
diff --git a/curta/src/chip/uint/util.rs → starkyx/src/chip/uint/util.rs b/curta/src/chip/uint/util.rs → starkyx/src/chip/uint/util.rs
diff --git a/curta/src/chip/utils.rs → starkyx/src/chip/utils.rs b/curta/src/chip/utils.rs → starkyx/src/chip/utils.rs
diff --git a/curta/src/lib.rs → starkyx/src/lib.rs b/curta/src/lib.rs → starkyx/src/lib.rs
diff --git a/curta/src/machine/builder/mod.rs → starkyx/src/machine/builder/mod.rs b/curta/src/machine/builder/mod.rs → starkyx/src/machine/builder/mod.rs
diff --git a/curta/src/machine/builder/ops.rs → starkyx/src/machine/builder/ops.rs b/curta/src/machine/builder/ops.rs → starkyx/src/machine/builder/ops.rs
diff --git a/curta/src/machine/bytes/air.rs → starkyx/src/machine/bytes/air.rs b/curta/src/machine/bytes/air.rs → starkyx/src/machine/bytes/air.rs
diff --git a/curta/src/machine/bytes/builder.rs → starkyx/src/machine/bytes/builder.rs b/curta/src/machine/bytes/builder.rs → starkyx/src/machine/bytes/builder.rs
diff --git a/curta/src/machine/bytes/mod.rs → starkyx/src/machine/bytes/mod.rs b/curta/src/machine/bytes/mod.rs → starkyx/src/machine/bytes/mod.rs
diff --git a/curta/src/machine/bytes/ops.rs → starkyx/src/machine/bytes/ops.rs b/curta/src/machine/bytes/ops.rs → starkyx/src/machine/bytes/ops.rs
diff --git a/curta/src/machine/bytes/proof.rs → starkyx/src/machine/bytes/proof.rs b/curta/src/machine/bytes/proof.rs → starkyx/src/machine/bytes/proof.rs
diff --git a/curta/src/machine/bytes/stark.rs → starkyx/src/machine/bytes/stark.rs b/curta/src/machine/bytes/stark.rs → starkyx/src/machine/bytes/stark.rs
diff --git a/curta/src/machine/ec/builder.rs → starkyx/src/machine/ec/builder.rs b/curta/src/machine/ec/builder.rs → starkyx/src/machine/ec/builder.rs
diff --git a/curta/src/machine/ec/mod.rs → starkyx/src/machine/ec/mod.rs b/curta/src/machine/ec/mod.rs → starkyx/src/machine/ec/mod.rs
diff --git a/curta/src/machine/ec/scalar_mul.rs → starkyx/src/machine/ec/scalar_mul.rs b/curta/src/machine/ec/scalar_mul.rs → starkyx/src/machine/ec/scalar_mul.rs
diff --git a/curta/src/machine/emulated/builder.rs → starkyx/src/machine/emulated/builder.rs b/curta/src/machine/emulated/builder.rs → starkyx/src/machine/emulated/builder.rs
diff --git a/curta/src/machine/emulated/mod.rs → starkyx/src/machine/emulated/mod.rs b/curta/src/machine/emulated/mod.rs → starkyx/src/machine/emulated/mod.rs
diff --git a/curta/src/machine/emulated/proof.rs → starkyx/src/machine/emulated/proof.rs b/curta/src/machine/emulated/proof.rs → starkyx/src/machine/emulated/proof.rs
diff --git a/curta/src/machine/emulated/stark.rs → starkyx/src/machine/emulated/stark.rs b/curta/src/machine/emulated/stark.rs → starkyx/src/machine/emulated/stark.rs
diff --git a/curta/src/machine/hash/blake/blake2b/air.rs → ...kyx/src/machine/hash/blake/blake2b/air.rs b/curta/src/machine/hash/blake/blake2b/air.rs → ...kyx/src/machine/hash/blake/blake2b/air.rs
diff --git a/...src/machine/hash/blake/blake2b/builder.rs → ...src/machine/hash/blake/blake2b/builder.rs b/...src/machine/hash/blake/blake2b/builder.rs → ...src/machine/hash/blake/blake2b/builder.rs
diff --git a/curta/src/machine/hash/blake/blake2b/data.rs → ...yx/src/machine/hash/blake/blake2b/data.rs b/curta/src/machine/hash/blake/blake2b/data.rs → ...yx/src/machine/hash/blake/blake2b/data.rs
diff --git a/curta/src/machine/hash/blake/blake2b/mod.rs → ...kyx/src/machine/hash/blake/blake2b/mod.rs b/curta/src/machine/hash/blake/blake2b/mod.rs → ...kyx/src/machine/hash/blake/blake2b/mod.rs
diff --git a/curta/src/machine/hash/blake/blake2b/pure.rs → ...yx/src/machine/hash/blake/blake2b/pure.rs b/curta/src/machine/hash/blake/blake2b/pure.rs → ...yx/src/machine/hash/blake/blake2b/pure.rs
diff --git a/...rc/machine/hash/blake/blake2b/register.rs → ...rc/machine/hash/blake/blake2b/register.rs b/...rc/machine/hash/blake/blake2b/register.rs → ...rc/machine/hash/blake/blake2b/register.rs
diff --git a/...a/src/machine/hash/blake/blake2b/utils.rs → ...x/src/machine/hash/blake/blake2b/utils.rs b/...a/src/machine/hash/blake/blake2b/utils.rs → ...x/src/machine/hash/blake/blake2b/utils.rs
diff --git a/curta/src/machine/hash/blake/mod.rs → starkyx/src/machine/hash/blake/mod.rs b/curta/src/machine/hash/blake/mod.rs → starkyx/src/machine/hash/blake/mod.rs
diff --git a/curta/src/machine/hash/mod.rs → starkyx/src/machine/hash/mod.rs b/curta/src/machine/hash/mod.rs → starkyx/src/machine/hash/mod.rs
diff --git a/curta/src/machine/hash/sha/algorithm.rs → starkyx/src/machine/hash/sha/algorithm.rs b/curta/src/machine/hash/sha/algorithm.rs → starkyx/src/machine/hash/sha/algorithm.rs
diff --git a/curta/src/machine/hash/sha/builder.rs → starkyx/src/machine/hash/sha/builder.rs b/curta/src/machine/hash/sha/builder.rs → starkyx/src/machine/hash/sha/builder.rs
diff --git a/curta/src/machine/hash/sha/data.rs → starkyx/src/machine/hash/sha/data.rs b/curta/src/machine/hash/sha/data.rs → starkyx/src/machine/hash/sha/data.rs
diff --git a/curta/src/machine/hash/sha/mod.rs → starkyx/src/machine/hash/sha/mod.rs b/curta/src/machine/hash/sha/mod.rs → starkyx/src/machine/hash/sha/mod.rs
diff --git a/curta/src/machine/hash/sha/sha256/air.rs → starkyx/src/machine/hash/sha/sha256/air.rs b/curta/src/machine/hash/sha/sha256/air.rs → starkyx/src/machine/hash/sha/sha256/air.rs
diff --git a/curta/src/machine/hash/sha/sha256/mod.rs → starkyx/src/machine/hash/sha/sha256/mod.rs b/curta/src/machine/hash/sha/sha256/mod.rs → starkyx/src/machine/hash/sha/sha256/mod.rs
diff --git a/curta/src/machine/hash/sha/sha256/pure.rs → starkyx/src/machine/hash/sha/sha256/pure.rs b/curta/src/machine/hash/sha/sha256/pure.rs → starkyx/src/machine/hash/sha/sha256/pure.rs
diff --git a/...a/src/machine/hash/sha/sha256/register.rs → ...x/src/machine/hash/sha/sha256/register.rs b/...a/src/machine/hash/sha/sha256/register.rs → ...x/src/machine/hash/sha/sha256/register.rs
diff --git a/curta/src/machine/hash/sha/sha256/util.rs → starkyx/src/machine/hash/sha/sha256/util.rs b/curta/src/machine/hash/sha/sha256/util.rs → starkyx/src/machine/hash/sha/sha256/util.rs
diff --git a/curta/src/machine/hash/sha/sha512/air.rs → starkyx/src/machine/hash/sha/sha512/air.rs b/curta/src/machine/hash/sha/sha512/air.rs → starkyx/src/machine/hash/sha/sha512/air.rs
diff --git a/curta/src/machine/hash/sha/sha512/data.rs → starkyx/src/machine/hash/sha/sha512/data.rs b/curta/src/machine/hash/sha/sha512/data.rs → starkyx/src/machine/hash/sha/sha512/data.rs
diff --git a/curta/src/machine/hash/sha/sha512/mod.rs → starkyx/src/machine/hash/sha/sha512/mod.rs b/curta/src/machine/hash/sha/sha512/mod.rs → starkyx/src/machine/hash/sha/sha512/mod.rs
diff --git a/curta/src/machine/hash/sha/sha512/pure.rs → starkyx/src/machine/hash/sha/sha512/pure.rs b/curta/src/machine/hash/sha/sha512/pure.rs → starkyx/src/machine/hash/sha/sha512/pure.rs
diff --git a/...a/src/machine/hash/sha/sha512/register.rs → ...x/src/machine/hash/sha/sha512/register.rs b/...a/src/machine/hash/sha/sha512/register.rs → ...x/src/machine/hash/sha/sha512/register.rs
diff --git a/curta/src/machine/hash/sha/sha512/util.rs → starkyx/src/machine/hash/sha/sha512/util.rs b/curta/src/machine/hash/sha/sha512/util.rs → starkyx/src/machine/hash/sha/sha512/util.rs
diff --git a/curta/src/machine/mod.rs → starkyx/src/machine/mod.rs b/curta/src/machine/mod.rs → starkyx/src/machine/mod.rs
diff --git a/curta/src/machine/stark/builder.rs → starkyx/src/machine/stark/builder.rs b/curta/src/machine/stark/builder.rs → starkyx/src/machine/stark/builder.rs
diff --git a/curta/src/machine/stark/mod.rs → starkyx/src/machine/stark/mod.rs b/curta/src/machine/stark/mod.rs → starkyx/src/machine/stark/mod.rs
diff --git a/curta/src/math/algebra.rs → starkyx/src/math/algebra.rs b/curta/src/math/algebra.rs → starkyx/src/math/algebra.rs
diff --git a/curta/src/math/extension/cubic/element.rs → starkyx/src/math/extension/cubic/element.rs b/curta/src/math/extension/cubic/element.rs → starkyx/src/math/extension/cubic/element.rs
diff --git a/curta/src/math/extension/cubic/extension.rs → ...kyx/src/math/extension/cubic/extension.rs b/curta/src/math/extension/cubic/extension.rs → ...kyx/src/math/extension/cubic/extension.rs
diff --git a/curta/src/math/extension/cubic/mod.rs → starkyx/src/math/extension/cubic/mod.rs b/curta/src/math/extension/cubic/mod.rs → starkyx/src/math/extension/cubic/mod.rs
diff --git a/curta/src/math/extension/cubic/parameters.rs → ...yx/src/math/extension/cubic/parameters.rs b/curta/src/math/extension/cubic/parameters.rs → ...yx/src/math/extension/cubic/parameters.rs
diff --git a/curta/src/math/extension/mod.rs → starkyx/src/math/extension/mod.rs b/curta/src/math/extension/mod.rs → starkyx/src/math/extension/mod.rs
diff --git a/curta/src/math/field.rs → starkyx/src/math/field.rs b/curta/src/math/field.rs → starkyx/src/math/field.rs
diff --git a/curta/src/math/goldilocks/cubic.rs → starkyx/src/math/goldilocks/cubic.rs b/curta/src/math/goldilocks/cubic.rs → starkyx/src/math/goldilocks/cubic.rs
diff --git a/curta/src/math/goldilocks/mod.rs → starkyx/src/math/goldilocks/mod.rs b/curta/src/math/goldilocks/mod.rs → starkyx/src/math/goldilocks/mod.rs
diff --git a/curta/src/math/mod.rs → starkyx/src/math/mod.rs b/curta/src/math/mod.rs → starkyx/src/math/mod.rs
diff --git a/curta/src/maybe_rayon.rs → starkyx/src/maybe_rayon.rs b/curta/src/maybe_rayon.rs → starkyx/src/maybe_rayon.rs
diff --git a/curta/src/plonky2/cubic/arithmetic_gate.rs → starkyx/src/plonky2/cubic/arithmetic_gate.rs b/curta/src/plonky2/cubic/arithmetic_gate.rs → starkyx/src/plonky2/cubic/arithmetic_gate.rs
diff --git a/curta/src/plonky2/cubic/builder.rs → starkyx/src/plonky2/cubic/builder.rs b/curta/src/plonky2/cubic/builder.rs → starkyx/src/plonky2/cubic/builder.rs
diff --git a/curta/src/plonky2/cubic/mod.rs → starkyx/src/plonky2/cubic/mod.rs b/curta/src/plonky2/cubic/mod.rs → starkyx/src/plonky2/cubic/mod.rs
diff --git a/curta/src/plonky2/cubic/mul_gate.rs → starkyx/src/plonky2/cubic/mul_gate.rs b/curta/src/plonky2/cubic/mul_gate.rs → starkyx/src/plonky2/cubic/mul_gate.rs
diff --git a/curta/src/plonky2/cubic/operations.rs → starkyx/src/plonky2/cubic/operations.rs b/curta/src/plonky2/cubic/operations.rs → starkyx/src/plonky2/cubic/operations.rs
diff --git a/curta/src/plonky2/cubic/target.rs → starkyx/src/plonky2/cubic/target.rs b/curta/src/plonky2/cubic/target.rs → starkyx/src/plonky2/cubic/target.rs
diff --git a/curta/src/plonky2/field.rs → starkyx/src/plonky2/field.rs b/curta/src/plonky2/field.rs → starkyx/src/plonky2/field.rs
diff --git a/curta/src/plonky2/mod.rs → starkyx/src/plonky2/mod.rs b/curta/src/plonky2/mod.rs → starkyx/src/plonky2/mod.rs
diff --git a/curta/src/plonky2/parser/consumer.rs → starkyx/src/plonky2/parser/consumer.rs b/curta/src/plonky2/parser/consumer.rs → starkyx/src/plonky2/parser/consumer.rs
diff --git a/curta/src/plonky2/parser/global.rs → starkyx/src/plonky2/parser/global.rs b/curta/src/plonky2/parser/global.rs → starkyx/src/plonky2/parser/global.rs
diff --git a/curta/src/plonky2/parser/mod.rs → starkyx/src/plonky2/parser/mod.rs b/curta/src/plonky2/parser/mod.rs → starkyx/src/plonky2/parser/mod.rs
diff --git a/curta/src/plonky2/stark/config.rs → starkyx/src/plonky2/stark/config.rs b/curta/src/plonky2/stark/config.rs → starkyx/src/plonky2/stark/config.rs
diff --git a/curta/src/plonky2/stark/gadget.rs → starkyx/src/plonky2/stark/gadget.rs b/curta/src/plonky2/stark/gadget.rs → starkyx/src/plonky2/stark/gadget.rs
diff --git a/curta/src/plonky2/stark/generator/mod.rs → starkyx/src/plonky2/stark/generator/mod.rs b/curta/src/plonky2/stark/generator/mod.rs → starkyx/src/plonky2/stark/generator/mod.rs
diff --git a/curta/src/plonky2/stark/generator/simple.rs → ...kyx/src/plonky2/stark/generator/simple.rs b/curta/src/plonky2/stark/generator/simple.rs → ...kyx/src/plonky2/stark/generator/simple.rs
diff --git a/curta/src/plonky2/stark/mod.rs → starkyx/src/plonky2/stark/mod.rs b/curta/src/plonky2/stark/mod.rs → starkyx/src/plonky2/stark/mod.rs
diff --git a/curta/src/plonky2/stark/proof.rs → starkyx/src/plonky2/stark/proof.rs b/curta/src/plonky2/stark/proof.rs → starkyx/src/plonky2/stark/proof.rs
diff --git a/curta/src/plonky2/stark/prover.rs → starkyx/src/plonky2/stark/prover.rs b/curta/src/plonky2/stark/prover.rs → starkyx/src/plonky2/stark/prover.rs
diff --git a/curta/src/plonky2/stark/verifier.rs → starkyx/src/plonky2/stark/verifier.rs b/curta/src/plonky2/stark/verifier.rs → starkyx/src/plonky2/stark/verifier.rs
diff --git a/curta/src/plonky2/trace.rs → starkyx/src/plonky2/trace.rs b/curta/src/plonky2/trace.rs → starkyx/src/plonky2/trace.rs
diff --git a/curta/src/polynomial/mod.rs → starkyx/src/polynomial/mod.rs b/curta/src/polynomial/mod.rs → starkyx/src/polynomial/mod.rs
diff --git a/curta/src/polynomial/ops.rs → starkyx/src/polynomial/ops.rs b/curta/src/polynomial/ops.rs → starkyx/src/polynomial/ops.rs
diff --git a/curta/src/polynomial/parser.rs → starkyx/src/polynomial/parser.rs b/curta/src/polynomial/parser.rs → starkyx/src/polynomial/parser.rs
diff --git a/curta/src/trace/generator.rs → starkyx/src/trace/generator.rs b/curta/src/trace/generator.rs → starkyx/src/trace/generator.rs
diff --git a/curta/src/trace/mod.rs → starkyx/src/trace/mod.rs b/curta/src/trace/mod.rs → starkyx/src/trace/mod.rs
diff --git a/curta/src/trace/view.rs → starkyx/src/trace/view.rs b/curta/src/trace/view.rs → starkyx/src/trace/view.rs
diff --git a/curta/src/trace/window.rs → starkyx/src/trace/window.rs b/curta/src/trace/window.rs → starkyx/src/trace/window.rs
diff --git a/curta/src/trace/window_parser.rs → starkyx/src/trace/window_parser.rs b/curta/src/trace/window_parser.rs → starkyx/src/trace/window_parser.rs
diff --git a/curta/src/utils/mod.rs → starkyx/src/utils/mod.rs b/curta/src/utils/mod.rs → starkyx/src/utils/mod.rs
diff --git a/curta/src/utils/serde.rs → starkyx/src/utils/serde.rs b/curta/src/utils/serde.rs → starkyx/src/utils/serde.rs
diff --git a/curta/src/utils/watcher.rs → starkyx/src/utils/watcher.rs b/curta/src/utils/watcher.rs → starkyx/src/utils/watcher.rs