In this article, we explore the folding scheme technique that can be applied to achieve a more efficient approach to the IVC when verifying a single proof verifies the entire computation chain.