Ashutosh Marwah Profile
Ashutosh Marwah

@goforashutosh

Followers
44
Following
5K
Media
0
Statuses
6

Cryptography at @Ingo_zk; prev: quantum information

Montreal
Joined June 2023
Don't wanna be here? Send us removal request.
@goforashutosh
Ashutosh Marwah
2 years
However, implementing the algorithm correctly and efficiently still requires a lot of work. (5/5). Read our blog to find out more: To use the library see:
1
0
6
@goforashutosh
Ashutosh Marwah
2 years
Verifying SVD in a ZK-circuit boils down to verifying matrix multiplication. While computing the product of N X N matrices costs O(N^2.8) operations, verifying a product is much easier and only costs O(N^2) using Freivalds’ algorithm (. (4/5).
1
0
5
@goforashutosh
Ashutosh Marwah
2 years
SVD is also useful for the decentralized reputation management algorithm EigenTrust. (3/5).
1
0
4
@goforashutosh
Ashutosh Marwah
2 years
SVD allows one to represent a matrix as a product of two orthogonal matrices (rotations) and a rescaling. One can use this decomposition for machine learning tasks such as the principal component analysis, which is a technique for dimensionality reduction. (2/5).
1
0
4
@goforashutosh
Ashutosh Marwah
2 years
As part of the @axiom_xyz's Open Source Program v2, Guillaume, Zhengxun and I developed Halo2-svd, a library which provides functionalities to verify the singular value decomposition (SVD) of a matrix and perform basic linear algebra operations in Halo2. (1/5).
2
2
27