Although implementation is currently deprioritized, we should know the maximum constraint savings possible for variant constructions. Some of these are relatively straightforward to implement, and we don't yet know that some variant will not be required.
Note that some variants will also depend on max circuit-verifying-key size.
https://github.com/filecoin-project/rust-fil-proofs/issues/563
Although implementation is currently deprioritized, we should know the maximum constraint savings possible for variant constructions. Some of these are relatively straightforward to implement, and we don't yet know that some variant will not be required.
Note that some variants will also depend on max circuit-verifying-key size.