Skip to content

Commit 0b4b674

Browse files
anatgstarkwareanatgstarkware
authored
Restructure for clearer separation of rust and circuit code (#465)
1 parent 611b94f commit 0b4b674

296 files changed

Lines changed: 445 additions & 429 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎AGENTS.md‎

Lines changed: 3 additions & 3 deletions

‎CLAUDE.md‎

Lines changed: 15 additions & 12 deletions

‎Cargo.lock‎

Lines changed: 20 additions & 22 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
[workspace]
22
members = [
3-
"crates/cairo_air",
3+
"crates/cairo_verifier",
44
"crates/circuits",
5-
"crates/circuit_air",
5+
"crates/circuit_verifier",
66
"crates/circuit_common",
77
"crates/circuit_serialize",
88
"crates/circuit_prover",
@@ -51,7 +51,7 @@ stwo_cairo_utils = { package = "stwo-cairo-utils", git = "https://github.com/sta
5151

5252
# local crates
5353
circuits = { path = "crates/circuits"}
54-
circuit-air = { path = "crates/circuit_air"}
54+
circuit-verifier = { path = "crates/circuit_verifier"}
5555
circuit-common = { path = "crates/circuit_common" }
5656
circuit-prover = { path = "crates/circuit_prover"}
5757
circuits-stark-verifier = { path = "crates/stark_verifier"}

‎_typos.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[files]
22
extend-exclude = [
3-
"crates/cairo_air/src/components/",
3+
"crates/cairo_verifier/src/components/",
44
"test_data/privacy/privacy_simple_bootloader_compiled.json",
55
]
66
[default.extend-words]

crates/cairo_air/Cargo.toml renamed to crates/cairo_verifier/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
[package]
2-
name = "circuit-cairo-air"
2+
name = "circuit-cairo-verifier"
33
version.workspace = true
44
edition.workspace = true
55

@@ -22,4 +22,4 @@ stwo_cairo_prover.workspace = true
2222
stwo_cairo_dev_utils.workspace = true
2323
stwo_cairo_utils.workspace = true
2424
circuit-prover.workspace = true
25-
circuit-air.workspace = true
25+
circuit-verifier.workspace = true

crates/cairo_air/src/all_components.rs renamed to crates/cairo_verifier/src/all_components.rs

File renamed without changes.

crates/cairo_air/src/component_utils.rs renamed to crates/cairo_verifier/src/component_utils.rs

File renamed without changes.

crates/cairo_air/src/components/add_ap_opcode.rs renamed to crates/cairo_verifier/src/components/add_ap_opcode.rs

File renamed without changes.

crates/cairo_air/src/components/add_mod_builtin.rs renamed to crates/cairo_verifier/src/components/add_mod_builtin.rs

File renamed without changes.

0 commit comments

Comments
 (0)