some comments

Author: FrancoGiachetta

src/libfuncs/circuit.rs

@@ -927,7 +927,7 @@ fn build_get_output<'ctx, 'this>(
         location,
         outputs,
         build_u384_struct_type(context),
-        1,
+        2,
     )?;
 
     let output_integer_ptr = entry.gep(
@@ -953,10 +953,6 @@ fn build_get_output<'ctx, 'this>(
     )?;
 
     // We drop the circuit outputs value, as its consumed by this libfunc.
-    // NOTE: As this libfunc consumes circuit_outputs, this implies that
-    // calling it multiple times involves duplicating the circuit outputs
-    // each time. This could be fixed by implementing a reference counter,
-    // like we do with regular arrays.
     if let Some(drop_overrides_meta) = metadata.get::<DropOverridesMeta>() {
         drop_overrides_meta.invoke_override(
             context,

src/types/circuit.rs

@@ -278,12 +278,15 @@ pub fn build_circuit_data<'ctx>(
 ///
 /// ## Layout:
 ///
-/// Holds the evaluated circuit output gates and the circuit modulus.
+/// Holds the reference count, the evaluated circuit output gates and the circuit modulus.
+/// - The reference count is stored as a u8. Tells the amount of currently alived references
+///   to the output value.
 /// - The data is stored as a dynamic array of u384 integers.
 /// - The modulus is stored as a u384 in struct form (multi-limb).
 ///
 /// ```txt
 /// type = struct {
+///     reference_count: u8,
 ///     data: *u384,
 ///     modulus: u384struct,
 /// };