pub fn syscall_bls12381_decompress_impl(
x_bytes_le: [u8; 48],
sign_bit: u32,
) -> Result<[u8; 96], ExitCode>Expand description
BLS12-381 point decompression.
§Input format
x_bytes_le: x-coordinate as 48 bytes in little-endiansign_bit: 0 or 1, indicates which y to recover
§Output
Affine point [y || x] in little-endian (96 bytes total, y first).
§Validation
Returns ExitCode::MalformedBuiltinParams if:
sign_bit > 1- x-coordinate doesn’t correspond to a valid curve point