Function syscall_bn254_add_impl 

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

BN254 curve point addition.

Input format

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

Validation

Returns ExitCode::MalformedBuiltinParams if:

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