diff --git a/groth16/partial/types.nim b/groth16/partial/types.nim
index 2c7b24c..3be2c69 100644
--- a/groth16/partial/types.nim
+++ b/groth16/partial/types.nim
@@ -27,3 +27,6 @@ type
     partial_pi_c*  : G1          # =             sum z_j*[K_j]_1
 
 #-------------------------------------------------------------------------------
+
+func makePartialWitness*(vals: seq[Option[Fr[BN254_Snarks]]]): PartialWitness =
+  return PartialWitness(values: vals)