Closed drskalman closed 1 year ago
I've not looked as closely as you wanted but seems fine afaik.
I do not see the DLEQ proof code here? We should probably merge this PR, but then deprecate this crate, and start a whole new crate that (a) does the DLEQ proofs and (b) avoids this swapable mess.