pub unsafe extern "C" fn syscall_bls12381_double(p: *mut [u32; 24])
Executes a BLS12-381 curve doubling on the given point.