feat: even more general ring switch#615

Draft

alexanderlhicks wants to merge 11 commits into

mainfrom

feat/generic-ring-switch

Commits on Jul 11, 2026

feat(Security): challenge-round factoring lemma for RBR games (S6-i)

alexanderlhicks
and
claude
committed
feat(RingSwitching/Generic): unpack round-trip + Remark-5 consistency check (S6/F2)

alexanderlhicks
and
claude
committed
feat(RingSwitching/Generic): S6-ii hand-written ring-switch phase reduction

alexanderlhicks
and
claude
committed
feat(RingSwitching/Generic): prove phase RBR knowledge soundness (repo first)

alexanderlhicks
and
claude
committed
style(Data/MvPolynomial): show -> change (Data zero-warning budget)

alexanderlhicks
and
claude
committed
test(RingSwitching/Generic): close-review pins for the phase RBR theorem

alexanderlhicks
and
claude
committed