Create aliases to Cairo itself for the prove and verify functions

They can be used with Cairo0 and Cairo1 run and prove functions, so we
should update the name to reflect that

Author: mariari

lib/cairo.ex

@@ -15,4 +15,10 @@ defmodule Cairo do
   def hello do
     :world
   end
+
+  @spec prove(list(byte()), list(byte())) :: {list(byte()), list(byte())}
+  defdelegate prove(trace, memory), to: Cairo.Cairo0, as: :cairo_prove
+
+  @spec verify(list(byte()), list(byte())) :: boolean()
+  defdelegate verify(proof, pub_input), to: Cairo.Cairo0, as: :cairo_verify
 end

test/cairo_test.exs

@@ -10,7 +10,7 @@ defmodule NifTest do
   test "cairo0_api_test" do
     {:ok, program} = File.read("./native/cairo/fibonacci_5.json")
     {proof, public_input} = Cairo0.cairo0_run_and_prove(program)
-    assert true = Cairo0.cairo_verify(proof, public_input)
+    assert true = Cairo.verify(proof, public_input)
   end
 
   test "cairo1_api_test" do
@@ -21,7 +21,7 @@ defmodule NifTest do
       )
 
     # Prove and verify
-    {proof, public_input} = Cairo0.cairo_prove(trace, memory)
-    assert true = Cairo0.cairo_verify(proof, public_input)
+    {proof, public_input} = Cairo.prove(trace, memory)
+    assert true = Cairo.verify(proof, public_input)
   end
 end