monolit -> monolith [typo]

README.md

@@ -58,15 +58,15 @@ cd examples/starknet
 
 ## Configure Verifier
 
-By default, the verifier is configured for monolit version, recursive layout and keccak hash for verifier unfriendly commitment layers. You can easily change that by using scarb's features:
+By default, the verifier is configured for monolith version, recursive layout and keccak hash for verifier unfriendly commitment layers. You can easily change that by using scarb's features:
 
 ```bash
 scarb build --no-default-features --features small,blake2s,split
 ```
 
 layout types: [dex, recursive, recursive_with_poseidon, small, starknet, starknet_with_keccak]  
 hash types: [keccak, blake2s]
-verifier types: [monolit, split]
+verifier types: [monolith, split]
 
 ## Benchmarking
 

Scarb.toml

@@ -25,7 +25,7 @@ starknet_with_keccak = []
 keccak = []
 blake2s = []
 
-monolit = []
+monolith = []
 split = []
 
-default = ["recursive", "keccak", "monolit"]
+default = ["recursive", "keccak", "monolith"]

src/air/layouts/dex.cairo

@@ -25,13 +25,13 @@ use cairo_verifier::{
 };
 use starknet::ContractAddress;
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 use cairo_verifier::air::layouts::dex::autogenerated::{
     eval_composition_polynomial_inner as eval_composition_polynomial_inner_,
     eval_oods_polynomial_inner as eval_oods_polynomial_inner_,
 };
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_composition_polynomial_inner(
     mask_values: Span<felt252>,
     constraint_coefficients: Span<felt252>,
@@ -45,7 +45,7 @@ fn eval_composition_polynomial_inner(
     )
 }
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_oods_polynomial_inner(
     column_values: Span<felt252>,
     oods_values: Span<felt252>,

src/air/layouts/recursive.cairo

@@ -25,13 +25,13 @@ use cairo_verifier::{
 };
 use starknet::ContractAddress;
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 use cairo_verifier::air::layouts::recursive::autogenerated::{
     eval_composition_polynomial_inner as eval_composition_polynomial_inner_,
     eval_oods_polynomial_inner as eval_oods_polynomial_inner_,
 };
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_composition_polynomial_inner(
     mask_values: Span<felt252>,
     constraint_coefficients: Span<felt252>,
@@ -45,7 +45,7 @@ fn eval_composition_polynomial_inner(
     )
 }
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_oods_polynomial_inner(
     column_values: Span<felt252>,
     oods_values: Span<felt252>,

src/air/layouts/recursive_with_poseidon.cairo

@@ -29,13 +29,13 @@ use cairo_verifier::{
 };
 use starknet::ContractAddress;
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 use cairo_verifier::air::layouts::recursive_with_poseidon::autogenerated::{
     eval_composition_polynomial_inner as eval_composition_polynomial_inner_,
     eval_oods_polynomial_inner as eval_oods_polynomial_inner_,
 };
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_composition_polynomial_inner(
     mask_values: Span<felt252>,
     constraint_coefficients: Span<felt252>,
@@ -49,7 +49,7 @@ fn eval_composition_polynomial_inner(
     )
 }
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_oods_polynomial_inner(
     column_values: Span<felt252>,
     oods_values: Span<felt252>,

src/air/layouts/small.cairo

@@ -25,13 +25,13 @@ use cairo_verifier::{
 };
 use starknet::ContractAddress;
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 use cairo_verifier::air::layouts::small::autogenerated::{
     eval_composition_polynomial_inner as eval_composition_polynomial_inner_,
     eval_oods_polynomial_inner as eval_oods_polynomial_inner_,
 };
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_composition_polynomial_inner(
     mask_values: Span<felt252>,
     constraint_coefficients: Span<felt252>,
@@ -45,7 +45,7 @@ fn eval_composition_polynomial_inner(
     )
 }
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn eval_oods_polynomial_inner(
     column_values: Span<felt252>,
     oods_values: Span<felt252>,

src/lib.cairo

@@ -40,7 +40,7 @@ use cairo_verifier::air::layouts::starknet_with_keccak::public_input::StarknetWi
 
 const SECURITY_BITS: u32 = 50;
 
-#[cfg(feature: 'monolit')]
+#[cfg(feature: 'monolith')]
 fn main(mut serialized: Span<felt252>, cairo_version: CairoVersion) -> (felt252, felt252) {
     let stark_proof_serde = Serde::<StarkProofWithSerde>::deserialize(ref serialized).unwrap();
     let stark_proof: StarkProof = stark_proof_serde.into();