Great seeing @zk_albi from the @icme_labs team leading two talks. One as a guest speaker on new cutting edge efficient recursion for JOLT. The other his own work on ABBA (lattices). These talks are on YouTube: search “zkSummit Rome”. In our Jolt Atlas (zkML JOLT) repo - upstream work from the a16 helps us greatly 🙏 this year we have ZK (privacy) coming from folding scheme (cross stream), efficient recursion, and a Jolt prover that can work on constrained devices. Down stream: a lot of the core focus has been on EC primitives. A lot of the work needs porting to lattice. One example: add privacy (ZK) in the lattice setting. Another is succinct proofs. Getting one GPU proving one cpu core in realtime.. is likely happening these year.. Let’s go! 🔥🔥🔥