You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are increasing worries now ala https://minerva.crocs.fi.muni.cz/ so we should maybe do split nonce generation, which double's signing time, but improves resistance. We could even split across signing operations, ala w3f/bls#3 but likely using a static mut Option<(Scalar,RistrettoPoint)>
We could confine all nonce generation to contest.rs to make nonce splitting configurable.
The text was updated successfully, but these errors were encountered:
We've one call to witness_scalar in each of cert.rs, musig.rs, sign.rs, and vrf.rs. Yet, the VRF one uses the result a couple times, which prevents encapsulation outside these signing methods.
We should probably wait for const generics to stabalize, and for smallvec to adopt const generics, so that we can do
I'll close this but there are DJB's comments cited in https://minerva.crocs.fi.muni.cz/ which sound interesting: We do mod the group order more than an ed25519 implementation, but we're doing so with extra wid scalaars
We've almost complete confidence in curve25519-dalek being constant-time thanks to arithmetic designed by DJB and Tanja Lange and careful implementations, but..
There are increasing worries now ala https://minerva.crocs.fi.muni.cz/ so we should maybe do split nonce generation, which double's signing time, but improves resistance. We could even split across signing operations, ala w3f/bls#3 but likely using a
static mut Option<(Scalar,RistrettoPoint)>
We could confine all nonce generation to contest.rs to make nonce splitting configurable.
The text was updated successfully, but these errors were encountered: