zkevm_circuits 0.153.9

ZKsync Era circuits for EraVM
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use super::*;

/// Adds two points in the plain SW projective coordinates.
pub fn projective_add<F, CS>(
    cs: &mut CS,
    point_1: &mut BN256SWProjectivePoint<F>,
    mut point_2: (BN256BaseNNField<F>, BN256BaseNNField<F>),
) -> BN256SWProjectivePoint<F>
where
    F: SmallField,
    CS: ConstraintSystem<F>,
{
    point_1.add_mixed(cs, &mut point_2)
}