docs: Describe purpose of individual crates

changelog: ignore

triton-air/Cargo.toml

@@ -4,14 +4,14 @@ description = """
 The Arithmetic Intermediate Representation (AIR) for Triton VM.
 """
 
+readme = "README.md"
 version.workspace = true
 edition.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
 documentation.workspace = true
 repository.workspace = true
-readme.workspace = true
 
 [dependencies]
 arbitrary.workspace = true

triton-air/README.md

@@ -0,0 +1,4 @@
+# Triton VM AIR
+
+This crate is part of the [Triton VM](https://triton-vm.org) ecosystem. It contains the definition
+of the AIR constraints, which are part of the STARK proving system.

triton-constraint-builder/Cargo.toml

@@ -4,14 +4,14 @@ description = """
 Emits efficient code from Triton VM's AIR.
 """
 
+readme = "README.md"
 version.workspace = true
 edition.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
 documentation.workspace = true
 repository.workspace = true
-readme.workspace = true
 
 [dependencies]
 air.workspace = true

triton-constraint-builder/README.md

@@ -0,0 +1,5 @@
+# Constraint Circuit Builder
+
+This crate is part of the [Triton VM](https://triton-vm.org) ecosystem. It contains the code
+generator emitting efficient Rust code for Triton VM's AIR constraints, which are part of the STARK
+proving system.

triton-constraint-circuit/Cargo.toml

@@ -4,14 +4,14 @@ description = """
 AIR constraints build helper for Triton VM.
 """
 
+readme = "README.md"
 version.workspace = true
 edition.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
 documentation.workspace = true
 repository.workspace = true
-readme.workspace = true
 
 [dependencies]
 arbitrary.workspace = true

triton-constraint-circuit/README.md

@@ -0,0 +1,4 @@
+# Constraint Circuit
+
+This crate is part of the [Triton VM](https://triton-vm.org) ecosystem. It contains logic that helps
+building efficient AIR constraints, which are part of the STARK proving system.

triton-isa/Cargo.toml

@@ -3,6 +3,7 @@ name = "triton-isa"
 description = """
 The instruction set architecture for Triton VM.
 """
+readme = "README.md"
 
 version.workspace = true
 edition.workspace = true
@@ -11,7 +12,6 @@ license.workspace = true
 homepage.workspace = true
 documentation.workspace = true
 repository.workspace = true
-readme.workspace = true
 
 [dependencies]
 arbitrary.workspace = true

triton-isa/README.md

@@ -0,0 +1,4 @@
+# Triton VM's Instruction Set Architecture
+
+This crate is part of the [Triton VM](https://triton-vm.org) ecosystem. It contains the basic
+definitions for Triton VM's instructions as well as program parsing functionality.