Name collisions are unfortunate but inevitable. This name makes me think of ristretto255 (https://ristretto.group/ https://ristretto.group/), but that’s the wor

Name collisions are unfortunate but inevitable. This name makes me think of ristretto255 (https://ristretto.group/ https://ristretto.group/), but that’s the world I live in. I suspect this project is likely to see more name recognition over time than either of our examples.