Hi, maintainer of the crate The formal verification comes from [fiat-crypto](https://github.com/mit-plv/fiat-crypto), which generates the Rust code of the underlying Curve25519 field arithmetic. Correctness is checked…
Author and maintainer of Orion here. I really appreciate your feedback, thank you! After reading this, I think your point-of-view hasn't been taken correctly into account when creating and reviewing the documentation.…
> Near the bottom of that issue, an employee from NCC reached out and said that they may be interested in funding an audit for Orion Small correction: It was actually an employee of Mobilecoin, the company that funded…
Hi, maintainer of the crate The formal verification comes from [fiat-crypto](https://github.com/mit-plv/fiat-crypto), which generates the Rust code of the underlying Curve25519 field arithmetic. Correctness is checked…
Author and maintainer of Orion here. I really appreciate your feedback, thank you! After reading this, I think your point-of-view hasn't been taken correctly into account when creating and reviewing the documentation.…
> Near the bottom of that issue, an employee from NCC reached out and said that they may be interested in funding an audit for Orion Small correction: It was actually an employee of Mobilecoin, the company that funded…