refactor!: removed binary shares from wtnx extension

Witness extension now uses only arithmetic shares and
converts between a2b if necessary

BREAKING CHANGE: Witness extension VM trait no longer has binary share
type.

co-circom/circom-mpc-vm/src/mpc.rs

@@ -11,16 +11,8 @@ pub(crate) mod rep3;
 pub trait VmCircomWitnessExtension<F: PrimeField> {
     /// The arithemitc share type
     type ArithmeticShare: CanonicalSerialize + CanonicalDeserialize + Clone + Default;
-    /// The binary share type
-    type BinaryShare;
     /// The VM type
-    type VmType: Clone
-        + Default
-        + fmt::Debug
-        + fmt::Display
-        + From<F>
-        + From<Self::ArithmeticShare>
-        + From<Self::BinaryShare>;
+    type VmType: Clone + Default + fmt::Debug + fmt::Display + From<F> + From<Self::ArithmeticShare>;
 
     /// Add two VM-types: c = a + b.
     fn add(&mut self, a: Self::VmType, b: Self::VmType) -> Result<Self::VmType>;

co-circom/circom-mpc-vm/src/mpc/plain.rs

@@ -78,8 +78,6 @@ impl<F: PrimeField> CircomPlainVmWitnessExtension<F> {
 impl<F: PrimeField> VmCircomWitnessExtension<F> for CircomPlainVmWitnessExtension<F> {
     type ArithmeticShare = F;
 
-    type BinaryShare = F;
-
     type VmType = F;
 
     fn add(&mut self, a: Self::VmType, b: Self::VmType) -> Result<Self::VmType> {