From aaff5dcee559ea3578061f498192ae5c6aff8d38 Mon Sep 17 00:00:00 2001 From: mattstam Date: Mon, 12 Feb 2024 11:54:14 -0800 Subject: [PATCH 1/2] chore: update package from curta to starkyx --- Cargo.lock | 44 +++++++++---------- Cargo.toml | 4 +- README.md | 12 ++--- {curta => starkyx}/Cargo.toml | 2 +- {curta => starkyx}/src/air/curta_air.rs | 0 {curta => starkyx}/src/air/extension/cubic.rs | 0 {curta => starkyx}/src/air/extension/mod.rs | 0 {curta => starkyx}/src/air/fibonacci.rs | 0 {curta => starkyx}/src/air/mod.rs | 0 {curta => starkyx}/src/air/opening.rs | 0 {curta => starkyx}/src/air/parser.rs | 0 {curta => starkyx}/src/chip/air.rs | 0 .../src/chip/arithmetic/expression.rs | 0 .../src/chip/arithmetic/expression_slice.rs | 0 {curta => starkyx}/src/chip/arithmetic/mod.rs | 0 {curta => starkyx}/src/chip/bool.rs | 0 .../src/chip/builder/arithmetic.rs | 0 {curta => starkyx}/src/chip/builder/memory.rs | 0 {curta => starkyx}/src/chip/builder/mod.rs | 0 .../src/chip/builder/range_check.rs | 0 .../src/chip/builder/shared_memory.rs | 0 {curta => starkyx}/src/chip/constraint/mod.rs | 0 {curta => starkyx}/src/chip/ec/edwards/add.rs | 0 .../src/chip/ec/edwards/assert_valid.rs | 0 .../src/chip/ec/edwards/bigint_operations.rs | 0 .../src/chip/ec/edwards/ed25519/decompress.rs | 0 .../src/chip/ec/edwards/ed25519/gadget.rs | 0 .../chip/ec/edwards/ed25519/instruction.rs | 0 .../src/chip/ec/edwards/ed25519/mod.rs | 0 .../src/chip/ec/edwards/ed25519/params.rs | 0 .../src/chip/ec/edwards/ed25519/point.rs | 0 .../src/chip/ec/edwards/ed25519/sqrt.rs | 0 {curta => starkyx}/src/chip/ec/edwards/mod.rs | 0 {curta => starkyx}/src/chip/ec/gadget.rs | 0 .../src/chip/ec/instruction_set.rs | 0 {curta => starkyx}/src/chip/ec/mod.rs | 0 {curta => starkyx}/src/chip/ec/point.rs | 0 {curta => starkyx}/src/chip/ec/scalar.rs | 0 .../src/chip/ec/scalar_mul/mod.rs | 0 .../chip/ec/weierstrass/biguint_operations.rs | 0 .../src/chip/ec/weierstrass/bn254.rs | 0 .../src/chip/ec/weierstrass/group.rs | 0 .../src/chip/ec/weierstrass/mod.rs | 0 .../src/chip/ec/weierstrass/slope.rs | 0 {curta => starkyx}/src/chip/field/add.rs | 0 .../src/chip/field/constants.rs | 0 {curta => starkyx}/src/chip/field/den.rs | 0 {curta => starkyx}/src/chip/field/div.rs | 0 .../src/chip/field/inner_product.rs | 0 .../src/chip/field/instruction.rs | 0 {curta => starkyx}/src/chip/field/mod.rs | 0 {curta => starkyx}/src/chip/field/mul.rs | 0 .../src/chip/field/mul_const.rs | 0 {curta => starkyx}/src/chip/field/ops.rs | 0 .../src/chip/field/parameters.rs | 0 {curta => starkyx}/src/chip/field/register.rs | 0 {curta => starkyx}/src/chip/field/sub.rs | 0 {curta => starkyx}/src/chip/field/util.rs | 0 .../src/chip/instruction/assign.rs | 0 .../src/chip/instruction/bit.rs | 0 .../src/chip/instruction/clock.rs | 0 .../src/chip/instruction/cycle.rs | 0 .../src/chip/instruction/empty.rs | 0 .../src/chip/instruction/mod.rs | 0 .../src/chip/instruction/set.rs | 0 {curta => starkyx}/src/chip/memory/builder.rs | 0 {curta => starkyx}/src/chip/memory/get.rs | 0 .../src/chip/memory/instruction.rs | 0 {curta => starkyx}/src/chip/memory/map.rs | 0 {curta => starkyx}/src/chip/memory/mod.rs | 0 .../src/chip/memory/pointer/accumulate.rs | 0 .../src/chip/memory/pointer/key.rs | 0 .../src/chip/memory/pointer/mod.rs | 0 .../src/chip/memory/pointer/raw.rs | 0 .../src/chip/memory/pointer/slice.rs | 0 .../src/chip/memory/pointer/typed.rs | 0 {curta => starkyx}/src/chip/memory/set.rs | 0 {curta => starkyx}/src/chip/memory/time.rs | 0 {curta => starkyx}/src/chip/memory/value.rs | 0 {curta => starkyx}/src/chip/memory/watch.rs | 0 {curta => starkyx}/src/chip/mod.rs | 0 {curta => starkyx}/src/chip/register/array.rs | 0 {curta => starkyx}/src/chip/register/bit.rs | 0 {curta => starkyx}/src/chip/register/cell.rs | 0 {curta => starkyx}/src/chip/register/cubic.rs | 0 .../src/chip/register/element.rs | 0 .../src/chip/register/memory.rs | 0 {curta => starkyx}/src/chip/register/mod.rs | 0 {curta => starkyx}/src/chip/register/slice.rs | 0 {curta => starkyx}/src/chip/register/u16.rs | 0 .../src/chip/table/accumulator/constraint.rs | 0 .../src/chip/table/accumulator/mod.rs | 0 .../src/chip/table/accumulator/trace.rs | 0 .../src/chip/table/bus/channel/constraint.rs | 0 .../src/chip/table/bus/channel/mod.rs | 0 .../src/chip/table/bus/channel/trace.rs | 0 .../src/chip/table/bus/global/constraint.rs | 0 .../src/chip/table/bus/global/mod.rs | 0 .../src/chip/table/bus/global/trace.rs | 0 {curta => starkyx}/src/chip/table/bus/mod.rs | 0 .../chip/table/log_derivative/constraints.rs | 0 .../src/chip/table/log_derivative/entry.rs | 0 .../src/chip/table/log_derivative/mod.rs | 0 .../src/chip/table/log_derivative/trace.rs | 0 .../src/chip/table/lookup/constraint.rs | 0 .../src/chip/table/lookup/mod.rs | 0 .../src/chip/table/lookup/table/constraint.rs | 0 .../src/chip/table/lookup/table/mod.rs | 0 .../src/chip/table/lookup/table/trace.rs | 0 .../src/chip/table/lookup/trace.rs | 0 .../chip/table/lookup/values/constraint.rs | 0 .../src/chip/table/lookup/values/mod.rs | 0 .../src/chip/table/lookup/values/trace.rs | 0 {curta => starkyx}/src/chip/table/mod.rs | 0 {curta => starkyx}/src/chip/table/powers.rs | 0 {curta => starkyx}/src/chip/trace/data.rs | 0 .../src/chip/trace/generator.rs | 0 {curta => starkyx}/src/chip/trace/mod.rs | 0 .../src/chip/trace/writer/data.rs | 0 .../src/chip/trace/writer/mod.rs | 0 .../src/chip/trace/writer/public.rs | 0 .../src/chip/trace/writer/row.rs | 0 .../src/chip/trace/writer/window.rs | 0 .../src/chip/uint/bytes/bit_operations/and.rs | 0 .../src/chip/uint/bytes/bit_operations/mod.rs | 0 .../src/chip/uint/bytes/bit_operations/not.rs | 0 .../chip/uint/bytes/bit_operations/rotate.rs | 0 .../chip/uint/bytes/bit_operations/shift.rs | 0 .../src/chip/uint/bytes/bit_operations/xor.rs | 0 .../src/chip/uint/bytes/decode.rs | 0 .../bytes/lookup_table/builder_operations.rs | 0 .../src/chip/uint/bytes/lookup_table/mod.rs | 0 .../bytes/lookup_table/multiplicity_data.rs | 0 .../src/chip/uint/bytes/lookup_table/table.rs | 0 {curta => starkyx}/src/chip/uint/bytes/mod.rs | 0 .../chip/uint/bytes/operations/instruction.rs | 0 .../src/chip/uint/bytes/operations/mod.rs | 0 .../src/chip/uint/bytes/operations/value.rs | 0 .../src/chip/uint/bytes/register.rs | 0 .../src/chip/uint/bytes/util.rs | 0 {curta => starkyx}/src/chip/uint/mod.rs | 0 .../src/chip/uint/operations/add.rs | 0 .../src/chip/uint/operations/and.rs | 0 .../src/chip/uint/operations/instruction.rs | 0 .../src/chip/uint/operations/mod.rs | 0 .../src/chip/uint/operations/not.rs | 0 .../src/chip/uint/operations/rotate.rs | 0 .../src/chip/uint/operations/shr.rs | 0 .../src/chip/uint/operations/xor.rs | 0 {curta => starkyx}/src/chip/uint/register.rs | 0 {curta => starkyx}/src/chip/uint/util.rs | 0 {curta => starkyx}/src/chip/utils.rs | 0 {curta => starkyx}/src/lib.rs | 0 {curta => starkyx}/src/machine/builder/mod.rs | 0 {curta => starkyx}/src/machine/builder/ops.rs | 0 {curta => starkyx}/src/machine/bytes/air.rs | 0 .../src/machine/bytes/builder.rs | 0 {curta => starkyx}/src/machine/bytes/mod.rs | 0 {curta => starkyx}/src/machine/bytes/ops.rs | 0 {curta => starkyx}/src/machine/bytes/proof.rs | 0 {curta => starkyx}/src/machine/bytes/stark.rs | 0 {curta => starkyx}/src/machine/ec/builder.rs | 0 {curta => starkyx}/src/machine/ec/mod.rs | 0 .../src/machine/ec/scalar_mul.rs | 0 .../src/machine/emulated/builder.rs | 0 .../src/machine/emulated/mod.rs | 0 .../src/machine/emulated/proof.rs | 0 .../src/machine/emulated/stark.rs | 0 .../src/machine/hash/blake/blake2b/air.rs | 0 .../src/machine/hash/blake/blake2b/builder.rs | 0 .../src/machine/hash/blake/blake2b/data.rs | 0 .../src/machine/hash/blake/blake2b/mod.rs | 0 .../src/machine/hash/blake/blake2b/pure.rs | 0 .../machine/hash/blake/blake2b/register.rs | 0 .../src/machine/hash/blake/blake2b/utils.rs | 0 .../src/machine/hash/blake/mod.rs | 0 {curta => starkyx}/src/machine/hash/mod.rs | 0 .../src/machine/hash/sha/algorithm.rs | 0 .../src/machine/hash/sha/builder.rs | 0 .../src/machine/hash/sha/data.rs | 0 .../src/machine/hash/sha/mod.rs | 0 .../src/machine/hash/sha/sha256/air.rs | 0 .../src/machine/hash/sha/sha256/mod.rs | 0 .../src/machine/hash/sha/sha256/pure.rs | 0 .../src/machine/hash/sha/sha256/register.rs | 0 .../src/machine/hash/sha/sha256/util.rs | 0 .../src/machine/hash/sha/sha512/air.rs | 0 .../src/machine/hash/sha/sha512/data.rs | 0 .../src/machine/hash/sha/sha512/mod.rs | 0 .../src/machine/hash/sha/sha512/pure.rs | 0 .../src/machine/hash/sha/sha512/register.rs | 0 .../src/machine/hash/sha/sha512/util.rs | 0 {curta => starkyx}/src/machine/mod.rs | 0 .../src/machine/stark/builder.rs | 0 {curta => starkyx}/src/machine/stark/mod.rs | 0 {curta => starkyx}/src/math/algebra.rs | 0 .../src/math/extension/cubic/element.rs | 0 .../src/math/extension/cubic/extension.rs | 0 .../src/math/extension/cubic/mod.rs | 0 .../src/math/extension/cubic/parameters.rs | 0 {curta => starkyx}/src/math/extension/mod.rs | 0 {curta => starkyx}/src/math/field.rs | 0 .../src/math/goldilocks/cubic.rs | 0 {curta => starkyx}/src/math/goldilocks/mod.rs | 0 {curta => starkyx}/src/math/mod.rs | 0 {curta => starkyx}/src/maybe_rayon.rs | 0 .../src/plonky2/cubic/arithmetic_gate.rs | 0 .../src/plonky2/cubic/builder.rs | 0 {curta => starkyx}/src/plonky2/cubic/mod.rs | 0 .../src/plonky2/cubic/mul_gate.rs | 0 .../src/plonky2/cubic/operations.rs | 0 .../src/plonky2/cubic/target.rs | 0 {curta => starkyx}/src/plonky2/field.rs | 0 {curta => starkyx}/src/plonky2/mod.rs | 0 .../src/plonky2/parser/consumer.rs | 0 .../src/plonky2/parser/global.rs | 0 {curta => starkyx}/src/plonky2/parser/mod.rs | 0 .../src/plonky2/stark/config.rs | 0 .../src/plonky2/stark/gadget.rs | 0 .../src/plonky2/stark/generator/mod.rs | 0 .../src/plonky2/stark/generator/simple.rs | 0 {curta => starkyx}/src/plonky2/stark/mod.rs | 0 {curta => starkyx}/src/plonky2/stark/proof.rs | 0 .../src/plonky2/stark/prover.rs | 0 .../src/plonky2/stark/verifier.rs | 0 {curta => starkyx}/src/plonky2/trace.rs | 0 {curta => starkyx}/src/polynomial/mod.rs | 0 {curta => starkyx}/src/polynomial/ops.rs | 0 {curta => starkyx}/src/polynomial/parser.rs | 0 {curta => starkyx}/src/trace/generator.rs | 0 {curta => starkyx}/src/trace/mod.rs | 0 {curta => starkyx}/src/trace/view.rs | 0 {curta => starkyx}/src/trace/window.rs | 0 {curta => starkyx}/src/trace/window_parser.rs | 0 {curta => starkyx}/src/utils/mod.rs | 0 {curta => starkyx}/src/utils/serde.rs | 0 {curta => starkyx}/src/utils/watcher.rs | 0 237 files changed, 31 insertions(+), 31 deletions(-) rename {curta => starkyx}/Cargo.toml (98%) rename {curta => starkyx}/src/air/curta_air.rs (100%) rename {curta => starkyx}/src/air/extension/cubic.rs (100%) rename {curta => starkyx}/src/air/extension/mod.rs (100%) rename {curta => starkyx}/src/air/fibonacci.rs (100%) rename {curta => starkyx}/src/air/mod.rs (100%) rename {curta => starkyx}/src/air/opening.rs (100%) rename {curta => starkyx}/src/air/parser.rs (100%) rename {curta => starkyx}/src/chip/air.rs (100%) rename {curta => starkyx}/src/chip/arithmetic/expression.rs (100%) rename {curta => starkyx}/src/chip/arithmetic/expression_slice.rs (100%) rename {curta => starkyx}/src/chip/arithmetic/mod.rs (100%) rename {curta => starkyx}/src/chip/bool.rs (100%) rename {curta => starkyx}/src/chip/builder/arithmetic.rs (100%) rename {curta => starkyx}/src/chip/builder/memory.rs (100%) rename {curta => starkyx}/src/chip/builder/mod.rs (100%) rename {curta => starkyx}/src/chip/builder/range_check.rs (100%) rename {curta => starkyx}/src/chip/builder/shared_memory.rs (100%) rename {curta => starkyx}/src/chip/constraint/mod.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/add.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/assert_valid.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/bigint_operations.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/ed25519/decompress.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/ed25519/gadget.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/ed25519/instruction.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/ed25519/mod.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/ed25519/params.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/ed25519/point.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/ed25519/sqrt.rs (100%) rename {curta => starkyx}/src/chip/ec/edwards/mod.rs (100%) rename {curta => starkyx}/src/chip/ec/gadget.rs (100%) rename {curta => starkyx}/src/chip/ec/instruction_set.rs (100%) rename {curta => starkyx}/src/chip/ec/mod.rs (100%) rename {curta => starkyx}/src/chip/ec/point.rs (100%) rename {curta => starkyx}/src/chip/ec/scalar.rs (100%) rename {curta => starkyx}/src/chip/ec/scalar_mul/mod.rs (100%) rename {curta => starkyx}/src/chip/ec/weierstrass/biguint_operations.rs (100%) rename {curta => starkyx}/src/chip/ec/weierstrass/bn254.rs (100%) rename {curta => starkyx}/src/chip/ec/weierstrass/group.rs (100%) rename {curta => starkyx}/src/chip/ec/weierstrass/mod.rs (100%) rename {curta => starkyx}/src/chip/ec/weierstrass/slope.rs (100%) rename {curta => starkyx}/src/chip/field/add.rs (100%) rename {curta => starkyx}/src/chip/field/constants.rs (100%) rename {curta => starkyx}/src/chip/field/den.rs (100%) rename {curta => starkyx}/src/chip/field/div.rs (100%) rename {curta => starkyx}/src/chip/field/inner_product.rs (100%) rename {curta => starkyx}/src/chip/field/instruction.rs (100%) rename {curta => starkyx}/src/chip/field/mod.rs (100%) rename {curta => starkyx}/src/chip/field/mul.rs (100%) rename {curta => starkyx}/src/chip/field/mul_const.rs (100%) rename {curta => starkyx}/src/chip/field/ops.rs (100%) rename {curta => starkyx}/src/chip/field/parameters.rs (100%) rename {curta => starkyx}/src/chip/field/register.rs (100%) rename {curta => starkyx}/src/chip/field/sub.rs (100%) rename {curta => starkyx}/src/chip/field/util.rs (100%) rename {curta => starkyx}/src/chip/instruction/assign.rs (100%) rename {curta => starkyx}/src/chip/instruction/bit.rs (100%) rename {curta => starkyx}/src/chip/instruction/clock.rs (100%) rename {curta => starkyx}/src/chip/instruction/cycle.rs (100%) rename {curta => starkyx}/src/chip/instruction/empty.rs (100%) rename {curta => starkyx}/src/chip/instruction/mod.rs (100%) rename {curta => starkyx}/src/chip/instruction/set.rs (100%) rename {curta => starkyx}/src/chip/memory/builder.rs (100%) rename {curta => starkyx}/src/chip/memory/get.rs (100%) rename {curta => starkyx}/src/chip/memory/instruction.rs (100%) rename {curta => starkyx}/src/chip/memory/map.rs (100%) rename {curta => starkyx}/src/chip/memory/mod.rs (100%) rename {curta => starkyx}/src/chip/memory/pointer/accumulate.rs (100%) rename {curta => starkyx}/src/chip/memory/pointer/key.rs (100%) rename {curta => starkyx}/src/chip/memory/pointer/mod.rs (100%) rename {curta => starkyx}/src/chip/memory/pointer/raw.rs (100%) rename {curta => starkyx}/src/chip/memory/pointer/slice.rs (100%) rename {curta => starkyx}/src/chip/memory/pointer/typed.rs (100%) rename {curta => starkyx}/src/chip/memory/set.rs (100%) rename {curta => starkyx}/src/chip/memory/time.rs (100%) rename {curta => starkyx}/src/chip/memory/value.rs (100%) rename {curta => starkyx}/src/chip/memory/watch.rs (100%) rename {curta => starkyx}/src/chip/mod.rs (100%) rename {curta => starkyx}/src/chip/register/array.rs (100%) rename {curta => starkyx}/src/chip/register/bit.rs (100%) rename {curta => starkyx}/src/chip/register/cell.rs (100%) rename {curta => starkyx}/src/chip/register/cubic.rs (100%) rename {curta => starkyx}/src/chip/register/element.rs (100%) rename {curta => starkyx}/src/chip/register/memory.rs (100%) rename {curta => starkyx}/src/chip/register/mod.rs (100%) rename {curta => starkyx}/src/chip/register/slice.rs (100%) rename {curta => starkyx}/src/chip/register/u16.rs (100%) rename {curta => starkyx}/src/chip/table/accumulator/constraint.rs (100%) rename {curta => starkyx}/src/chip/table/accumulator/mod.rs (100%) rename {curta => starkyx}/src/chip/table/accumulator/trace.rs (100%) rename {curta => starkyx}/src/chip/table/bus/channel/constraint.rs (100%) rename {curta => starkyx}/src/chip/table/bus/channel/mod.rs (100%) rename {curta => starkyx}/src/chip/table/bus/channel/trace.rs (100%) rename {curta => starkyx}/src/chip/table/bus/global/constraint.rs (100%) rename {curta => starkyx}/src/chip/table/bus/global/mod.rs (100%) rename {curta => starkyx}/src/chip/table/bus/global/trace.rs (100%) rename {curta => starkyx}/src/chip/table/bus/mod.rs (100%) rename {curta => starkyx}/src/chip/table/log_derivative/constraints.rs (100%) rename {curta => starkyx}/src/chip/table/log_derivative/entry.rs (100%) rename {curta => starkyx}/src/chip/table/log_derivative/mod.rs (100%) rename {curta => starkyx}/src/chip/table/log_derivative/trace.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/constraint.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/mod.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/table/constraint.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/table/mod.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/table/trace.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/trace.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/values/constraint.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/values/mod.rs (100%) rename {curta => starkyx}/src/chip/table/lookup/values/trace.rs (100%) rename {curta => starkyx}/src/chip/table/mod.rs (100%) rename {curta => starkyx}/src/chip/table/powers.rs (100%) rename {curta => starkyx}/src/chip/trace/data.rs (100%) rename {curta => starkyx}/src/chip/trace/generator.rs (100%) rename {curta => starkyx}/src/chip/trace/mod.rs (100%) rename {curta => starkyx}/src/chip/trace/writer/data.rs (100%) rename {curta => starkyx}/src/chip/trace/writer/mod.rs (100%) rename {curta => starkyx}/src/chip/trace/writer/public.rs (100%) rename {curta => starkyx}/src/chip/trace/writer/row.rs (100%) rename {curta => starkyx}/src/chip/trace/writer/window.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/bit_operations/and.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/bit_operations/mod.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/bit_operations/not.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/bit_operations/rotate.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/bit_operations/shift.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/bit_operations/xor.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/decode.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/lookup_table/builder_operations.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/lookup_table/mod.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/lookup_table/multiplicity_data.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/lookup_table/table.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/mod.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/operations/instruction.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/operations/mod.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/operations/value.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/register.rs (100%) rename {curta => starkyx}/src/chip/uint/bytes/util.rs (100%) rename {curta => starkyx}/src/chip/uint/mod.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/add.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/and.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/instruction.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/mod.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/not.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/rotate.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/shr.rs (100%) rename {curta => starkyx}/src/chip/uint/operations/xor.rs (100%) rename {curta => starkyx}/src/chip/uint/register.rs (100%) rename {curta => starkyx}/src/chip/uint/util.rs (100%) rename {curta => starkyx}/src/chip/utils.rs (100%) rename {curta => starkyx}/src/lib.rs (100%) rename {curta => starkyx}/src/machine/builder/mod.rs (100%) rename {curta => starkyx}/src/machine/builder/ops.rs (100%) rename {curta => starkyx}/src/machine/bytes/air.rs (100%) rename {curta => starkyx}/src/machine/bytes/builder.rs (100%) rename {curta => starkyx}/src/machine/bytes/mod.rs (100%) rename {curta => starkyx}/src/machine/bytes/ops.rs (100%) rename {curta => starkyx}/src/machine/bytes/proof.rs (100%) rename {curta => starkyx}/src/machine/bytes/stark.rs (100%) rename {curta => starkyx}/src/machine/ec/builder.rs (100%) rename {curta => starkyx}/src/machine/ec/mod.rs (100%) rename {curta => starkyx}/src/machine/ec/scalar_mul.rs (100%) rename {curta => starkyx}/src/machine/emulated/builder.rs (100%) rename {curta => starkyx}/src/machine/emulated/mod.rs (100%) rename {curta => starkyx}/src/machine/emulated/proof.rs (100%) rename {curta => starkyx}/src/machine/emulated/stark.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/blake2b/air.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/blake2b/builder.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/blake2b/data.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/blake2b/mod.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/blake2b/pure.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/blake2b/register.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/blake2b/utils.rs (100%) rename {curta => starkyx}/src/machine/hash/blake/mod.rs (100%) rename {curta => starkyx}/src/machine/hash/mod.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/algorithm.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/builder.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/data.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/mod.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha256/air.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha256/mod.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha256/pure.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha256/register.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha256/util.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha512/air.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha512/data.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha512/mod.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha512/pure.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha512/register.rs (100%) rename {curta => starkyx}/src/machine/hash/sha/sha512/util.rs (100%) rename {curta => starkyx}/src/machine/mod.rs (100%) rename {curta => starkyx}/src/machine/stark/builder.rs (100%) rename {curta => starkyx}/src/machine/stark/mod.rs (100%) rename {curta => starkyx}/src/math/algebra.rs (100%) rename {curta => starkyx}/src/math/extension/cubic/element.rs (100%) rename {curta => starkyx}/src/math/extension/cubic/extension.rs (100%) rename {curta => starkyx}/src/math/extension/cubic/mod.rs (100%) rename {curta => starkyx}/src/math/extension/cubic/parameters.rs (100%) rename {curta => starkyx}/src/math/extension/mod.rs (100%) rename {curta => starkyx}/src/math/field.rs (100%) rename {curta => starkyx}/src/math/goldilocks/cubic.rs (100%) rename {curta => starkyx}/src/math/goldilocks/mod.rs (100%) rename {curta => starkyx}/src/math/mod.rs (100%) rename {curta => starkyx}/src/maybe_rayon.rs (100%) rename {curta => starkyx}/src/plonky2/cubic/arithmetic_gate.rs (100%) rename {curta => starkyx}/src/plonky2/cubic/builder.rs (100%) rename {curta => starkyx}/src/plonky2/cubic/mod.rs (100%) rename {curta => starkyx}/src/plonky2/cubic/mul_gate.rs (100%) rename {curta => starkyx}/src/plonky2/cubic/operations.rs (100%) rename {curta => starkyx}/src/plonky2/cubic/target.rs (100%) rename {curta => starkyx}/src/plonky2/field.rs (100%) rename {curta => starkyx}/src/plonky2/mod.rs (100%) rename {curta => starkyx}/src/plonky2/parser/consumer.rs (100%) rename {curta => starkyx}/src/plonky2/parser/global.rs (100%) rename {curta => starkyx}/src/plonky2/parser/mod.rs (100%) rename {curta => starkyx}/src/plonky2/stark/config.rs (100%) rename {curta => starkyx}/src/plonky2/stark/gadget.rs (100%) rename {curta => starkyx}/src/plonky2/stark/generator/mod.rs (100%) rename {curta => starkyx}/src/plonky2/stark/generator/simple.rs (100%) rename {curta => starkyx}/src/plonky2/stark/mod.rs (100%) rename {curta => starkyx}/src/plonky2/stark/proof.rs (100%) rename {curta => starkyx}/src/plonky2/stark/prover.rs (100%) rename {curta => starkyx}/src/plonky2/stark/verifier.rs (100%) rename {curta => starkyx}/src/plonky2/trace.rs (100%) rename {curta => starkyx}/src/polynomial/mod.rs (100%) rename {curta => starkyx}/src/polynomial/ops.rs (100%) rename {curta => starkyx}/src/polynomial/parser.rs (100%) rename {curta => starkyx}/src/trace/generator.rs (100%) rename {curta => starkyx}/src/trace/mod.rs (100%) rename {curta => starkyx}/src/trace/view.rs (100%) rename {curta => starkyx}/src/trace/window.rs (100%) rename {curta => starkyx}/src/trace/window_parser.rs (100%) rename {curta => starkyx}/src/utils/mod.rs (100%) rename {curta => starkyx}/src/utils/serde.rs (100%) rename {curta => starkyx}/src/utils/watcher.rs (100%) diff --git a/Cargo.lock b/Cargo.lock index 2ef7fd789..821c7e4be 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -303,28 +303,6 @@ version = "0.2.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "7a81dae078cea95a014a339291cec439d2f232ebe854a9d672b796c6afafa9b7" -[[package]] -name = "curta" -version = "0.1.0" -dependencies = [ - "anyhow", - "bincode", - "criterion", - "curve25519-dalek", - "env_logger", - "hex", - "itertools 0.10.5", - "log", - "num", - "plonky2", - "plonky2_maybe_rayon 0.1.1 (registry+https://github.com/rust-lang/crates.io-index)", - "pprof", - "rand", - "seq-macro", - "serde", - "subtle-encoding", -] - [[package]] name = "curve25519-dalek" version = "4.0.0" @@ -1162,6 +1140,28 @@ version = "1.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "a8f112729512f8e442d81f95a8a7ddf2b7c6b8a1a6f509a95864142b30cab2d3" +[[package]] +name = "starkyx" +version = "0.1.0" +dependencies = [ + "anyhow", + "bincode", + "criterion", + "curve25519-dalek", + "env_logger", + "hex", + "itertools 0.10.5", + "log", + "num", + "plonky2", + "plonky2_maybe_rayon 0.1.1 (registry+https://github.com/rust-lang/crates.io-index)", + "pprof", + "rand", + "seq-macro", + "serde", + "subtle-encoding", +] + [[package]] name = "static_assertions" version = "1.1.0" diff --git a/Cargo.toml b/Cargo.toml index 7e075860e..7724cc181 100644 --- 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"} \ No newline at end of file +starkyx = {path = "starkyx"} \ No newline at end of file diff --git a/README.md b/README.md index 89a0524da..a679958d4 100644 --- a/README.md +++ b/README.md @@ -1,15 +1,15 @@ -# Curta +# Starkyx Curta type I-CnAM 40092-IMG 6721-white ## 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 \ No newline at end of file +Starkyx starks can be integrated into a [Plonky2](https://github.com/mir-protocol/plonky2) circuit \ No newline at end of file diff --git a/curta/Cargo.toml b/starkyx/Cargo.toml similarity index 98% rename from curta/Cargo.toml rename to starkyx/Cargo.toml index 548b94d03..b714e9191 100644 --- a/curta/Cargo.toml +++ b/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 b/starkyx/src/air/curta_air.rs similarity index 100% rename from curta/src/air/curta_air.rs rename to starkyx/src/air/curta_air.rs diff --git a/curta/src/air/extension/cubic.rs b/starkyx/src/air/extension/cubic.rs similarity index 100% rename from curta/src/air/extension/cubic.rs rename to starkyx/src/air/extension/cubic.rs diff --git a/curta/src/air/extension/mod.rs b/starkyx/src/air/extension/mod.rs similarity index 100% rename from curta/src/air/extension/mod.rs rename to starkyx/src/air/extension/mod.rs diff --git a/curta/src/air/fibonacci.rs b/starkyx/src/air/fibonacci.rs similarity index 100% rename from curta/src/air/fibonacci.rs rename to starkyx/src/air/fibonacci.rs diff --git a/curta/src/air/mod.rs b/starkyx/src/air/mod.rs similarity index 100% rename from curta/src/air/mod.rs rename to starkyx/src/air/mod.rs diff --git a/curta/src/air/opening.rs b/starkyx/src/air/opening.rs similarity index 100% rename from curta/src/air/opening.rs rename to starkyx/src/air/opening.rs diff --git a/curta/src/air/parser.rs b/starkyx/src/air/parser.rs similarity index 100% rename from curta/src/air/parser.rs rename to starkyx/src/air/parser.rs diff --git a/curta/src/chip/air.rs b/starkyx/src/chip/air.rs similarity index 100% rename from curta/src/chip/air.rs rename to starkyx/src/chip/air.rs diff --git a/curta/src/chip/arithmetic/expression.rs b/starkyx/src/chip/arithmetic/expression.rs similarity index 100% rename from curta/src/chip/arithmetic/expression.rs rename to starkyx/src/chip/arithmetic/expression.rs diff --git a/curta/src/chip/arithmetic/expression_slice.rs b/starkyx/src/chip/arithmetic/expression_slice.rs similarity index 100% rename from curta/src/chip/arithmetic/expression_slice.rs rename to starkyx/src/chip/arithmetic/expression_slice.rs diff --git a/curta/src/chip/arithmetic/mod.rs b/starkyx/src/chip/arithmetic/mod.rs similarity index 100% rename from curta/src/chip/arithmetic/mod.rs rename to starkyx/src/chip/arithmetic/mod.rs diff --git a/curta/src/chip/bool.rs b/starkyx/src/chip/bool.rs similarity index 100% rename from curta/src/chip/bool.rs rename to starkyx/src/chip/bool.rs diff --git a/curta/src/chip/builder/arithmetic.rs b/starkyx/src/chip/builder/arithmetic.rs similarity index 100% rename from curta/src/chip/builder/arithmetic.rs rename to starkyx/src/chip/builder/arithmetic.rs diff --git a/curta/src/chip/builder/memory.rs b/starkyx/src/chip/builder/memory.rs similarity index 100% rename from curta/src/chip/builder/memory.rs rename to starkyx/src/chip/builder/memory.rs diff --git a/curta/src/chip/builder/mod.rs b/starkyx/src/chip/builder/mod.rs similarity index 100% rename from curta/src/chip/builder/mod.rs rename to starkyx/src/chip/builder/mod.rs diff --git a/curta/src/chip/builder/range_check.rs b/starkyx/src/chip/builder/range_check.rs similarity index 100% rename from curta/src/chip/builder/range_check.rs rename to starkyx/src/chip/builder/range_check.rs diff --git a/curta/src/chip/builder/shared_memory.rs b/starkyx/src/chip/builder/shared_memory.rs similarity index 100% rename from curta/src/chip/builder/shared_memory.rs rename to starkyx/src/chip/builder/shared_memory.rs diff --git a/curta/src/chip/constraint/mod.rs b/starkyx/src/chip/constraint/mod.rs similarity index 100% rename from curta/src/chip/constraint/mod.rs rename to starkyx/src/chip/constraint/mod.rs diff --git a/curta/src/chip/ec/edwards/add.rs b/starkyx/src/chip/ec/edwards/add.rs similarity index 100% rename from curta/src/chip/ec/edwards/add.rs rename to starkyx/src/chip/ec/edwards/add.rs diff --git a/curta/src/chip/ec/edwards/assert_valid.rs b/starkyx/src/chip/ec/edwards/assert_valid.rs similarity index 100% rename from curta/src/chip/ec/edwards/assert_valid.rs rename to starkyx/src/chip/ec/edwards/assert_valid.rs diff --git a/curta/src/chip/ec/edwards/bigint_operations.rs b/starkyx/src/chip/ec/edwards/bigint_operations.rs similarity index 100% rename from curta/src/chip/ec/edwards/bigint_operations.rs rename to starkyx/src/chip/ec/edwards/bigint_operations.rs diff --git a/curta/src/chip/ec/edwards/ed25519/decompress.rs b/starkyx/src/chip/ec/edwards/ed25519/decompress.rs similarity index 100% rename from curta/src/chip/ec/edwards/ed25519/decompress.rs rename to starkyx/src/chip/ec/edwards/ed25519/decompress.rs diff --git a/curta/src/chip/ec/edwards/ed25519/gadget.rs b/starkyx/src/chip/ec/edwards/ed25519/gadget.rs similarity index 100% rename from curta/src/chip/ec/edwards/ed25519/gadget.rs rename to starkyx/src/chip/ec/edwards/ed25519/gadget.rs diff --git a/curta/src/chip/ec/edwards/ed25519/instruction.rs b/starkyx/src/chip/ec/edwards/ed25519/instruction.rs similarity index 100% rename from curta/src/chip/ec/edwards/ed25519/instruction.rs rename to starkyx/src/chip/ec/edwards/ed25519/instruction.rs diff --git a/curta/src/chip/ec/edwards/ed25519/mod.rs b/starkyx/src/chip/ec/edwards/ed25519/mod.rs similarity index 100% rename from curta/src/chip/ec/edwards/ed25519/mod.rs rename to starkyx/src/chip/ec/edwards/ed25519/mod.rs diff --git a/curta/src/chip/ec/edwards/ed25519/params.rs b/starkyx/src/chip/ec/edwards/ed25519/params.rs similarity index 100% rename from curta/src/chip/ec/edwards/ed25519/params.rs rename to starkyx/src/chip/ec/edwards/ed25519/params.rs diff --git a/curta/src/chip/ec/edwards/ed25519/point.rs b/starkyx/src/chip/ec/edwards/ed25519/point.rs similarity index 100% rename from curta/src/chip/ec/edwards/ed25519/point.rs rename to starkyx/src/chip/ec/edwards/ed25519/point.rs diff --git a/curta/src/chip/ec/edwards/ed25519/sqrt.rs b/starkyx/src/chip/ec/edwards/ed25519/sqrt.rs similarity index 100% rename from curta/src/chip/ec/edwards/ed25519/sqrt.rs rename to starkyx/src/chip/ec/edwards/ed25519/sqrt.rs diff --git a/curta/src/chip/ec/edwards/mod.rs b/starkyx/src/chip/ec/edwards/mod.rs similarity index 100% rename from curta/src/chip/ec/edwards/mod.rs rename to starkyx/src/chip/ec/edwards/mod.rs diff --git a/curta/src/chip/ec/gadget.rs b/starkyx/src/chip/ec/gadget.rs similarity index 100% rename from curta/src/chip/ec/gadget.rs rename to starkyx/src/chip/ec/gadget.rs diff --git a/curta/src/chip/ec/instruction_set.rs b/starkyx/src/chip/ec/instruction_set.rs similarity index 100% rename from curta/src/chip/ec/instruction_set.rs rename to starkyx/src/chip/ec/instruction_set.rs diff --git a/curta/src/chip/ec/mod.rs b/starkyx/src/chip/ec/mod.rs similarity index 100% rename from curta/src/chip/ec/mod.rs rename to starkyx/src/chip/ec/mod.rs diff --git a/curta/src/chip/ec/point.rs b/starkyx/src/chip/ec/point.rs similarity index 100% rename from curta/src/chip/ec/point.rs rename to starkyx/src/chip/ec/point.rs diff --git a/curta/src/chip/ec/scalar.rs b/starkyx/src/chip/ec/scalar.rs similarity index 100% rename from curta/src/chip/ec/scalar.rs rename to starkyx/src/chip/ec/scalar.rs diff --git a/curta/src/chip/ec/scalar_mul/mod.rs b/starkyx/src/chip/ec/scalar_mul/mod.rs similarity index 100% rename from curta/src/chip/ec/scalar_mul/mod.rs rename to starkyx/src/chip/ec/scalar_mul/mod.rs diff --git a/curta/src/chip/ec/weierstrass/biguint_operations.rs b/starkyx/src/chip/ec/weierstrass/biguint_operations.rs similarity index 100% rename from curta/src/chip/ec/weierstrass/biguint_operations.rs rename to starkyx/src/chip/ec/weierstrass/biguint_operations.rs diff --git a/curta/src/chip/ec/weierstrass/bn254.rs b/starkyx/src/chip/ec/weierstrass/bn254.rs similarity index 100% rename from curta/src/chip/ec/weierstrass/bn254.rs rename to starkyx/src/chip/ec/weierstrass/bn254.rs diff --git a/curta/src/chip/ec/weierstrass/group.rs b/starkyx/src/chip/ec/weierstrass/group.rs similarity index 100% rename from curta/src/chip/ec/weierstrass/group.rs rename to starkyx/src/chip/ec/weierstrass/group.rs diff --git a/curta/src/chip/ec/weierstrass/mod.rs b/starkyx/src/chip/ec/weierstrass/mod.rs similarity index 100% rename from curta/src/chip/ec/weierstrass/mod.rs rename to starkyx/src/chip/ec/weierstrass/mod.rs diff --git a/curta/src/chip/ec/weierstrass/slope.rs b/starkyx/src/chip/ec/weierstrass/slope.rs similarity index 100% rename from curta/src/chip/ec/weierstrass/slope.rs rename to starkyx/src/chip/ec/weierstrass/slope.rs diff --git a/curta/src/chip/field/add.rs b/starkyx/src/chip/field/add.rs similarity index 100% rename from curta/src/chip/field/add.rs rename to starkyx/src/chip/field/add.rs diff --git a/curta/src/chip/field/constants.rs b/starkyx/src/chip/field/constants.rs similarity index 100% rename from curta/src/chip/field/constants.rs rename to starkyx/src/chip/field/constants.rs diff --git a/curta/src/chip/field/den.rs b/starkyx/src/chip/field/den.rs similarity index 100% rename from curta/src/chip/field/den.rs rename to starkyx/src/chip/field/den.rs diff --git a/curta/src/chip/field/div.rs b/starkyx/src/chip/field/div.rs similarity index 100% rename from curta/src/chip/field/div.rs rename to starkyx/src/chip/field/div.rs diff --git a/curta/src/chip/field/inner_product.rs b/starkyx/src/chip/field/inner_product.rs similarity index 100% rename from curta/src/chip/field/inner_product.rs rename to starkyx/src/chip/field/inner_product.rs diff --git a/curta/src/chip/field/instruction.rs b/starkyx/src/chip/field/instruction.rs similarity index 100% rename from curta/src/chip/field/instruction.rs rename to starkyx/src/chip/field/instruction.rs diff --git a/curta/src/chip/field/mod.rs b/starkyx/src/chip/field/mod.rs similarity index 100% rename from curta/src/chip/field/mod.rs rename to starkyx/src/chip/field/mod.rs diff --git a/curta/src/chip/field/mul.rs b/starkyx/src/chip/field/mul.rs similarity index 100% rename from curta/src/chip/field/mul.rs rename to starkyx/src/chip/field/mul.rs diff --git a/curta/src/chip/field/mul_const.rs b/starkyx/src/chip/field/mul_const.rs similarity index 100% rename from curta/src/chip/field/mul_const.rs rename to starkyx/src/chip/field/mul_const.rs diff --git a/curta/src/chip/field/ops.rs b/starkyx/src/chip/field/ops.rs similarity index 100% rename from curta/src/chip/field/ops.rs rename to starkyx/src/chip/field/ops.rs diff --git a/curta/src/chip/field/parameters.rs b/starkyx/src/chip/field/parameters.rs similarity index 100% rename from curta/src/chip/field/parameters.rs rename to starkyx/src/chip/field/parameters.rs diff --git a/curta/src/chip/field/register.rs b/starkyx/src/chip/field/register.rs similarity index 100% rename from curta/src/chip/field/register.rs rename to starkyx/src/chip/field/register.rs diff --git a/curta/src/chip/field/sub.rs b/starkyx/src/chip/field/sub.rs similarity index 100% rename from curta/src/chip/field/sub.rs rename to starkyx/src/chip/field/sub.rs diff --git a/curta/src/chip/field/util.rs b/starkyx/src/chip/field/util.rs similarity index 100% rename from curta/src/chip/field/util.rs rename to starkyx/src/chip/field/util.rs diff --git a/curta/src/chip/instruction/assign.rs b/starkyx/src/chip/instruction/assign.rs similarity index 100% rename from curta/src/chip/instruction/assign.rs rename to starkyx/src/chip/instruction/assign.rs diff --git a/curta/src/chip/instruction/bit.rs b/starkyx/src/chip/instruction/bit.rs similarity index 100% rename from curta/src/chip/instruction/bit.rs rename to starkyx/src/chip/instruction/bit.rs diff --git a/curta/src/chip/instruction/clock.rs b/starkyx/src/chip/instruction/clock.rs similarity index 100% rename from curta/src/chip/instruction/clock.rs rename to starkyx/src/chip/instruction/clock.rs diff --git a/curta/src/chip/instruction/cycle.rs b/starkyx/src/chip/instruction/cycle.rs similarity index 100% rename from curta/src/chip/instruction/cycle.rs rename to starkyx/src/chip/instruction/cycle.rs diff --git a/curta/src/chip/instruction/empty.rs b/starkyx/src/chip/instruction/empty.rs similarity index 100% rename from curta/src/chip/instruction/empty.rs rename to starkyx/src/chip/instruction/empty.rs diff --git a/curta/src/chip/instruction/mod.rs b/starkyx/src/chip/instruction/mod.rs similarity index 100% rename from curta/src/chip/instruction/mod.rs rename to starkyx/src/chip/instruction/mod.rs diff --git a/curta/src/chip/instruction/set.rs b/starkyx/src/chip/instruction/set.rs similarity index 100% rename from curta/src/chip/instruction/set.rs rename to starkyx/src/chip/instruction/set.rs diff --git a/curta/src/chip/memory/builder.rs b/starkyx/src/chip/memory/builder.rs similarity index 100% rename from curta/src/chip/memory/builder.rs rename to starkyx/src/chip/memory/builder.rs diff --git a/curta/src/chip/memory/get.rs b/starkyx/src/chip/memory/get.rs similarity index 100% rename from curta/src/chip/memory/get.rs rename to starkyx/src/chip/memory/get.rs diff --git a/curta/src/chip/memory/instruction.rs b/starkyx/src/chip/memory/instruction.rs similarity index 100% rename from curta/src/chip/memory/instruction.rs rename to starkyx/src/chip/memory/instruction.rs diff --git a/curta/src/chip/memory/map.rs b/starkyx/src/chip/memory/map.rs similarity index 100% rename from curta/src/chip/memory/map.rs rename to starkyx/src/chip/memory/map.rs diff --git a/curta/src/chip/memory/mod.rs b/starkyx/src/chip/memory/mod.rs similarity index 100% rename from curta/src/chip/memory/mod.rs rename to starkyx/src/chip/memory/mod.rs diff --git a/curta/src/chip/memory/pointer/accumulate.rs b/starkyx/src/chip/memory/pointer/accumulate.rs similarity index 100% rename from curta/src/chip/memory/pointer/accumulate.rs rename to starkyx/src/chip/memory/pointer/accumulate.rs diff --git a/curta/src/chip/memory/pointer/key.rs b/starkyx/src/chip/memory/pointer/key.rs similarity index 100% rename from curta/src/chip/memory/pointer/key.rs rename to starkyx/src/chip/memory/pointer/key.rs diff --git a/curta/src/chip/memory/pointer/mod.rs b/starkyx/src/chip/memory/pointer/mod.rs similarity index 100% rename from curta/src/chip/memory/pointer/mod.rs rename to starkyx/src/chip/memory/pointer/mod.rs diff --git a/curta/src/chip/memory/pointer/raw.rs b/starkyx/src/chip/memory/pointer/raw.rs similarity index 100% rename from curta/src/chip/memory/pointer/raw.rs rename to starkyx/src/chip/memory/pointer/raw.rs diff --git a/curta/src/chip/memory/pointer/slice.rs b/starkyx/src/chip/memory/pointer/slice.rs similarity index 100% rename from curta/src/chip/memory/pointer/slice.rs rename to starkyx/src/chip/memory/pointer/slice.rs diff --git a/curta/src/chip/memory/pointer/typed.rs b/starkyx/src/chip/memory/pointer/typed.rs similarity index 100% rename from curta/src/chip/memory/pointer/typed.rs rename to starkyx/src/chip/memory/pointer/typed.rs diff --git a/curta/src/chip/memory/set.rs b/starkyx/src/chip/memory/set.rs similarity index 100% rename from curta/src/chip/memory/set.rs rename to starkyx/src/chip/memory/set.rs diff --git a/curta/src/chip/memory/time.rs b/starkyx/src/chip/memory/time.rs similarity index 100% rename from curta/src/chip/memory/time.rs rename to starkyx/src/chip/memory/time.rs diff --git a/curta/src/chip/memory/value.rs b/starkyx/src/chip/memory/value.rs similarity index 100% rename from curta/src/chip/memory/value.rs rename to starkyx/src/chip/memory/value.rs diff --git a/curta/src/chip/memory/watch.rs b/starkyx/src/chip/memory/watch.rs similarity index 100% rename from curta/src/chip/memory/watch.rs rename to starkyx/src/chip/memory/watch.rs diff --git a/curta/src/chip/mod.rs b/starkyx/src/chip/mod.rs similarity index 100% rename from curta/src/chip/mod.rs rename to starkyx/src/chip/mod.rs diff --git a/curta/src/chip/register/array.rs b/starkyx/src/chip/register/array.rs similarity index 100% rename from curta/src/chip/register/array.rs rename to starkyx/src/chip/register/array.rs diff --git a/curta/src/chip/register/bit.rs b/starkyx/src/chip/register/bit.rs similarity index 100% rename from curta/src/chip/register/bit.rs rename to starkyx/src/chip/register/bit.rs diff --git a/curta/src/chip/register/cell.rs b/starkyx/src/chip/register/cell.rs similarity index 100% rename from curta/src/chip/register/cell.rs rename to starkyx/src/chip/register/cell.rs diff --git a/curta/src/chip/register/cubic.rs b/starkyx/src/chip/register/cubic.rs similarity index 100% rename from curta/src/chip/register/cubic.rs rename to starkyx/src/chip/register/cubic.rs diff --git a/curta/src/chip/register/element.rs b/starkyx/src/chip/register/element.rs similarity index 100% rename from curta/src/chip/register/element.rs rename to starkyx/src/chip/register/element.rs diff --git a/curta/src/chip/register/memory.rs b/starkyx/src/chip/register/memory.rs similarity index 100% rename from curta/src/chip/register/memory.rs rename to starkyx/src/chip/register/memory.rs diff --git a/curta/src/chip/register/mod.rs b/starkyx/src/chip/register/mod.rs similarity index 100% rename from curta/src/chip/register/mod.rs rename to starkyx/src/chip/register/mod.rs diff --git a/curta/src/chip/register/slice.rs b/starkyx/src/chip/register/slice.rs similarity index 100% rename from curta/src/chip/register/slice.rs rename to starkyx/src/chip/register/slice.rs diff --git a/curta/src/chip/register/u16.rs b/starkyx/src/chip/register/u16.rs similarity index 100% rename from curta/src/chip/register/u16.rs rename to starkyx/src/chip/register/u16.rs diff --git a/curta/src/chip/table/accumulator/constraint.rs b/starkyx/src/chip/table/accumulator/constraint.rs similarity index 100% rename from curta/src/chip/table/accumulator/constraint.rs rename to starkyx/src/chip/table/accumulator/constraint.rs diff --git a/curta/src/chip/table/accumulator/mod.rs b/starkyx/src/chip/table/accumulator/mod.rs similarity index 100% rename from curta/src/chip/table/accumulator/mod.rs rename to starkyx/src/chip/table/accumulator/mod.rs diff --git a/curta/src/chip/table/accumulator/trace.rs b/starkyx/src/chip/table/accumulator/trace.rs similarity index 100% rename from curta/src/chip/table/accumulator/trace.rs rename to starkyx/src/chip/table/accumulator/trace.rs diff --git a/curta/src/chip/table/bus/channel/constraint.rs b/starkyx/src/chip/table/bus/channel/constraint.rs similarity index 100% rename from curta/src/chip/table/bus/channel/constraint.rs rename to starkyx/src/chip/table/bus/channel/constraint.rs diff --git a/curta/src/chip/table/bus/channel/mod.rs b/starkyx/src/chip/table/bus/channel/mod.rs similarity index 100% rename from curta/src/chip/table/bus/channel/mod.rs rename to starkyx/src/chip/table/bus/channel/mod.rs diff --git a/curta/src/chip/table/bus/channel/trace.rs b/starkyx/src/chip/table/bus/channel/trace.rs similarity index 100% rename from curta/src/chip/table/bus/channel/trace.rs rename to starkyx/src/chip/table/bus/channel/trace.rs diff --git a/curta/src/chip/table/bus/global/constraint.rs b/starkyx/src/chip/table/bus/global/constraint.rs similarity index 100% rename from curta/src/chip/table/bus/global/constraint.rs rename to starkyx/src/chip/table/bus/global/constraint.rs diff --git a/curta/src/chip/table/bus/global/mod.rs b/starkyx/src/chip/table/bus/global/mod.rs similarity index 100% rename from curta/src/chip/table/bus/global/mod.rs rename to starkyx/src/chip/table/bus/global/mod.rs diff --git a/curta/src/chip/table/bus/global/trace.rs b/starkyx/src/chip/table/bus/global/trace.rs similarity index 100% rename from curta/src/chip/table/bus/global/trace.rs rename to starkyx/src/chip/table/bus/global/trace.rs diff --git a/curta/src/chip/table/bus/mod.rs b/starkyx/src/chip/table/bus/mod.rs similarity index 100% rename from curta/src/chip/table/bus/mod.rs rename to starkyx/src/chip/table/bus/mod.rs diff --git a/curta/src/chip/table/log_derivative/constraints.rs b/starkyx/src/chip/table/log_derivative/constraints.rs similarity index 100% rename from curta/src/chip/table/log_derivative/constraints.rs rename to starkyx/src/chip/table/log_derivative/constraints.rs diff --git a/curta/src/chip/table/log_derivative/entry.rs b/starkyx/src/chip/table/log_derivative/entry.rs similarity index 100% rename from curta/src/chip/table/log_derivative/entry.rs rename to starkyx/src/chip/table/log_derivative/entry.rs diff --git a/curta/src/chip/table/log_derivative/mod.rs b/starkyx/src/chip/table/log_derivative/mod.rs similarity index 100% rename from curta/src/chip/table/log_derivative/mod.rs rename to starkyx/src/chip/table/log_derivative/mod.rs diff --git a/curta/src/chip/table/log_derivative/trace.rs b/starkyx/src/chip/table/log_derivative/trace.rs similarity index 100% rename from curta/src/chip/table/log_derivative/trace.rs rename to starkyx/src/chip/table/log_derivative/trace.rs diff --git a/curta/src/chip/table/lookup/constraint.rs b/starkyx/src/chip/table/lookup/constraint.rs similarity index 100% rename from curta/src/chip/table/lookup/constraint.rs rename to starkyx/src/chip/table/lookup/constraint.rs diff --git a/curta/src/chip/table/lookup/mod.rs b/starkyx/src/chip/table/lookup/mod.rs similarity index 100% rename from curta/src/chip/table/lookup/mod.rs rename to starkyx/src/chip/table/lookup/mod.rs diff --git a/curta/src/chip/table/lookup/table/constraint.rs b/starkyx/src/chip/table/lookup/table/constraint.rs similarity index 100% rename from curta/src/chip/table/lookup/table/constraint.rs rename to starkyx/src/chip/table/lookup/table/constraint.rs diff --git a/curta/src/chip/table/lookup/table/mod.rs b/starkyx/src/chip/table/lookup/table/mod.rs similarity index 100% rename from curta/src/chip/table/lookup/table/mod.rs rename to starkyx/src/chip/table/lookup/table/mod.rs diff --git a/curta/src/chip/table/lookup/table/trace.rs b/starkyx/src/chip/table/lookup/table/trace.rs similarity index 100% rename from curta/src/chip/table/lookup/table/trace.rs rename to starkyx/src/chip/table/lookup/table/trace.rs diff --git a/curta/src/chip/table/lookup/trace.rs b/starkyx/src/chip/table/lookup/trace.rs similarity index 100% rename from curta/src/chip/table/lookup/trace.rs rename to starkyx/src/chip/table/lookup/trace.rs diff --git a/curta/src/chip/table/lookup/values/constraint.rs b/starkyx/src/chip/table/lookup/values/constraint.rs similarity index 100% rename from curta/src/chip/table/lookup/values/constraint.rs rename to starkyx/src/chip/table/lookup/values/constraint.rs diff --git a/curta/src/chip/table/lookup/values/mod.rs b/starkyx/src/chip/table/lookup/values/mod.rs similarity index 100% rename from curta/src/chip/table/lookup/values/mod.rs rename to starkyx/src/chip/table/lookup/values/mod.rs diff --git a/curta/src/chip/table/lookup/values/trace.rs b/starkyx/src/chip/table/lookup/values/trace.rs similarity index 100% rename from curta/src/chip/table/lookup/values/trace.rs rename to starkyx/src/chip/table/lookup/values/trace.rs diff --git a/curta/src/chip/table/mod.rs b/starkyx/src/chip/table/mod.rs similarity index 100% rename from curta/src/chip/table/mod.rs rename to starkyx/src/chip/table/mod.rs diff --git a/curta/src/chip/table/powers.rs b/starkyx/src/chip/table/powers.rs similarity index 100% rename from curta/src/chip/table/powers.rs rename to starkyx/src/chip/table/powers.rs diff --git a/curta/src/chip/trace/data.rs b/starkyx/src/chip/trace/data.rs similarity index 100% rename from curta/src/chip/trace/data.rs rename to starkyx/src/chip/trace/data.rs diff --git a/curta/src/chip/trace/generator.rs b/starkyx/src/chip/trace/generator.rs similarity index 100% rename from curta/src/chip/trace/generator.rs rename to starkyx/src/chip/trace/generator.rs diff --git a/curta/src/chip/trace/mod.rs b/starkyx/src/chip/trace/mod.rs similarity index 100% rename from curta/src/chip/trace/mod.rs rename to starkyx/src/chip/trace/mod.rs diff --git a/curta/src/chip/trace/writer/data.rs b/starkyx/src/chip/trace/writer/data.rs similarity index 100% rename from curta/src/chip/trace/writer/data.rs rename to starkyx/src/chip/trace/writer/data.rs diff --git a/curta/src/chip/trace/writer/mod.rs b/starkyx/src/chip/trace/writer/mod.rs similarity index 100% rename from curta/src/chip/trace/writer/mod.rs rename to starkyx/src/chip/trace/writer/mod.rs diff --git a/curta/src/chip/trace/writer/public.rs b/starkyx/src/chip/trace/writer/public.rs similarity index 100% rename from curta/src/chip/trace/writer/public.rs rename to starkyx/src/chip/trace/writer/public.rs diff --git a/curta/src/chip/trace/writer/row.rs b/starkyx/src/chip/trace/writer/row.rs similarity index 100% rename from curta/src/chip/trace/writer/row.rs rename to starkyx/src/chip/trace/writer/row.rs diff --git a/curta/src/chip/trace/writer/window.rs b/starkyx/src/chip/trace/writer/window.rs similarity index 100% rename from curta/src/chip/trace/writer/window.rs rename to starkyx/src/chip/trace/writer/window.rs diff --git a/curta/src/chip/uint/bytes/bit_operations/and.rs b/starkyx/src/chip/uint/bytes/bit_operations/and.rs similarity index 100% rename from curta/src/chip/uint/bytes/bit_operations/and.rs rename to starkyx/src/chip/uint/bytes/bit_operations/and.rs diff --git a/curta/src/chip/uint/bytes/bit_operations/mod.rs b/starkyx/src/chip/uint/bytes/bit_operations/mod.rs similarity index 100% rename from curta/src/chip/uint/bytes/bit_operations/mod.rs rename to starkyx/src/chip/uint/bytes/bit_operations/mod.rs diff --git a/curta/src/chip/uint/bytes/bit_operations/not.rs b/starkyx/src/chip/uint/bytes/bit_operations/not.rs similarity index 100% rename from curta/src/chip/uint/bytes/bit_operations/not.rs rename to starkyx/src/chip/uint/bytes/bit_operations/not.rs diff --git a/curta/src/chip/uint/bytes/bit_operations/rotate.rs b/starkyx/src/chip/uint/bytes/bit_operations/rotate.rs similarity index 100% rename from curta/src/chip/uint/bytes/bit_operations/rotate.rs rename to starkyx/src/chip/uint/bytes/bit_operations/rotate.rs diff --git a/curta/src/chip/uint/bytes/bit_operations/shift.rs b/starkyx/src/chip/uint/bytes/bit_operations/shift.rs similarity index 100% rename from curta/src/chip/uint/bytes/bit_operations/shift.rs rename to starkyx/src/chip/uint/bytes/bit_operations/shift.rs diff --git a/curta/src/chip/uint/bytes/bit_operations/xor.rs b/starkyx/src/chip/uint/bytes/bit_operations/xor.rs similarity index 100% rename from curta/src/chip/uint/bytes/bit_operations/xor.rs rename to starkyx/src/chip/uint/bytes/bit_operations/xor.rs diff --git a/curta/src/chip/uint/bytes/decode.rs b/starkyx/src/chip/uint/bytes/decode.rs similarity index 100% rename from curta/src/chip/uint/bytes/decode.rs rename to starkyx/src/chip/uint/bytes/decode.rs diff --git a/curta/src/chip/uint/bytes/lookup_table/builder_operations.rs b/starkyx/src/chip/uint/bytes/lookup_table/builder_operations.rs similarity index 100% rename from curta/src/chip/uint/bytes/lookup_table/builder_operations.rs rename to starkyx/src/chip/uint/bytes/lookup_table/builder_operations.rs diff --git a/curta/src/chip/uint/bytes/lookup_table/mod.rs b/starkyx/src/chip/uint/bytes/lookup_table/mod.rs similarity index 100% rename from curta/src/chip/uint/bytes/lookup_table/mod.rs rename to starkyx/src/chip/uint/bytes/lookup_table/mod.rs diff --git a/curta/src/chip/uint/bytes/lookup_table/multiplicity_data.rs b/starkyx/src/chip/uint/bytes/lookup_table/multiplicity_data.rs similarity index 100% rename from curta/src/chip/uint/bytes/lookup_table/multiplicity_data.rs rename to starkyx/src/chip/uint/bytes/lookup_table/multiplicity_data.rs diff --git a/curta/src/chip/uint/bytes/lookup_table/table.rs b/starkyx/src/chip/uint/bytes/lookup_table/table.rs similarity index 100% rename from curta/src/chip/uint/bytes/lookup_table/table.rs rename to starkyx/src/chip/uint/bytes/lookup_table/table.rs diff --git a/curta/src/chip/uint/bytes/mod.rs b/starkyx/src/chip/uint/bytes/mod.rs similarity index 100% rename from curta/src/chip/uint/bytes/mod.rs rename to starkyx/src/chip/uint/bytes/mod.rs diff --git a/curta/src/chip/uint/bytes/operations/instruction.rs b/starkyx/src/chip/uint/bytes/operations/instruction.rs similarity index 100% rename from curta/src/chip/uint/bytes/operations/instruction.rs rename to starkyx/src/chip/uint/bytes/operations/instruction.rs diff --git a/curta/src/chip/uint/bytes/operations/mod.rs b/starkyx/src/chip/uint/bytes/operations/mod.rs similarity index 100% rename from curta/src/chip/uint/bytes/operations/mod.rs rename to starkyx/src/chip/uint/bytes/operations/mod.rs diff --git a/curta/src/chip/uint/bytes/operations/value.rs b/starkyx/src/chip/uint/bytes/operations/value.rs similarity index 100% rename from curta/src/chip/uint/bytes/operations/value.rs rename to starkyx/src/chip/uint/bytes/operations/value.rs diff --git a/curta/src/chip/uint/bytes/register.rs b/starkyx/src/chip/uint/bytes/register.rs similarity index 100% rename from curta/src/chip/uint/bytes/register.rs rename to starkyx/src/chip/uint/bytes/register.rs diff --git a/curta/src/chip/uint/bytes/util.rs b/starkyx/src/chip/uint/bytes/util.rs similarity index 100% rename from curta/src/chip/uint/bytes/util.rs rename to starkyx/src/chip/uint/bytes/util.rs diff --git a/curta/src/chip/uint/mod.rs b/starkyx/src/chip/uint/mod.rs similarity index 100% rename from curta/src/chip/uint/mod.rs rename to starkyx/src/chip/uint/mod.rs diff --git a/curta/src/chip/uint/operations/add.rs b/starkyx/src/chip/uint/operations/add.rs similarity index 100% rename from curta/src/chip/uint/operations/add.rs rename to starkyx/src/chip/uint/operations/add.rs diff --git a/curta/src/chip/uint/operations/and.rs b/starkyx/src/chip/uint/operations/and.rs similarity index 100% rename from curta/src/chip/uint/operations/and.rs rename to starkyx/src/chip/uint/operations/and.rs diff --git a/curta/src/chip/uint/operations/instruction.rs b/starkyx/src/chip/uint/operations/instruction.rs similarity index 100% rename from curta/src/chip/uint/operations/instruction.rs rename to starkyx/src/chip/uint/operations/instruction.rs diff --git a/curta/src/chip/uint/operations/mod.rs b/starkyx/src/chip/uint/operations/mod.rs similarity index 100% rename from curta/src/chip/uint/operations/mod.rs rename to starkyx/src/chip/uint/operations/mod.rs diff --git a/curta/src/chip/uint/operations/not.rs b/starkyx/src/chip/uint/operations/not.rs similarity index 100% rename from curta/src/chip/uint/operations/not.rs rename to starkyx/src/chip/uint/operations/not.rs diff --git a/curta/src/chip/uint/operations/rotate.rs b/starkyx/src/chip/uint/operations/rotate.rs similarity index 100% rename from curta/src/chip/uint/operations/rotate.rs rename to starkyx/src/chip/uint/operations/rotate.rs diff --git a/curta/src/chip/uint/operations/shr.rs b/starkyx/src/chip/uint/operations/shr.rs similarity index 100% rename from curta/src/chip/uint/operations/shr.rs rename to starkyx/src/chip/uint/operations/shr.rs diff --git a/curta/src/chip/uint/operations/xor.rs b/starkyx/src/chip/uint/operations/xor.rs similarity index 100% rename from curta/src/chip/uint/operations/xor.rs rename to starkyx/src/chip/uint/operations/xor.rs diff --git a/curta/src/chip/uint/register.rs b/starkyx/src/chip/uint/register.rs similarity index 100% rename from curta/src/chip/uint/register.rs rename to starkyx/src/chip/uint/register.rs diff --git a/curta/src/chip/uint/util.rs b/starkyx/src/chip/uint/util.rs similarity index 100% rename from curta/src/chip/uint/util.rs rename to starkyx/src/chip/uint/util.rs diff --git a/curta/src/chip/utils.rs b/starkyx/src/chip/utils.rs similarity index 100% rename from curta/src/chip/utils.rs rename to starkyx/src/chip/utils.rs diff --git a/curta/src/lib.rs b/starkyx/src/lib.rs similarity index 100% rename from curta/src/lib.rs rename to starkyx/src/lib.rs diff --git a/curta/src/machine/builder/mod.rs b/starkyx/src/machine/builder/mod.rs similarity index 100% rename from curta/src/machine/builder/mod.rs rename to starkyx/src/machine/builder/mod.rs diff --git a/curta/src/machine/builder/ops.rs b/starkyx/src/machine/builder/ops.rs similarity index 100% rename from curta/src/machine/builder/ops.rs rename to starkyx/src/machine/builder/ops.rs diff --git a/curta/src/machine/bytes/air.rs b/starkyx/src/machine/bytes/air.rs similarity index 100% rename from curta/src/machine/bytes/air.rs rename to starkyx/src/machine/bytes/air.rs diff --git a/curta/src/machine/bytes/builder.rs b/starkyx/src/machine/bytes/builder.rs similarity index 100% rename from curta/src/machine/bytes/builder.rs rename to starkyx/src/machine/bytes/builder.rs diff --git a/curta/src/machine/bytes/mod.rs b/starkyx/src/machine/bytes/mod.rs similarity index 100% rename from curta/src/machine/bytes/mod.rs rename to starkyx/src/machine/bytes/mod.rs diff --git a/curta/src/machine/bytes/ops.rs b/starkyx/src/machine/bytes/ops.rs similarity index 100% rename from curta/src/machine/bytes/ops.rs rename to starkyx/src/machine/bytes/ops.rs diff --git a/curta/src/machine/bytes/proof.rs b/starkyx/src/machine/bytes/proof.rs similarity index 100% rename from curta/src/machine/bytes/proof.rs rename to starkyx/src/machine/bytes/proof.rs diff --git a/curta/src/machine/bytes/stark.rs b/starkyx/src/machine/bytes/stark.rs similarity index 100% rename from curta/src/machine/bytes/stark.rs rename to starkyx/src/machine/bytes/stark.rs diff --git a/curta/src/machine/ec/builder.rs b/starkyx/src/machine/ec/builder.rs similarity index 100% rename from curta/src/machine/ec/builder.rs rename to starkyx/src/machine/ec/builder.rs diff --git a/curta/src/machine/ec/mod.rs b/starkyx/src/machine/ec/mod.rs similarity index 100% rename from curta/src/machine/ec/mod.rs rename to starkyx/src/machine/ec/mod.rs diff --git a/curta/src/machine/ec/scalar_mul.rs b/starkyx/src/machine/ec/scalar_mul.rs similarity index 100% rename from curta/src/machine/ec/scalar_mul.rs rename to starkyx/src/machine/ec/scalar_mul.rs diff --git a/curta/src/machine/emulated/builder.rs b/starkyx/src/machine/emulated/builder.rs similarity index 100% rename from curta/src/machine/emulated/builder.rs rename to starkyx/src/machine/emulated/builder.rs diff --git a/curta/src/machine/emulated/mod.rs b/starkyx/src/machine/emulated/mod.rs similarity index 100% rename from curta/src/machine/emulated/mod.rs rename to starkyx/src/machine/emulated/mod.rs diff --git a/curta/src/machine/emulated/proof.rs b/starkyx/src/machine/emulated/proof.rs similarity index 100% rename from curta/src/machine/emulated/proof.rs rename to starkyx/src/machine/emulated/proof.rs diff --git a/curta/src/machine/emulated/stark.rs b/starkyx/src/machine/emulated/stark.rs similarity index 100% rename from curta/src/machine/emulated/stark.rs rename to starkyx/src/machine/emulated/stark.rs diff --git a/curta/src/machine/hash/blake/blake2b/air.rs b/starkyx/src/machine/hash/blake/blake2b/air.rs similarity index 100% rename from curta/src/machine/hash/blake/blake2b/air.rs rename to starkyx/src/machine/hash/blake/blake2b/air.rs diff --git a/curta/src/machine/hash/blake/blake2b/builder.rs b/starkyx/src/machine/hash/blake/blake2b/builder.rs similarity index 100% rename from curta/src/machine/hash/blake/blake2b/builder.rs rename to starkyx/src/machine/hash/blake/blake2b/builder.rs diff --git a/curta/src/machine/hash/blake/blake2b/data.rs b/starkyx/src/machine/hash/blake/blake2b/data.rs similarity index 100% rename from curta/src/machine/hash/blake/blake2b/data.rs rename to starkyx/src/machine/hash/blake/blake2b/data.rs diff --git a/curta/src/machine/hash/blake/blake2b/mod.rs b/starkyx/src/machine/hash/blake/blake2b/mod.rs similarity index 100% rename from curta/src/machine/hash/blake/blake2b/mod.rs rename to starkyx/src/machine/hash/blake/blake2b/mod.rs diff --git a/curta/src/machine/hash/blake/blake2b/pure.rs b/starkyx/src/machine/hash/blake/blake2b/pure.rs similarity index 100% rename from curta/src/machine/hash/blake/blake2b/pure.rs rename to starkyx/src/machine/hash/blake/blake2b/pure.rs diff --git a/curta/src/machine/hash/blake/blake2b/register.rs b/starkyx/src/machine/hash/blake/blake2b/register.rs similarity index 100% rename from curta/src/machine/hash/blake/blake2b/register.rs rename to starkyx/src/machine/hash/blake/blake2b/register.rs diff --git a/curta/src/machine/hash/blake/blake2b/utils.rs b/starkyx/src/machine/hash/blake/blake2b/utils.rs similarity index 100% rename from curta/src/machine/hash/blake/blake2b/utils.rs rename to starkyx/src/machine/hash/blake/blake2b/utils.rs diff --git a/curta/src/machine/hash/blake/mod.rs b/starkyx/src/machine/hash/blake/mod.rs similarity index 100% rename from curta/src/machine/hash/blake/mod.rs rename to starkyx/src/machine/hash/blake/mod.rs diff --git a/curta/src/machine/hash/mod.rs b/starkyx/src/machine/hash/mod.rs similarity index 100% rename from curta/src/machine/hash/mod.rs rename to starkyx/src/machine/hash/mod.rs diff --git a/curta/src/machine/hash/sha/algorithm.rs b/starkyx/src/machine/hash/sha/algorithm.rs similarity index 100% rename from curta/src/machine/hash/sha/algorithm.rs rename to starkyx/src/machine/hash/sha/algorithm.rs diff --git a/curta/src/machine/hash/sha/builder.rs b/starkyx/src/machine/hash/sha/builder.rs similarity index 100% rename from curta/src/machine/hash/sha/builder.rs rename to starkyx/src/machine/hash/sha/builder.rs diff --git a/curta/src/machine/hash/sha/data.rs b/starkyx/src/machine/hash/sha/data.rs similarity index 100% rename from curta/src/machine/hash/sha/data.rs rename to starkyx/src/machine/hash/sha/data.rs diff --git a/curta/src/machine/hash/sha/mod.rs b/starkyx/src/machine/hash/sha/mod.rs similarity index 100% rename from curta/src/machine/hash/sha/mod.rs rename to starkyx/src/machine/hash/sha/mod.rs diff --git a/curta/src/machine/hash/sha/sha256/air.rs b/starkyx/src/machine/hash/sha/sha256/air.rs similarity index 100% rename from curta/src/machine/hash/sha/sha256/air.rs rename to starkyx/src/machine/hash/sha/sha256/air.rs diff --git a/curta/src/machine/hash/sha/sha256/mod.rs b/starkyx/src/machine/hash/sha/sha256/mod.rs similarity index 100% rename from curta/src/machine/hash/sha/sha256/mod.rs rename to starkyx/src/machine/hash/sha/sha256/mod.rs diff --git a/curta/src/machine/hash/sha/sha256/pure.rs b/starkyx/src/machine/hash/sha/sha256/pure.rs similarity index 100% rename from curta/src/machine/hash/sha/sha256/pure.rs rename to starkyx/src/machine/hash/sha/sha256/pure.rs diff --git a/curta/src/machine/hash/sha/sha256/register.rs b/starkyx/src/machine/hash/sha/sha256/register.rs similarity index 100% rename from curta/src/machine/hash/sha/sha256/register.rs rename to starkyx/src/machine/hash/sha/sha256/register.rs diff --git a/curta/src/machine/hash/sha/sha256/util.rs b/starkyx/src/machine/hash/sha/sha256/util.rs similarity index 100% rename from curta/src/machine/hash/sha/sha256/util.rs rename to starkyx/src/machine/hash/sha/sha256/util.rs diff --git a/curta/src/machine/hash/sha/sha512/air.rs b/starkyx/src/machine/hash/sha/sha512/air.rs similarity index 100% rename from curta/src/machine/hash/sha/sha512/air.rs rename to starkyx/src/machine/hash/sha/sha512/air.rs diff --git a/curta/src/machine/hash/sha/sha512/data.rs b/starkyx/src/machine/hash/sha/sha512/data.rs similarity index 100% rename from curta/src/machine/hash/sha/sha512/data.rs rename to starkyx/src/machine/hash/sha/sha512/data.rs diff --git a/curta/src/machine/hash/sha/sha512/mod.rs b/starkyx/src/machine/hash/sha/sha512/mod.rs similarity index 100% rename from curta/src/machine/hash/sha/sha512/mod.rs rename to starkyx/src/machine/hash/sha/sha512/mod.rs diff --git a/curta/src/machine/hash/sha/sha512/pure.rs b/starkyx/src/machine/hash/sha/sha512/pure.rs similarity index 100% rename from curta/src/machine/hash/sha/sha512/pure.rs rename to starkyx/src/machine/hash/sha/sha512/pure.rs diff --git a/curta/src/machine/hash/sha/sha512/register.rs b/starkyx/src/machine/hash/sha/sha512/register.rs similarity index 100% rename from curta/src/machine/hash/sha/sha512/register.rs rename to starkyx/src/machine/hash/sha/sha512/register.rs diff --git a/curta/src/machine/hash/sha/sha512/util.rs b/starkyx/src/machine/hash/sha/sha512/util.rs similarity index 100% rename from curta/src/machine/hash/sha/sha512/util.rs rename to starkyx/src/machine/hash/sha/sha512/util.rs diff --git a/curta/src/machine/mod.rs b/starkyx/src/machine/mod.rs similarity index 100% rename from curta/src/machine/mod.rs rename to starkyx/src/machine/mod.rs diff --git a/curta/src/machine/stark/builder.rs b/starkyx/src/machine/stark/builder.rs similarity index 100% rename from curta/src/machine/stark/builder.rs rename to starkyx/src/machine/stark/builder.rs diff --git a/curta/src/machine/stark/mod.rs b/starkyx/src/machine/stark/mod.rs similarity index 100% rename from curta/src/machine/stark/mod.rs rename to starkyx/src/machine/stark/mod.rs diff --git a/curta/src/math/algebra.rs b/starkyx/src/math/algebra.rs similarity index 100% rename from curta/src/math/algebra.rs rename to starkyx/src/math/algebra.rs diff --git a/curta/src/math/extension/cubic/element.rs b/starkyx/src/math/extension/cubic/element.rs similarity index 100% rename from curta/src/math/extension/cubic/element.rs rename to starkyx/src/math/extension/cubic/element.rs diff --git a/curta/src/math/extension/cubic/extension.rs b/starkyx/src/math/extension/cubic/extension.rs similarity index 100% rename from curta/src/math/extension/cubic/extension.rs rename to starkyx/src/math/extension/cubic/extension.rs diff --git a/curta/src/math/extension/cubic/mod.rs b/starkyx/src/math/extension/cubic/mod.rs similarity index 100% rename from curta/src/math/extension/cubic/mod.rs rename to starkyx/src/math/extension/cubic/mod.rs diff --git a/curta/src/math/extension/cubic/parameters.rs b/starkyx/src/math/extension/cubic/parameters.rs similarity index 100% rename from curta/src/math/extension/cubic/parameters.rs rename to starkyx/src/math/extension/cubic/parameters.rs diff --git a/curta/src/math/extension/mod.rs b/starkyx/src/math/extension/mod.rs similarity index 100% rename from curta/src/math/extension/mod.rs rename to starkyx/src/math/extension/mod.rs diff --git a/curta/src/math/field.rs b/starkyx/src/math/field.rs similarity index 100% rename from curta/src/math/field.rs rename to starkyx/src/math/field.rs diff --git a/curta/src/math/goldilocks/cubic.rs b/starkyx/src/math/goldilocks/cubic.rs similarity index 100% rename from curta/src/math/goldilocks/cubic.rs rename to starkyx/src/math/goldilocks/cubic.rs diff --git a/curta/src/math/goldilocks/mod.rs b/starkyx/src/math/goldilocks/mod.rs similarity index 100% rename from curta/src/math/goldilocks/mod.rs rename to starkyx/src/math/goldilocks/mod.rs diff --git a/curta/src/math/mod.rs b/starkyx/src/math/mod.rs similarity index 100% rename from curta/src/math/mod.rs rename to starkyx/src/math/mod.rs diff --git a/curta/src/maybe_rayon.rs b/starkyx/src/maybe_rayon.rs similarity index 100% rename from curta/src/maybe_rayon.rs rename to starkyx/src/maybe_rayon.rs diff --git a/curta/src/plonky2/cubic/arithmetic_gate.rs b/starkyx/src/plonky2/cubic/arithmetic_gate.rs similarity index 100% rename from curta/src/plonky2/cubic/arithmetic_gate.rs rename to starkyx/src/plonky2/cubic/arithmetic_gate.rs diff --git a/curta/src/plonky2/cubic/builder.rs b/starkyx/src/plonky2/cubic/builder.rs similarity index 100% rename from curta/src/plonky2/cubic/builder.rs rename to starkyx/src/plonky2/cubic/builder.rs diff --git a/curta/src/plonky2/cubic/mod.rs b/starkyx/src/plonky2/cubic/mod.rs similarity index 100% rename from curta/src/plonky2/cubic/mod.rs rename to starkyx/src/plonky2/cubic/mod.rs diff --git a/curta/src/plonky2/cubic/mul_gate.rs b/starkyx/src/plonky2/cubic/mul_gate.rs similarity index 100% rename from curta/src/plonky2/cubic/mul_gate.rs rename to starkyx/src/plonky2/cubic/mul_gate.rs diff --git a/curta/src/plonky2/cubic/operations.rs b/starkyx/src/plonky2/cubic/operations.rs similarity index 100% rename from curta/src/plonky2/cubic/operations.rs rename to starkyx/src/plonky2/cubic/operations.rs diff --git a/curta/src/plonky2/cubic/target.rs b/starkyx/src/plonky2/cubic/target.rs similarity index 100% rename from curta/src/plonky2/cubic/target.rs rename to starkyx/src/plonky2/cubic/target.rs diff --git a/curta/src/plonky2/field.rs b/starkyx/src/plonky2/field.rs similarity index 100% rename from curta/src/plonky2/field.rs rename to starkyx/src/plonky2/field.rs diff --git a/curta/src/plonky2/mod.rs b/starkyx/src/plonky2/mod.rs similarity index 100% rename from curta/src/plonky2/mod.rs rename to starkyx/src/plonky2/mod.rs diff --git a/curta/src/plonky2/parser/consumer.rs b/starkyx/src/plonky2/parser/consumer.rs similarity index 100% rename from curta/src/plonky2/parser/consumer.rs rename to starkyx/src/plonky2/parser/consumer.rs diff --git a/curta/src/plonky2/parser/global.rs b/starkyx/src/plonky2/parser/global.rs similarity index 100% rename from curta/src/plonky2/parser/global.rs rename to starkyx/src/plonky2/parser/global.rs diff --git a/curta/src/plonky2/parser/mod.rs b/starkyx/src/plonky2/parser/mod.rs similarity index 100% rename from curta/src/plonky2/parser/mod.rs rename to starkyx/src/plonky2/parser/mod.rs diff --git a/curta/src/plonky2/stark/config.rs b/starkyx/src/plonky2/stark/config.rs similarity index 100% rename from curta/src/plonky2/stark/config.rs rename to starkyx/src/plonky2/stark/config.rs diff --git a/curta/src/plonky2/stark/gadget.rs b/starkyx/src/plonky2/stark/gadget.rs similarity index 100% rename from curta/src/plonky2/stark/gadget.rs rename to starkyx/src/plonky2/stark/gadget.rs diff --git a/curta/src/plonky2/stark/generator/mod.rs b/starkyx/src/plonky2/stark/generator/mod.rs similarity index 100% rename from curta/src/plonky2/stark/generator/mod.rs rename to starkyx/src/plonky2/stark/generator/mod.rs diff --git a/curta/src/plonky2/stark/generator/simple.rs b/starkyx/src/plonky2/stark/generator/simple.rs similarity index 100% rename from curta/src/plonky2/stark/generator/simple.rs rename to starkyx/src/plonky2/stark/generator/simple.rs diff --git a/curta/src/plonky2/stark/mod.rs b/starkyx/src/plonky2/stark/mod.rs similarity index 100% rename from curta/src/plonky2/stark/mod.rs rename to starkyx/src/plonky2/stark/mod.rs diff --git a/curta/src/plonky2/stark/proof.rs b/starkyx/src/plonky2/stark/proof.rs similarity index 100% rename from curta/src/plonky2/stark/proof.rs rename to starkyx/src/plonky2/stark/proof.rs diff --git a/curta/src/plonky2/stark/prover.rs b/starkyx/src/plonky2/stark/prover.rs similarity index 100% rename from curta/src/plonky2/stark/prover.rs rename to starkyx/src/plonky2/stark/prover.rs diff --git a/curta/src/plonky2/stark/verifier.rs b/starkyx/src/plonky2/stark/verifier.rs similarity index 100% rename from curta/src/plonky2/stark/verifier.rs rename to starkyx/src/plonky2/stark/verifier.rs diff --git a/curta/src/plonky2/trace.rs b/starkyx/src/plonky2/trace.rs similarity index 100% rename from curta/src/plonky2/trace.rs rename to starkyx/src/plonky2/trace.rs diff --git a/curta/src/polynomial/mod.rs b/starkyx/src/polynomial/mod.rs similarity index 100% rename from curta/src/polynomial/mod.rs rename to starkyx/src/polynomial/mod.rs diff --git a/curta/src/polynomial/ops.rs b/starkyx/src/polynomial/ops.rs similarity index 100% rename from curta/src/polynomial/ops.rs rename to starkyx/src/polynomial/ops.rs diff --git a/curta/src/polynomial/parser.rs b/starkyx/src/polynomial/parser.rs similarity index 100% rename from curta/src/polynomial/parser.rs rename to starkyx/src/polynomial/parser.rs diff --git a/curta/src/trace/generator.rs b/starkyx/src/trace/generator.rs similarity index 100% rename from curta/src/trace/generator.rs rename to starkyx/src/trace/generator.rs diff --git a/curta/src/trace/mod.rs b/starkyx/src/trace/mod.rs similarity index 100% rename from curta/src/trace/mod.rs rename to starkyx/src/trace/mod.rs diff --git a/curta/src/trace/view.rs b/starkyx/src/trace/view.rs similarity index 100% rename from curta/src/trace/view.rs rename to starkyx/src/trace/view.rs diff --git a/curta/src/trace/window.rs b/starkyx/src/trace/window.rs similarity index 100% rename from curta/src/trace/window.rs rename to starkyx/src/trace/window.rs diff --git a/curta/src/trace/window_parser.rs b/starkyx/src/trace/window_parser.rs similarity index 100% rename from curta/src/trace/window_parser.rs rename to starkyx/src/trace/window_parser.rs diff --git a/curta/src/utils/mod.rs b/starkyx/src/utils/mod.rs similarity index 100% rename from curta/src/utils/mod.rs rename to starkyx/src/utils/mod.rs diff --git a/curta/src/utils/serde.rs b/starkyx/src/utils/serde.rs similarity index 100% rename from curta/src/utils/serde.rs rename to starkyx/src/utils/serde.rs diff --git a/curta/src/utils/watcher.rs b/starkyx/src/utils/watcher.rs similarity index 100% rename from curta/src/utils/watcher.rs rename to starkyx/src/utils/watcher.rs From 3388e52eccfbd1bb126fedc827f54c2906ec449c Mon Sep 17 00:00:00 2001 From: mattstam Date: Mon, 12 Feb 2024 12:06:28 -0800 Subject: [PATCH 2/2] x --- README.md | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index a679958d4..9313f5dd7 100644 --- a/README.md +++ b/README.md @@ -1,34 +1,35 @@ -# Starkyx +# StarkyX Curta type I-CnAM 40092-IMG 6721-white - ## Introduction -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 Starkyx AIR constraints. All the cryptographic primitives are imported from the [Plonky2](https://github.com/mir-protocol/plonky2) proving system. +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 StarkyX AIR constraints. All the cryptographic primitives are imported from the [Plonky2](https://github.com/mir-protocol/plonky2) proving system. ## Building -Starkyx 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 ``` -In the root directory of the project. +In the root directory of the project. We recommend running the tests using the `--release` flag, as they are quite slow otherwise. + ```bash cargo test --release ``` ## Usage -## Building an AIR computation using Starkyx - +## Building an AIR computation using StarkyX ## Creating a STARK proof for an AIR computation - ## Integrating into a Plonky2 circuit -Starkyx starks can be integrated into a [Plonky2](https://github.com/mir-protocol/plonky2) circuit \ No newline at end of file + +StarkyX starks can be integrated into a [Plonky2](https://github.com/mir-protocol/plonky2) circuit