Mina Protocol, known for its unique ZK architecture that addresses the blockchain bloating problem, is set to undergo a significant upgrade on June 4th. This upgrade will enhance the ZK programmability, enabling off-chain computation, cost-effective proof verification, and private inputs. This will allow developers to create a new generation of ZK-enabled smart contracts, dApps, L2s, bridges, and more.