폴딩 스킴
여러 개의 계산 인스턴스를 하나로 압축하여 증명 효율을 높이는 기법이다. Nova와 NeutronNova에서 핵심적으로 사용되며, Vega의 고속 증명 생성 성능을 뒷받침한다.