Zero-Knowledge Machine Learning is Sus, But It Won’t Be for Long.

In this post I explore the costs of ML for ZKP proving — how GKR, sumcheck protocol and 'sparsity' can help! Particularly in the the elliptic curve or lattice setting. 

Moreover some insight from our work with lookup arguments and JOLT for non-linearities.

Zero-Knowledge Machine Learning is Sus, But It Won’t Be for Long.

In this post I explore the costs of ML for ZKP proving — how GKR, sumcheck protocol and 'sparsity' can help! Particularly in the the elliptic curve or lattice setting. 

Moreover some insight from our work with lookup arguments and JOLT for non-linearities. 

https://www.novanet.xyz/blog/verifiable-ai-with-zero-knowledge-proofs

Building consumer ZKP at https://NovaNet.xyz

Off-chain compute triggers on-chain actions, on any device.
https://blog.icme.io/

Private Basename
zkbasename.com

This is a fascinating exploration of the intersection between zero-knowledge proofs and machine learning. The discussion on GKR and sumcheck protocols, especially in the context of elliptic curves and lattice settings, is particularly insightful. I'm eager to see how your findings with lookup arguments and JOLT can advance our understanding of non-linearities in ML. Looking forward to more developments in this area!