Function syscall_bls12381_add_impl 

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

BLS12-381 curve point addition.

Input format

Both p and q must be affine points encoded as [x || y] in little-endian, where each coordinate is 48 bytes.

Validation

Returns ExitCode::MalformedBuiltinParams if:

• p == q (use doubling instead — SP1 doesn’t support adding equal points)
• Any coordinate >= field modulus