|
|
|
|
|
|
by briansmith
1880 days ago
|
|
|
> The EverCrypt primitives are formally proven, whereas ring has no such formal proofs. We do use some of the Fiat Crypto stuff for elliptic curve computations. I am not opposed to switching some stuff to use EverCrypt or other things that might be better, as long as the performance is the same or better, and as long as there's a clear path towards that code being in Rust. > ring has several primitives that are assembly only and have no portable fallback. Either in the latest release (0.16.20) or the upcoming release, there is a portable non-assembly implementation of everything in ring. |
|
|