diff --git a/ThirdPartyNotices.txt b/ThirdPartyNotices.txt
new file mode 100644
index 0000000..5fba18d
--- /dev/null
+++ b/ThirdPartyNotices.txt
@@ -0,0 +1,30 @@
+THIRD PARTY NOTICES
+
+This repository incorporates material as listed below or described in the code.
+
+------------------------------------------------------------
+https://github.com/microsoft/Nova
+
+Licensed under MIT
+
+MIT License
+
+Copyright (c) Microsoft Corporation.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE
\ No newline at end of file
diff --git a/crates/bellpepper/Cargo.toml b/crates/bellpepper/Cargo.toml
index 68d2dd8..dc5d106 100644
--- a/crates/bellpepper/Cargo.toml
+++ b/crates/bellpepper/Cargo.toml
@@ -19,6 +19,7 @@ rust-version = "1.66.0"
 bellpepper-core = { version = "0.4" }
 byteorder = { workspace = true }
 ff = { workspace = true }
+itertools = "0.12.0"
 
 [dev-dependencies]
 proptest = "1.3.1"
diff --git a/crates/bellpepper/src/gadgets/boolean_utils.rs b/crates/bellpepper/src/gadgets/boolean_utils.rs
index c530f4b..fdd0c3b 100644
--- a/crates/bellpepper/src/gadgets/boolean_utils.rs
+++ b/crates/bellpepper/src/gadgets/boolean_utils.rs
@@ -1,9 +1,10 @@
 use bellpepper_core::{
     boolean::{AllocatedBit, Boolean},
-    num::Num,
+    num::{AllocatedNum, Num},
     ConstraintSystem, SynthesisError,
 };
 use ff::PrimeField;
+use itertools::Itertools as _;
 
 // Returns a Boolean which is true if any of its arguments are true.
 #[macro_export]
@@ -149,11 +150,87 @@ pub fn and_v<CS: ConstraintSystem<F>, F: PrimeField>(
     Ok(and)
 }
 
+/// If condition return a otherwise b
+pub fn conditionally_select<F: PrimeField, CS: ConstraintSystem<F>>(
+    mut cs: CS,
+    a: &AllocatedNum<F>,
+    b: &AllocatedNum<F>,
+    condition: &Boolean,
+) -> Result<AllocatedNum<F>, SynthesisError> {
+    let c = AllocatedNum::alloc(cs.namespace(|| "conditional select result"), || {
+        if condition
+            .get_value()
+            .ok_or(SynthesisError::AssignmentMissing)?
+        {
+            a.get_value().ok_or(SynthesisError::AssignmentMissing)
+        } else {
+            b.get_value().ok_or(SynthesisError::AssignmentMissing)
+        }
+    })?;
+
+    // a * condition + b*(1-condition) = c ->
+    // a * condition - b*condition = c - b
+    cs.enforce(
+        || "conditional select constraint",
+        |lc| lc + a.get_variable() - b.get_variable(),
+        |_| condition.lc(CS::one(), F::ONE),
+        |lc| lc + c.get_variable() - b.get_variable(),
+    );
+
+    Ok(c)
+}
+
+/// If condition return a otherwise b
+pub fn conditionally_select_slice<F: PrimeField, CS: ConstraintSystem<F>>(
+    mut cs: CS,
+    a: &[AllocatedNum<F>],
+    b: &[AllocatedNum<F>],
+    condition: &Boolean,
+) -> Result<Vec<AllocatedNum<F>>, SynthesisError> {
+    a.iter()
+        .zip_eq(b.iter())
+        .enumerate()
+        .map(|(i, (a, b))| {
+            conditionally_select(cs.namespace(|| format!("select_{i}")), a, b, condition)
+        })
+        .collect::<Result<Vec<AllocatedNum<F>>, SynthesisError>>()
+}
+
 #[cfg(test)]
 mod tests {
-    use bellpepper_core::{boolean::Boolean, test_cs::TestConstraintSystem};
+    use super::*;
+    use bellpepper_core::{
+        boolean::{AllocatedBit, Boolean},
+        num::AllocatedNum,
+        test_cs::TestConstraintSystem,
+        ConstraintSystem as _,
+    };
     use blstrs::Scalar as Fr;
+    use ff::PrimeField;
     use proptest::prelude::*;
+    use rand_xorshift::XorShiftRng;
+
+    /// Wrapper struct around a field element that implements additional traits
+    #[derive(Clone, Debug, PartialEq, Eq)]
+    pub struct FWrap<F>(pub F);
+
+    impl<F: PrimeField> Copy for FWrap<F> {}
+
+    #[cfg(not(target_arch = "wasm32"))]
+    /// Trait implementation for generating `FWrap<F>` instances with proptest
+    impl<F: PrimeField> Arbitrary for FWrap<F> {
+        type Parameters = ();
+        type Strategy = BoxedStrategy<Self>;
+
+        fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy {
+            use rand_core::SeedableRng;
+
+            let strategy = any::<[u8; 16]>()
+                .prop_map(|seed| Self(F::random(XorShiftRng::from_seed(seed))))
+                .no_shrink();
+            strategy.boxed()
+        }
+    }
 
     proptest! {
         #[test]
@@ -191,5 +268,20 @@ mod tests {
             assert_eq!(expected_or2, or2.get_value().unwrap());
             assert!(cs.is_satisfied());
         }
+
+        #[test]
+        fn test_conditional_selection((f1, f2) in any::<(FWrap<Fr>, FWrap<Fr>)>(), b in any::<bool>()) {
+            let mut cs = TestConstraintSystem::<Fr>::new();
+            let a1 = AllocatedNum::alloc_infallible(cs.namespace(|| "f1"), || f1.0);
+            let a2 = AllocatedNum::alloc_infallible(cs.namespace(|| "f2"), || f2.0);
+            let cond = Boolean::from(AllocatedBit::alloc(
+                cs.namespace(|| "condition"),
+                Some(b),
+            ).unwrap());
+            let c = conditionally_select(&mut cs, &a1, &a2, &cond).unwrap();
+            assert!(cs.is_satisfied());
+            let valid_value = if b { f1.0 } else { f2.0 };
+            assert_eq!(c.get_value(), Some(valid_value));
+        }
     }
 }