From 03a669ca1d2646e40a78d4216958f22a6ca061d6 Mon Sep 17 00:00:00 2001 From: Robert Remen Date: Tue, 19 Nov 2024 08:41:12 +0000 Subject: [PATCH] perf(circuit_definitions): adjust proof configs for compression circuits to improve proving speed --- .../circuit_definitions/aux_layer/compression_modes/mode_4.rs | 2 +- .../aux_layer/compression_modes/mode_5_for_wrapper.rs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_4.rs b/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_4.rs index c2ef031..250fd1e 100644 --- a/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_4.rs +++ b/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_4.rs @@ -106,7 +106,7 @@ impl ProofCompressionFunction for CompressionMode4 { fn proof_config_for_compression_step() -> ProofConfig { ProofConfig { - fri_lde_factor: 2048, + fri_lde_factor: 1024, merkle_tree_cap_size: 256, fri_folding_schedule: None, security_level: crate::L1_SECURITY_BITS, diff --git a/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_5_for_wrapper.rs b/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_5_for_wrapper.rs index 2a86874..adaeff0 100644 --- a/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_5_for_wrapper.rs +++ b/crates/circuit_definitions/src/circuit_definitions/aux_layer/compression_modes/mode_5_for_wrapper.rs @@ -96,11 +96,11 @@ impl ProofCompressionFunction for CompressionMode5ForWrapper { fn proof_config_for_compression_step() -> ProofConfig { ProofConfig { - fri_lde_factor: 4096, + fri_lde_factor: 512, merkle_tree_cap_size: 8, fri_folding_schedule: None, security_level: crate::L1_SECURITY_BITS, - pow_bits: 8, + pow_bits: 26, } }