From 5f64a4c6d56d6b0c9d0e83c2eb6513d261c44a9f Mon Sep 17 00:00:00 2001 From: Leo-Besancon Date: Wed, 10 Dec 2025 07:43:42 +0100 Subject: [PATCH 1/3] feat: add fri params suitable for miden proving --- fri/src/config.rs | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/fri/src/config.rs b/fri/src/config.rs index 5bcf7d96a..3962ed740 100644 --- a/fri/src/config.rs +++ b/fri/src/config.rs @@ -126,3 +126,27 @@ pub const fn create_benchmark_fri_params_zk(mmcs: Mmcs) -> FriParameters(mmcs: Mmcs) -> FriParameters { + FriParameters { + log_blowup: 4, + log_final_poly_len: 0, + num_queries: 100, + proof_of_work_bits: 16, + mmcs, + log_folding_factor: 1, + } +} + +/// Creates a set of `FriParameters` suitable for miden VM constraints proving. +pub const fn create_miden_vm_constraints_fri_params(mmcs: Mmcs) -> FriParameters { + FriParameters { + log_blowup: 3, + log_final_poly_len: 0, + num_queries: 100, + proof_of_work_bits: 16, + mmcs, + log_folding_factor: 1, + } +} From 27288ba9399cf093fdf704016cd9d083bc7e2a99 Mon Sep 17 00:00:00 2001 From: Leo-Besancon Date: Wed, 10 Dec 2025 17:09:18 +0100 Subject: [PATCH 2/3] fix: update config values based on review and unify them --- fri/src/config.rs | 18 +++--------------- 1 file changed, 3 insertions(+), 15 deletions(-) diff --git a/fri/src/config.rs b/fri/src/config.rs index 3962ed740..3f4360e5d 100644 --- a/fri/src/config.rs +++ b/fri/src/config.rs @@ -127,26 +127,14 @@ pub const fn create_benchmark_fri_params_zk(mmcs: Mmcs) -> FriParameters(mmcs: Mmcs) -> FriParameters { - FriParameters { - log_blowup: 4, - log_final_poly_len: 0, - num_queries: 100, - proof_of_work_bits: 16, - mmcs, - log_folding_factor: 1, - } -} - /// Creates a set of `FriParameters` suitable for miden VM constraints proving. -pub const fn create_miden_vm_constraints_fri_params(mmcs: Mmcs) -> FriParameters { +pub const fn create_miden_fri_params(mmcs: Mmcs) -> FriParameters { FriParameters { log_blowup: 3, - log_final_poly_len: 0, + log_final_poly_len: 7, num_queries: 100, proof_of_work_bits: 16, mmcs, - log_folding_factor: 1, + log_folding_factor: 2, } } From 9a77f0f3f0a19ccf136e968b90dcc88d4db7b4c0 Mon Sep 17 00:00:00 2001 From: Leo-Besancon Date: Tue, 16 Dec 2025 08:40:40 +0100 Subject: [PATCH 3/3] feat: use Winterfell 96 bit security regular and recursive params for plonky3 --- fri/src/config.rs | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/fri/src/config.rs b/fri/src/config.rs index 3f4360e5d..9a02366d7 100644 --- a/fri/src/config.rs +++ b/fri/src/config.rs @@ -127,12 +127,24 @@ pub const fn create_benchmark_fri_params_zk(mmcs: Mmcs) -> FriParameters(mmcs: Mmcs) -> FriParameters { +/// Creates a set of `FriParameters` for 96-bit conjectured security suitable for miden VM constraints proving in non-recursive context. +pub const fn create_regular_miden_fri_params(mmcs: Mmcs) -> FriParameters { + FriParameters { + log_blowup: 3, + log_final_poly_len: 8, + num_queries: 27, + proof_of_work_bits: 16, + mmcs, + log_folding_factor: 3, + } +} + +/// Creates a set of `FriParameters` for 96-bit conjectured security suitable for miden VM constraints proving in recursive context. +pub const fn create_recursive_miden_fri_params(mmcs: Mmcs) -> FriParameters { FriParameters { log_blowup: 3, log_final_poly_len: 7, - num_queries: 100, + num_queries: 27, proof_of_work_bits: 16, mmcs, log_folding_factor: 2,