Merge pull request #2 from amphitheatre-app/feat/issue-1

issue(#1): Add Aleo example for amp

.amp.toml

@@ -0,0 +1,17 @@
+name = "amp-example-aleo"
+version = "0.1.0"
+edition = "v1"
+description = "A simple Aleo example app"
+readme = "README.md"
+homepage = "https://github.com/amphitheatre-app/amp-example-aleo"
+repository = "https://github.com/amphitheatre-app/amp-example-aleo"
+license = "Apache-2.0"
+license-file = "LICENSE"
+keywords = ["example", "aleo", "getting-started"]
+categories = ["example"]
+
+[build]
+builder = "ghcr.io/amp-buildpacks/leo-builder:0.1.0"
+
+[partners]
+snarkos = { version = "latest", registry = "catalog" }

.gitignore

@@ -0,0 +1,6 @@
+.env
+*.avm
+*.prover
+*.verifier
+outputs/
+build/

inputs/snarkvm.in

@@ -0,0 +1,4 @@
+// The program input for snarkvm/src/main.leo
+[main]
+public a: u32 = 1u32;
+b: u32 = 2u32;

program.json

@@ -0,0 +1,6 @@
+{
+    "program": "snarkvm.aleo",
+    "version": "0.0.0",
+    "description": "",
+    "license": "MIT"
+}

src/main.leo

@@ -0,0 +1,7 @@
+// The 'snarkvm' program.
+program snarkvm.aleo {
+    transition main(public a: u32, b: u32) -> u32 {
+        let c: u32 = a + b;
+        return c;
+    }
+}