1  // Copyright (c) 2019-2025 Alpha-Delta Network Inc.
 2  // This file is part of the alphavm library.
 3  
 4  // Licensed under the Apache License, Version 2.0 (the "License");
 5  // you may not use this file except in compliance with the License.
 6  // You may obtain a copy of the License at:
 7  
 8  // http://www.apache.org/licenses/LICENSE-2.0
 9  
10  // Unless required by applicable law or agreed to in writing, software
11  // distributed under the License is distributed on an "AS IS" BASIS,
12  // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  // See the License for the specific language governing permissions and
14  // limitations under the License.
15  
16  use super::*;
17  
18  impl<N: Network> Eq for Ciphertext<N> {}
19  
20  impl<N: Network> PartialEq for Ciphertext<N> {
21      /// Returns `true` if `self` and `other` are equal.
22      fn eq(&self, other: &Self) -> bool {
23          *self.is_equal(other)
24      }
25  }
26  
27  impl<N: Network> Equal<Self> for Ciphertext<N> {
28      type Output = Boolean<N>;
29  
30      /// Returns `true` if `self` and `other` are equal.
31      fn is_equal(&self, other: &Self) -> Self::Output {
32          // Ensure that the ciphertexts have the same number of field elements.
33          if self.0.len() != other.0.len() {
34              return Boolean::new(false);
35          }
36  
37          // Check each field element for equality.
38          if self.0.iter().zip_eq(other.0.iter()).all(|(a, b)| *a.is_equal(b)) {
39              Boolean::new(true)
40          } else {
41              Boolean::new(false)
42          }
43      }
44  
45      /// Returns `true` if `self` and `other` are *not* equal.
46      fn is_not_equal(&self, other: &Self) -> Self::Output {
47          !self.is_equal(other)
48      }
49  }