1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
use std::marker::PhantomData;

use eth_types::Field;
use gadgets::util::and;
use halo2_proofs::{
    circuit::Value,
    plonk::{Error, Expression},
};

use crate::{
    evm_circuit::util::{
        constraint_builder::EVMConstraintBuilder, transpose_val_ret, CachedRegion,
    },
    util::word::{WordExpr, WordLoHi},
};

use super::IsEqualGadget;

/// Returns `1` when `lhs == rhs`, and returns `0` otherwise.
#[derive(Clone, Debug)]
pub struct IsEqualWordGadget<F, T1, T2> {
    is_zero_lo: IsEqualGadget<F>,
    is_zero_hi: IsEqualGadget<F>,
    _marker: PhantomData<(T1, T2)>,
}

impl<F: Field, T1: WordExpr<F>, T2: WordExpr<F>> IsEqualWordGadget<F, T1, T2> {
    pub(crate) fn construct(cb: &mut EVMConstraintBuilder<F>, lhs: &T1, rhs: &T2) -> Self {
        let (lhs_lo, lhs_hi) = lhs.to_word().to_lo_hi();
        let (rhs_lo, rhs_hi) = rhs.to_word().to_lo_hi();
        let is_zero_lo = cb.is_eq(lhs_lo, rhs_lo);
        let is_zero_hi = cb.is_eq(lhs_hi, rhs_hi);

        Self {
            is_zero_lo,
            is_zero_hi,
            _marker: Default::default(),
        }
    }

    pub(crate) fn expr(&self) -> Expression<F> {
        and::expr([self.is_zero_lo.expr(), self.is_zero_hi.expr()])
    }

    pub(crate) fn assign(
        &self,
        region: &mut CachedRegion<'_, '_, F>,
        offset: usize,
        lhs: WordLoHi<F>,
        rhs: WordLoHi<F>,
    ) -> Result<F, Error> {
        let (lhs_lo, lhs_hi) = lhs.to_lo_hi();
        let (rhs_lo, rhs_hi) = rhs.to_lo_hi();
        self.is_zero_lo.assign(region, offset, lhs_lo, rhs_lo)?;
        self.is_zero_hi.assign(region, offset, lhs_hi, rhs_hi)?;
        Ok(F::from(2))
    }

    pub(crate) fn assign_value(
        &self,
        region: &mut CachedRegion<'_, '_, F>,
        offset: usize,
        lhs: Value<WordLoHi<F>>,
        rhs: Value<WordLoHi<F>>,
    ) -> Result<Value<F>, Error> {
        transpose_val_ret(
            lhs.zip(rhs)
                .map(|(lhs, rhs)| self.assign(region, offset, lhs, rhs)),
        )
    }

    pub(crate) fn assign_u256(
        &self,
        region: &mut CachedRegion<'_, '_, F>,
        offset: usize,
        lhs: eth_types::Word,
        rhs: eth_types::Word,
    ) -> Result<F, Error> {
        self.assign(region, offset, WordLoHi::from(lhs), WordLoHi::from(rhs))
    }
}

// TODO add unittest