bn254

func X_g1Add ¶

func X_g1Add(input []byte) []byte

X_g1Add mirrors EIP-196's ECADD precompile. Per EIP-196, short inputs are right-padded with zeros to 128 bytes; excess bytes are ignored.

The excess is normally already gone: bn254.gno's G1Add truncates to 128 bytes before calling in, because this native is priced flat and the dispatcher's Gno→Go copy is not. Keep that check there — the one below only covers Go callers, by which point the copy has happened.

func X_g1Mul ¶

func X_g1Mul(input []byte) []byte

X_g1Mul mirrors EIP-196's ECMUL precompile.

bn254.gno's G1Mul applies the same length check before calling in; see X_g1Add for why that matters.

func X_pairingCheck ¶

func X_pairingCheck(input []byte) []byte

X_pairingCheck mirrors EIP-197's ECPAIRING precompile. An empty input reports "1" (product of zero pairings), matching the spec.