proof-systems
proof-systems copied to clipboard
Rewrite IVC without cycle of curves assumption.