Module ring_switch 

Structs

RingSwitchOutput

Output of ring-switching prover.

Constants

LOG_SPLIT_BLOCK

Base-2 log of the low-factor length the tensor split targets.

Functions

fold_1b_rows_for_b128_split

Folds the 1-bit rows of a matrix against an equality tensor supplied as two factors.

prove

Prove the ring-switching reduction.

prove_public_eval

Proves the public segment’s evaluation claim.

rs_eq_ind_from_factors

Builds the ring-switching equality indicator directly from the tensor’s two factors.