This repository has been archived by the owner on Aug 15, 2024. It is now read-only.

Limb based enforce equal #22

Open

adler99 wants to merge 2 commits into matter-labs:plonk_gadgets from doch-doch:limb_based_enforce_equal

adler99 commented Sep 23, 2020

fix enforce_equal with a limb based approach using LinearCombination
add test for enforce_equal with some constructed test cases (in addition to the existing random test)
refactor: extracting enforce_zero() for Term

Note: enforce_equal() changed signature to be consuming because of consuming reduction

adler99 added 2 commits

September 22, 2020 21:44


          fix enforce_equal with limb based approach, added test and created en…

1cf43f3

…force_zero for better code reuse


          improve enforce_equal by using LinearCombination

1efdb97

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet