From e783bbe376caa1fc6985ed081d015a87f1588013 Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Tue, 10 Sep 2024 13:05:00 +0200 Subject: [PATCH] monolit -> monolith [typo] --- README.md | 4 ++-- Scarb.toml | 4 ++-- src/air/layouts/dex.cairo | 6 +++--- src/air/layouts/recursive.cairo | 6 +++--- src/air/layouts/recursive_with_poseidon.cairo | 6 +++--- src/air/layouts/small.cairo | 6 +++--- src/lib.cairo | 2 +- 7 files changed, 17 insertions(+), 17 deletions(-) diff --git a/README.md b/README.md index 18345970..9a03d860 100644 --- a/README.md +++ b/README.md @@ -58,7 +58,7 @@ 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 @@ -66,7 +66,7 @@ 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 diff --git a/Scarb.toml b/Scarb.toml index 68fc7a9e..d6d726da 100644 --- a/Scarb.toml +++ b/Scarb.toml @@ -25,7 +25,7 @@ starknet_with_keccak = [] keccak = [] blake2s = [] -monolit = [] +monolith = [] split = [] -default = ["recursive", "keccak", "monolit"] +default = ["recursive", "keccak", "monolith"] diff --git a/src/air/layouts/dex.cairo b/src/air/layouts/dex.cairo index 43f5589c..3be76412 100644 --- a/src/air/layouts/dex.cairo +++ b/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, constraint_coefficients: Span, @@ -45,7 +45,7 @@ fn eval_composition_polynomial_inner( ) } -#[cfg(feature: 'monolit')] +#[cfg(feature: 'monolith')] fn eval_oods_polynomial_inner( column_values: Span, oods_values: Span, diff --git a/src/air/layouts/recursive.cairo b/src/air/layouts/recursive.cairo index 4978cebd..ea09973f 100644 --- a/src/air/layouts/recursive.cairo +++ b/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, constraint_coefficients: Span, @@ -45,7 +45,7 @@ fn eval_composition_polynomial_inner( ) } -#[cfg(feature: 'monolit')] +#[cfg(feature: 'monolith')] fn eval_oods_polynomial_inner( column_values: Span, oods_values: Span, diff --git a/src/air/layouts/recursive_with_poseidon.cairo b/src/air/layouts/recursive_with_poseidon.cairo index d88cf076..ea2bf869 100644 --- a/src/air/layouts/recursive_with_poseidon.cairo +++ b/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, constraint_coefficients: Span, @@ -49,7 +49,7 @@ fn eval_composition_polynomial_inner( ) } -#[cfg(feature: 'monolit')] +#[cfg(feature: 'monolith')] fn eval_oods_polynomial_inner( column_values: Span, oods_values: Span, diff --git a/src/air/layouts/small.cairo b/src/air/layouts/small.cairo index e0191781..d4f7f7c9 100644 --- a/src/air/layouts/small.cairo +++ b/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, constraint_coefficients: Span, @@ -45,7 +45,7 @@ fn eval_composition_polynomial_inner( ) } -#[cfg(feature: 'monolit')] +#[cfg(feature: 'monolith')] fn eval_oods_polynomial_inner( column_values: Span, oods_values: Span, diff --git a/src/lib.cairo b/src/lib.cairo index a570a4ec..c90da13c 100644 --- a/src/lib.cairo +++ b/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, cairo_version: CairoVersion) -> (felt252, felt252) { let stark_proof_serde = Serde::::deserialize(ref serialized).unwrap(); let stark_proof: StarkProof = stark_proof_serde.into();