Skip to content

Conversation

@Fantoni0
Copy link
Collaborator

@Fantoni0 Fantoni0 commented Jan 28, 2025

  • Implements Mova-like matrix folding as described in "Folding and Lookup Arguments for Proving Inference of Deep
    Learning Models"
    • Compatible with Sonobe library.
    • Does not implement any optimization for sparsity yet.
  • Fixes bug in PointVsLIne protocol.

@Fantoni0 Fantoni0 requested review from NiDimi and cupicmarko January 28, 2025 18:25
NiDimi and others added 10 commits January 28, 2025 22:04
-> Fixed an small issue where we were passing a ci in matrix that wasnt needed
-> Added test for correct re_prime
-> Added tests for mova_matrix variant of ptvsline
NiDimi and others added 3 commits January 29, 2025 16:14
Copy link
Collaborator

@NiDimi NiDimi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Left a few comments. Also, let me know what you think but we should open an issue about implementing a check check_evaluation for the mova_matrix.

@Fantoni0 Fantoni0 requested a review from NiDimi January 31, 2025 07:39
Copy link
Collaborator

@NiDimi NiDimi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Latest changes look good

Copy link

@cupicmarko cupicmarko left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't have anything specific to add, the code looks good, the comments are really useful, and the only thing might be missing is that some branches with failures are not tested, nothing else.

}

pub fn verify(
fn verify(

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think not all of the branches are tested

@Fantoni0 Fantoni0 merged commit 7f1ce6b into main Feb 5, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants