Hello, On Mon, Oct 17, 2022 at 12:11:55PM -0700, Yosry Ahmed wrote: > I agree that it's not ideal, but it feels like we are comparing two > non-ideal options anyway, I am just throwing ideas around :) In the spirit of throwing ideas around, I wonder whether the better way to about it is keeping them separate with clear documentation and figure out a way to deprecate the old one as AFAICS the new one should be able to do everything the old one was doing. Would it be an option to, say, make the verifier warn the users towards converting to the new one and eventually remove the old one down the line? Thanks. -- tejun
