Add circuit compare test (#1076)

Author: JulianGCalderon

tests/tests/circuit.rs

@@ -0,0 +1,60 @@
+use crate::common::{compare_outputs, DEFAULT_GAS};
+use crate::common::{load_cairo, run_native_program, run_vm_program};
+use cairo_lang_runner::SierraCasmRunner;
+use cairo_lang_sierra::program::Program;
+use cairo_native::starknet::DummySyscallHandler;
+use lazy_static::lazy_static;
+
+lazy_static! {
+    // Taken from: https://github.com/starkware-libs/sequencer/blob/7ee6f4c8a81def87402c626c9d72a33c74bc3243/crates/blockifier/feature_contracts/cairo1/test_contract.cairo#L656
+    static ref TEST: (String, Program, SierraCasmRunner) = load_cairo! {
+        use core::circuit::{
+            CircuitElement, CircuitInput, circuit_add, circuit_sub, circuit_mul, circuit_inverse,
+            EvalCircuitResult, EvalCircuitTrait, u384, CircuitOutputsTrait, CircuitModulus,
+            CircuitInputs, AddInputResultTrait
+        };
+
+        fn test() {
+            let in1 = CircuitElement::<CircuitInput<0>> {};
+            let in2 = CircuitElement::<CircuitInput<1>> {};
+            let add = circuit_add(in1, in2);
+            let inv = circuit_inverse(add);
+            let sub = circuit_sub(inv, in2);
+            let mul = circuit_mul(inv, sub);
+
+            let modulus = TryInto::<_, CircuitModulus>::try_into([7, 0, 0, 0]).unwrap();
+            let outputs = (mul,)
+                .new_inputs()
+                .next([3, 0, 0, 0])
+                .next([6, 0, 0, 0])
+                .done()
+                .eval(modulus)
+                .unwrap();
+
+            assert!(outputs.get_output(mul) == u384 { limb0: 6, limb1: 0, limb2: 0, limb3: 0 });
+        }
+    };
+}
+
+#[test]
+fn circuit() {
+    let program = &TEST;
+
+    let result_vm = run_vm_program(program, "test", vec![], Some(DEFAULT_GAS as usize)).unwrap();
+
+    let result_native = run_native_program(
+        program,
+        "test",
+        &[],
+        Some(DEFAULT_GAS),
+        Option::<DummySyscallHandler>::None,
+    );
+
+    compare_outputs(
+        &program.1,
+        &program.2.find_function("test").unwrap().id,
+        &result_vm,
+        &result_native,
+    )
+    .unwrap();
+}

tests/tests/mod.rs

@@ -2,6 +2,7 @@ pub mod alexandria;
 pub mod arrays;
 pub mod boolean;
 pub mod cases;
+pub mod circuit;
 pub mod compile_library;
 pub mod dict;
 pub mod ec;