Alan Li2 talks by Alan LiPico Prism 2.0: Real-Time zk Proving at ScaleZK12: Towards ZK-Friendly Machine Learning Models - Alan Li