moya/stable: links for faircrypt