Function syscall_bls12381_double_impl 

pub fn syscall_bls12381_double_impl(p: [u8; 96]) -> Result<[u8; 96], ExitCode>

BLS12-381 curve point doubling.

Input format

p must be an affine point encoded as [x || y] in little-endian, where each coordinate is 48 bytes.

Safety

Caller must ensure coordinates are valid field elements (< modulus). No validation is performed — invalid input produces undefined output.