feat(starknet_os): integrate polynomial_coefficients_to_blob

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• feat(starknet_os): use ark_poly FFT implementation #4985
• feat(starknet_os): inline ark_poly bit_reversal algorithm #5110
• test(starknet_os): fft regression #4984
• feat(starknet_os): use BigUint instead of BigInt in KZG area #4922
• refactor(starknet_os): inner_fft implementation without cloning the slices #4896
• test(starknet_os): add small fft regression test #4895
• feat(starknet_os): implement hint store_da_segment #4880
• feat(starknet_os): add the da_segment field to the hint processor #4879
• feat(starknet_os): integrate polynomial_coefficients_to_kzg_commitment #4878
• feat(starknet_os): integrate split_commitment and test #4877
• feat(starknet_os): integrate blob_to_kzg_commitment and add trusted setup data #4876
• feat(starknet_os): integrate polynomial_coefficients_to_blob #4875 👈 (View in Graphite)
• feat(starknet_os): integrate to_bytes and serialize_blob #4874
• feat(starknet_os): integrate the fft function #4873
• feat(starknet_os): integrate the inner_fft function #4872
• feat(starknet_os): split KZG module into implementation and utils #4871
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[aner-starkware]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @amosStarkware and @nimrod-starkware)

---

crates/starknet_os/src/hints/hint_implementation/kzg/utils.rs line 154 at r2 (raw file):

    let prime = BigInt::from_str_radix(BLS_PRIME, 10)?;
    let bit_reversed = true;
    let fft_result = fft(&padded_coefficients, &generator, &prime, bit_reversed)?;

Add logs to check fft runtime.

Code quote:

    // Perform FFT on the coefficients
    let generator = BigInt::from_str_radix(BLOB_SUBGROUP_GENERATOR, 10)?;
    let prime = BigInt::from_str_radix(BLS_PRIME, 10)?;
    let bit_reversed = true;
    let fft_result = fft(&padded_coefficients, &generator, &prime, bit_reversed)?;

[dorimedini-starkware]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @amosStarkware, @aner-starkware, and @nimrod-starkware)

---

crates/starknet_os/src/hints/hint_implementation/kzg/utils.rs line 154 at r2 (raw file):

Previously, aner-starkware wrote…

Add logs to check fft runtime.

done, at the top of the stack (I prefer to keep debug logs inside the hint implementation functions themselves)

[aner-starkware]

Reviewed 1 of 1 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @amosStarkware and @nimrod-starkware)

[aner-starkware]

Reviewed 1 of 1 files at r4, 1 of 1 files at r5, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @amosStarkware and @nimrod-starkware)

[aner-starkware]

Reviewed 1 of 1 files at r6, 1 of 1 files at r7, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @amosStarkware and @nimrod-starkware)