I would like to 2nd @gottabeJay regarding having a discussion on recursion/succinctness at Zeboot. And similar to what @artkor shared in the Sovereign Rollup thread id like to share some quotes from some of those early Halo2 blog posts. @Dodger also recently mentioned this topic and shared this old thread on Succinct blockchains
1) “In addition, this upgrade would pave the way for shielded Zcash scale through proof aggregation and blockchain succinctness, two scalability improvements. This would improve the user experience by eliminating frustrating synchronization time that plagues all blockchains today, reducing the traditional blockchain bloat, and allowing for non-escalating fees as usage increases.”
2) “Scalability will require large redesigns of Zcash’s current protocol that are more involved than simply implementing Halo 2 on Zcash. Halo 2 will be a crucial component of these protocol designs. In the relatively near term, we will be able to leverage features in Halo 2 to reduce on-chain bandwidth and verification time via transaction aggregation. Eventually these features could also allow us to implement a fully succinct block chain, allowing near-instant syncing, and light client support with similar security guarantees to a full node.”
Although I am unqualified to estimate the cost, dev hours, and viability of accomplishing this, I personally think this endeavor is potentially as important as the transition to Proof of Stake.
I see becoming a “fully succinct blockchain” as fulfilling the Zcash vision when Halo2 was first discovered, presented to the community, and implemented into Zcash.
a private, Scalable, L1 payment protocol