aquaveo/stable: links for starkware-crypto