From 2cf7f922bdf7ec7d76ca1d42ea5416b4c92f5b70 Mon Sep 17 00:00:00 2001
From: FrancoGiachetta <francogiachetta27@gmail.com>
Date: Thu, 6 Feb 2025 13:53:40 -0300
Subject: [PATCH] some lifuncs from box.rs

---
 prog.cairo | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 prog.cairo

diff --git a/prog.cairo b/prog.cairo
deleted file mode 100644
index be5848133..000000000
--- a/prog.cairo
+++ /dev/null
@@ -1,23 +0,0 @@
-use core::circuit::{
-    RangeCheck96, AddMod, MulMod, u96, CircuitElement, CircuitInput, circuit_add,
-    circuit_sub, circuit_mul, circuit_inverse, EvalCircuitTrait, u384,
-    CircuitOutputsTrait, CircuitModulus, AddInputResultTrait, CircuitInputs,
-};
-
-fn main() -> u384 {
-    let in1 = CircuitElement::<CircuitInput<0>> {};
-    let in2 = CircuitElement::<CircuitInput<1>> {};
-    let add = circuit_add(in1, in2);
-
-    let modulus = TryInto::<_, CircuitModulus>::try_into([12, 12, 12, 12]).unwrap();
-
-    let outputs = (add,)
-        .new_inputs()
-        .next([3, 3, 3, 3])
-        .next([6, 6, 6, 6])
-        .done()
-        .eval(modulus)
-        .unwrap();
-
-    outputs.get_output(add)
-}