Generalize shift verifier to be symbolic over Channel::Elem#1444

Merged

jimpo merged 3 commits intomainfrom

symbolic-shift-verifier

Apr 8, 2026

Commits on Apr 8, 2026

[verifier] Remove rayon multithreading from shift evaluate_matrices
jimpo
committed
[verifier] Generalize verify_iop to be symbolic over Channel::Elem
jimpo
committed
[verifier] Generalize shift check_eval to be symbolic over Channel::Elem
jimpo
committed