Skip to content

Commit 4ae5a93

Browse files
authored
fix(prover): fix setup_metadata_to_setup_data_key (matter-labs#2875)
1 parent 32889be commit 4ae5a93

File tree

1 file changed

+13
-3
lines changed
  • prover/crates/bin/prover_fri/src

1 file changed

+13
-3
lines changed

prover/crates/bin/prover_fri/src/utils.rs

Lines changed: 13 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -143,9 +143,19 @@ pub fn verify_proof(
143143
pub fn setup_metadata_to_setup_data_key(
144144
setup_metadata: &CircuitIdRoundTuple,
145145
) -> ProverServiceDataKey {
146-
ProverServiceDataKey {
147-
circuit_id: setup_metadata.circuit_id,
148-
round: setup_metadata.aggregation_round.into(),
146+
let round = setup_metadata.aggregation_round.into();
147+
match round {
148+
AggregationRound::NodeAggregation => {
149+
// For node aggregation only one key exist for all circuit types
150+
ProverServiceDataKey {
151+
circuit_id: ZkSyncRecursionLayerStorageType::NodeLayerCircuit as u8,
152+
round,
153+
}
154+
}
155+
_ => ProverServiceDataKey {
156+
circuit_id: setup_metadata.circuit_id,
157+
round,
158+
},
149159
}
150160
}
151161

0 commit comments

Comments
 (0)