Integrate LogUp with folding-based IVC#196

Draft

winderica wants to merge 1 commit intoprivacy-scaling-explorations:mainfrom winderica:logup

+364

Commits on Jan 15, 2025

Implement in-circuit logic for checking LogUp identity
winderica
committed