search

microsoft / Nova

Nova: High-speed recursive arguments from folding schemes
MIT License
673 stars 176 forks source link

[question] Where to find the example for matrix multiplication recursive snark #322

Closed 123123davejohn closed 5 days ago

123123davejohn commented 1 month ago

I find the "and" example in the github repo. However, I was looking for a matrix multiplication example (c = a x b, where a, b, and c are configurable size matrices). Do you have an example for matrix multiplication similar to that of the "and" example? And if so, could you please share it with me.

srinathsetty commented 1 month ago

We don't have such an example.

Depending on your familiarity with bellpepper, it should be relatively easy to write it up. In particular, take entries of a, b, and c as witness elements and then implement the naive matrix multiplication algorithm.

srinathsetty commented 5 days ago

Closing this! Please reopen if you have further questions.