change the string names generated for rc128 and rc96 in BuiltinName#2057
Closed
ohad-nir-starkware wants to merge 1 commit intostarkware-developmentfrom
Closed
change the string names generated for rc128 and rc96 in BuiltinName#2057ohad-nir-starkware wants to merge 1 commit intostarkware-developmentfrom
ohad-nir-starkware wants to merge 1 commit intostarkware-developmentfrom