SME comments

components/Starknet/modules/architecture_and_concepts/nav.adoc

@@ -36,5 +36,5 @@
 
 ** Cryptography
 *** xref:Cryptography/p-value.adoc[The STARK field]
+*** xref:Cryptography/stark-curve.adoc[The STARK curve]
 *** xref:Cryptography/hash-functions.adoc[Hash functions]
-*** xref:Cryptography/stark-curve.adoc[STARK curve]

components/Starknet/modules/architecture_and_concepts/pages/Cryptography/p-value.adoc

@@ -2,11 +2,11 @@
 
 // The field element type in Starknet is based on the STARK field in the underlying Cairo VM. In other words, a value stem:[$$x$$] of a field element type is an integer in the range of stem:[$$0≤x<P$$].
 
-The _STARK field_ is the STARK-friendly field. It is the finite field stem:[\mathbb\{F}_P], where stem:[$$P$$] is defined as follows:
+The _STARK field_ is the finite field stem:[\mathbb\{F}_P], where stem:[$$P$$] is a prime number, calculated as follows:
 
 [stem]
 ++++
 P = 2^{251} + 17*2^{192} + 1
 ++++
 
-The Cairo VM uses the STARK field. The `felt252` type in Cairo refers to elements of this field.
+The Cairo VM uses the STARK field, referred to as a field element, or _felt_. The `felt252` type in Cairo refers to elements of this field.

components/Starknet/modules/architecture_and_concepts/pages/Cryptography/stark-curve.adoc

@@ -1,10 +1,10 @@
 [id="stark_curve"]
-= STARK curve
+= The STARK curve
 [id="stark_curve"]
 
 :stem: latexmath
 
-The Stark-friendly elliptic curve used is defined as follows:
+The STARK curve is an elliptic curve defined as follows:
 
 [stem]
 ++++