diff --git a/src/gadgets/mod.rs b/src/gadgets/mod.rs
index 4c4160e1..0eb42e27 100644
--- a/src/gadgets/mod.rs
+++ b/src/gadgets/mod.rs
@@ -4,6 +4,7 @@ pub mod hash;
 pub mod insert;
 pub mod interpolation;
 pub mod polynomial;
+pub mod random_access;
 pub mod range_check;
 pub mod select;
 pub mod split_base;
diff --git a/src/gadgets/random_access.rs b/src/gadgets/random_access.rs
new file mode 100644
index 00000000..c6c40294
--- /dev/null
+++ b/src/gadgets/random_access.rs
@@ -0,0 +1,76 @@
+use crate::field::extension_field::target::ExtensionTarget;
+use crate::field::extension_field::Extendable;
+use crate::gates::random_access::RandomAccessGate;
+use crate::iop::target::Target;
+use crate::plonk::circuit_builder::CircuitBuilder;
+
+impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
+    /// Checks that a `Target` matches a vector at a non-deterministic index.
+    /// Note: `index` is not range-checked.
+    pub fn random_access(
+        &mut self,
+        access_index: Target,
+        claimed_element: ExtensionTarget<D>,
+        v: Vec<ExtensionTarget<D>>,
+    ) {
+        let gate = RandomAccessGate::new(v.len());
+        let gate_index = self.add_gate(gate.clone(), vec![]);
+
+        v.iter().enumerate().for_each(|(i, &val)| {
+            self.route_extension(
+                val,
+                ExtensionTarget::from_range(gate_index, gate.wires_list_item(i)),
+            );
+        });
+        self.route(
+            access_index,
+            Target::wire(gate_index, gate.wires_access_index()),
+        );
+        self.route_extension(
+            claimed_element,
+            ExtensionTarget::from_range(gate_index, gate.wires_claimed_element()),
+        );
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use anyhow::Result;
+
+    use super::*;
+    use crate::field::crandall_field::CrandallField;
+    use crate::field::extension_field::quartic::QuarticCrandallField;
+    use crate::field::field_types::Field;
+    use crate::iop::witness::PartialWitness;
+    use crate::plonk::circuit_data::CircuitConfig;
+    use crate::plonk::verifier::verify;
+
+    fn test_random_access_given_len(len_log: usize) -> Result<()> {
+        type F = CrandallField;
+        type FF = QuarticCrandallField;
+        let len = 1 << len_log;
+        let config = CircuitConfig::large_config();
+        let mut builder = CircuitBuilder::<F, 4>::new(config);
+        let vec : Vec<_> = (0..len).map(|_| FF::rand()).collect();
+        let v : Vec<_> = vec.iter().map(|x| builder.constant_extension(*x)).collect();
+
+        for i in 0..len {
+            let it = builder.constant(F::from_canonical_usize(i));
+            let elem = builder.constant_extension(vec[i]);
+            builder.random_access(it, elem, v.clone());
+        }
+
+        let data = builder.build();
+        let proof = data.prove(PartialWitness::new())?;
+
+        verify(proof, &data.verifier_only, &data.common)
+    }
+
+    #[test]
+    fn test_random_access() -> Result<()> {
+        for len_log in 1..3 {
+            test_random_access_given_len(len_log)?;
+        }
+        Ok(())
+    }
+}