revm_precompile/bls12_381/
g2_add.rs

1//! BLS12-381 G2 add precompile. More details in [`g2_add`]
2use super::utils::{pad_g2_point, remove_g2_padding};
3use crate::{
4    bls12_381_const::{G2_ADD_ADDRESS, G2_ADD_BASE_GAS_FEE, G2_ADD_INPUT_LENGTH, PADDED_G2_LENGTH},
5    crypto, eth_precompile_fn, EthPrecompileOutput, EthPrecompileResult, Precompile,
6    PrecompileHalt, PrecompileId,
7};
8
9eth_precompile_fn!(g2_add_precompile, g2_add);
10
11/// [EIP-2537](https://eips.ethereum.org/EIPS/eip-2537#specification) BLS12_G2ADD precompile.
12pub const PRECOMPILE: Precompile =
13    Precompile::new(PrecompileId::Bls12G2Add, G2_ADD_ADDRESS, g2_add_precompile);
14
15/// G2 addition call expects `512` bytes as an input that is interpreted as byte
16/// concatenation of two G2 points (`256` bytes each).
17///
18/// Output is an encoding of addition operation result - single G2 point (`256`
19/// bytes).
20/// See also <https://eips.ethereum.org/EIPS/eip-2537#abi-for-g2-addition>
21pub fn g2_add(input: &[u8], gas_limit: u64) -> EthPrecompileResult {
22    if G2_ADD_BASE_GAS_FEE > gas_limit {
23        return Err(PrecompileHalt::OutOfGas);
24    }
25
26    if input.len() != G2_ADD_INPUT_LENGTH {
27        return Err(PrecompileHalt::Bls12381G2AddInputLength);
28    }
29
30    // Extract coordinates from padded input
31    let [a_x_0, a_x_1, a_y_0, a_y_1] = remove_g2_padding(&input[..PADDED_G2_LENGTH])?;
32    let [b_x_0, b_x_1, b_y_0, b_y_1] = remove_g2_padding(&input[PADDED_G2_LENGTH..])?;
33
34    let a = (*a_x_0, *a_x_1, *a_y_0, *a_y_1);
35    let b = (*b_x_0, *b_x_1, *b_y_0, *b_y_1);
36
37    let unpadded_result = crypto().bls12_381_g2_add(a, b)?;
38
39    // Pad the result for EVM compatibility
40    let padded_result = pad_g2_point(&unpadded_result);
41
42    Ok(EthPrecompileOutput::new(
43        G2_ADD_BASE_GAS_FEE,
44        padded_result.into(),
45    ))
46}
revm_precompile/bls12_381/g2_add.rs

revm_precompile/bls12_381/
g2_add.rs
