Closed survived closed 4 months ago
The spec was successfully compiled. PDF is available here.
Trying this for my branch: we should now make AnyKeyShare::core give Valid<CoreShare>
instead of DirtyCoreShare. Though I can do it myself. Another pain point: there's no AsRef<T> for T
, so I still have to clone
Another pain point: there's no AsRef
for T, so I still have to clone
You need to manually implement it for each T
, it's a bit more code, but it's common practice with AsRef trait
we should now make AnyKeyShare::core
I actually have feeling that we probably don't need AnyKeyShare anymore, impl AsRef<CoreKeyShare>
should pretty much replace it.
KeyInfo
contains public information about the key. It's useful in FROST.Valid<T>
now transitively trusts that ifT
containsK
, thenK
must have been validated whenT
was validated. That allows us to haveas_ref :: &Valid<T> -> &Valid<K>