Overview
This PR still prohibits folding and using multiple instance columns, however, changes from a single element to a collection of instance columns wherever it will be needed
It also introduces the concept of a consistency_marker instead of an instance column, which better reflects the nature of X0,X1 usage within IVC
Motivation Close #329
Overview This PR still prohibits folding and using multiple instance columns, however, changes from a single element to a collection of instance columns wherever it will be needed
It also introduces the concept of a consistency_marker instead of an instance column, which better reflects the nature of X0,X1 usage within IVC