Milagro: Distributed Cryptosystem for Cloud Computing
milagro.apache.org
milagro.apache.org
http://docs.milagro.io/en/mfa/getting-started/milagro-mfa-ov...
I also can't seem to find any actual security definitions or proofs for the project; I am thus disinclined to trust any security guarantees this project claims to offer.
Milagro means miracle in Spanish. Not sure if that's an appropriate name for a security product.
"Es un milagro que funcione" (literally, "It's a miracle that it works") is a very common phrase that captures the somehow pejorative sense of the word "milagro" when used to describe or qualify human creations, more so technology creations.
At least you don't have to stop and explain what it is all the time.
MIRACL is actually an acronym for "Multiprecision Integer and Rational Arithmetic C/C++ Library" [1]