这些项目都快了 （zkvm）brevis @brevis_zk 快ido了 （AI算力）Gradient @Gradient_HQ 快来了 （隐私L2）Miden @0xMiden 也快来了 （FHE隐私）@zama 快ido + tge了 （AI L1）@SentientAGI 快能查空投了，也马上tge了(头雁)