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