Lawrence Lim

Results 16 comments of Lawrence Lim

Hello, I am in discussions working with someone else right now on ZK Proofs, but I am open to working on a different topic related to privacy. (I just don't...

> This video could also be useful for anyone looking to make a video on this topic: https://www.youtube.com/watch?v=fOGdb1CTu5c Thanks for letting me know, but I am already aware. I had...

> Is diagonalize really the term of art? I think we should avoid overloading that with the normal use of the term in linear algebra. Quickly skimming Halevi's and Shoup's...

# Implementation Proposal @asraa and I spent some time discussing how to implement the Halevi-Shoup Matrix Multiplication in the context of machine learning. Here's what we came up with, concretely....

@edwjchen, I don't totally follow how using the Roll operation allows you to obtain a diagonal representation. A few clarification questions for you: - Does Roll(0, 1) of [[0, 0,...

Does StableHLO also do the same thing?

Yeah, I'm starting to think that's a better option, but would `linalg.conv_2d_nhwc_fhwc` also be transformed to linalg.matmul?

This issue is addressed by PR #878, but there are more improvements that can be done, which are left as future tasks: * The code currently works at the arith...

Will also need to adjust #874 when removing num_bits and other adjustments to Random Dialect.