Daira-Emma Hopwood
Daira-Emma Hopwood
I recommend implementing the power-of-two range proof as a separate gadget, and then implementing this in terms of that one.
For people who aren't able or willing to destroy a machine, it is probably still worth disabling swap before running the compute process and switching off the machine immediately afterward....
Not to mention that "gibberish" is never an appropriate way to describe texts because they're in non-Latin script.
This issue is clearly a design flaw in Ed25519/EdDSA. I can't imagine any *good* reason to have a signature scheme that is underspecified to the extent that there are signatures...
Also note that this criterion isn't quite the same thing as malleability. You can have a signature scheme for which it is well-specified whether a given signature passes or fails...
A warning "Redefining 'greet'." would be nice.
BTW, what happens if a previous definition referred to the redefined function and no longer type checks with the new definition? Oh, you said it should be removed (whether or...
What is NUDULP? A typo for NUDUPL, or a different algorithm?
Yeah, that one covers all the j = 0 curves that have an efficient isogeny from a j ≠ 0 curve, including Pallas and Vesta, secp256k1, etc. What are yous'...
Note that this depends on https://github.com/arkworks-rs/algebra/pull/261 (which has now been merged, but is not in a release).