SuperNova

SuperNovaはNovaをNon-uniform IVCに拡張したものです。同一でないステップ関数F1, F2, ..., Fnの計算を証明できます。

Reference

• https://eprint.iacr.org/2022/1758