AVX quotients

[spapinistarkware]

This change is 

[spapinistarkware]

• Make prove() generic in Backend #490 : 2 dependent PRs (#491 , #492 )
• CommitmentSchemeProver generic in backend #489
• Fri AVX ops #563
• AVX quotients #488 👈
• Remove old merkle #531 : 1 other dependent PR (#486 )
• FRI using simple merkle #530
• Dumb down FRI #529
• avx merkle #528
• simple merkle benchmark #527
• Use simple merkle tree #526
• merkle intermediate layers #548
• dev

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

Join @spapinistarkware and the rest of your teammates on Graphite

[graphite-app]

Your org has enabled the Graphite merge queue for merging into dev

Add the label “merge-queue” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge.

You must have a Graphite account in order to use the merge queue. Sign up using this link.

[andrewmilson]

Reviewable status: 4 of 13 files reviewed, all discussions resolved (waiting on @spapinistarkware)

[andrewmilson]

Reviewed 7 of 9 files at r10, 2 of 2 files at r11, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @spapinistarkware)

---

src/core/backend/avx512/mod.rs line 154 at r11 (raw file):

    }

    pub fn set_packed(&mut self, vec_index: usize, value: PackedQM31) {

Suggestion:

pub unsafe fn set_packed

[andrewmilson]

src/core/backend/avx512/mod.rs line 139 at r11 (raw file):

impl SecureColumn<AVX512Backend> {
    pub fn packed_at(&self, vec_index: usize) -> PackedQM31 {

Suggestion:

pub unsafe fn packed_at

[spapinistarkware]

Reviewable status: 2 of 13 files reviewed, 2 unresolved discussions (waiting on @andrewmilson)

---

src/core/backend/avx512/mod.rs line 139 at r11 (raw file):

impl SecureColumn<AVX512Backend> {
    pub fn packed_at(&self, vec_index: usize) -> PackedQM31 {

It's not a part of this PR now. This can be done independently in another PR.

---

src/core/backend/avx512/mod.rs line 154 at r11 (raw file):

    }

    pub fn set_packed(&mut self, vec_index: usize, value: PackedQM31) {

Same

[spapinistarkware]

Merge activity

• Apr 3, 11:19 AM EDT: @spapinistarkware started a stack merge that includes this pull request via Graphite.
• Apr 3, 11:21 AM EDT: Graphite rebased this pull request as part of a merge.
• Apr 3, 11:24 AM EDT: @spapinistarkware merged this pull request with Graphite.