Skip to content

Commit fc53b9c

Browse files
olesHolemolesHolem
committed
cargo fmt
1 parent a4e54e9 commit fc53b9c

File tree

20 files changed

+82
-28
lines changed
  • circuit_defs
    • bigint_with_control/verifier/src
    • blake2_with_compression/verifier/src
    • final_reduced_risc_v_machine/verifier/src
    • keccak_special5/verifier/src
    • prover_examples/src
    • reduced_risc_v_log_23_machine/verifier/src
    • reduced_risc_v_machine/verifier/src
    • risc_v_cycles/verifier/src
    • unrolled_circuits
      • add_sub_lui_auipc_mop/verifier/src
      • inits_and_teardowns/verifier/src
      • jump_branch_slt/verifier/src
      • load_store_subword_only/verifier/src
      • load_store_word_only/verifier/src
      • mul_div_unsigned/verifier/src
      • mul_div/verifier/src
      • shift_binary_csr/verifier/src
      • unified_reduced_machine/verifier/src
  • gpu_prover/src/prover
  • verifier/src

20 files changed

+82
-28
lines changed

‎circuit_defs/bigint_with_control/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

‎circuit_defs/blake2_with_compression/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

‎circuit_defs/final_reduced_risc_v_machine/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

‎circuit_defs/keccak_special5/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

‎circuit_defs/prover_examples/src/gpu.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -236,10 +236,10 @@ pub fn gpu_prove_image_execution_for_machine_with_gpu_tracers<
236236
};
237237

238238
let external_challenges = ExternalChallenges::draw_from_transcript_seed(
239-
memory_challenges_seed,
239+
memory_challenges_seed,
240240
true,
241241
MEMORY_DELEGATION_POW_BITS,
242-
pow_challenge
242+
pow_challenge,
243243
);
244244

245245
let input = final_register_values

‎circuit_defs/prover_examples/src/lib.rs‎

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -818,13 +818,14 @@ mod test {
818818
let non_determinism_source = QuasiUARTSource::default();
819819
let main_circuit_precomputations =
820820
setups::get_main_riscv_circuit_setup::<Global, Global>(&binary, &worker);
821-
let (_main_proofs, _delegation_proofs, _register_values, _pow_challenge) = crate::prove_image_execution(
822-
num_instances,
823-
&binary,
824-
non_determinism_source,
825-
&main_circuit_precomputations,
826-
&delegation_precomputations,
827-
&worker,
828-
);
821+
let (_main_proofs, _delegation_proofs, _register_values, _pow_challenge) =
822+
crate::prove_image_execution(
823+
num_instances,
824+
&binary,
825+
non_determinism_source,
826+
&main_circuit_precomputations,
827+
&delegation_precomputations,
828+
&worker,
829+
);
829830
}
830831
}

‎circuit_defs/reduced_risc_v_log_23_machine/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

‎circuit_defs/reduced_risc_v_machine/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

‎circuit_defs/risc_v_cycles/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

‎circuit_defs/unrolled_circuits/add_sub_lui_auipc_mop/verifier/src/lib.rs‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,10 @@ pub unsafe fn verify_with_configuration<I: NonDeterminismSource, V: LeafInclusio
207207

208208
// draw quotient linearization challenges
209209
let mut transcript_challenges = MaybeUninit::<
210-
[u32; transcript_challenge_array_size(2usize * 4, POW_CONFIG.quotient_alpha_pow_bits as usize)],
210+
[u32; transcript_challenge_array_size(
211+
2usize * 4,
212+
POW_CONFIG.quotient_alpha_pow_bits as usize,
213+
)],
211214
>::uninit()
212215
.assume_init();
213216
Transcript::draw_randomness_using_hasher(

0 commit comments

Comments
 (0)