Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Commit

Permalink
WIP methods
Browse files Browse the repository at this point in the history
  • Loading branch information
ChihChengLiang committed Feb 13, 2024
1 parent cfc27d3 commit ea57f1d
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions zkevm-circuits/src/evm_circuit/util/constraint_builder.rs
Original file line number Diff line number Diff line change
Expand Up @@ -585,6 +585,19 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
}

// Math gadgets

// abs_word
// add_word
// binary_number
// byte_size
// cmp_words
// comparison
// constant_division
// modulo
// mul_add_words
// mul_add_words512
// mul_word_u64

pub(crate) fn is_zero(&mut self, value: Expression<F>) -> IsZeroGadget<F> {
IsZeroGadget::construct(self, value)
}
Expand Down

0 comments on commit ea57f1d

Please sign in to comment.