Future Directions

Over the past few years, there has been a significant advancement in building zero-knowledge proof protocols that are more efficient in both space and time. Plonky3, the backbone of the Valida zk-VM, hasn't yet incorporated these advancements. At Lita, we are committed to translating these theoretical results into practical applications. The new techniques eliminate costly operations in STARK, such as polynomial quotients and the FFT Transform, enabling the efficient proof of more complex functionalities. This could allow Valida to adopt more expressive chips.