mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-09-17 16:58:21 +03:00
More cleanup
This commit is contained in:
parent
719980e17f
commit
92b2123ff7
@ -1,13 +0,0 @@
|
||||
# nested.aleo
|
||||
|
||||
## Build Guide
|
||||
|
||||
To compile this Aleo program, run:
|
||||
```bash
|
||||
snarkvm build
|
||||
```
|
||||
|
||||
To execute this Aleo program, run:
|
||||
```bash
|
||||
snarkvm run hello
|
||||
```
|
@ -1,4 +0,0 @@
|
||||
// The program input for nested/src/main.leo
|
||||
[main]
|
||||
public a: u32 = 1u32;
|
||||
b: u32 = 2u32;
|
@ -1,13 +0,0 @@
|
||||
# import_example.aleo
|
||||
|
||||
## Build Guide
|
||||
|
||||
To compile this Aleo program, run:
|
||||
```bash
|
||||
snarkvm build
|
||||
```
|
||||
|
||||
To execute this Aleo program, run:
|
||||
```bash
|
||||
snarkvm run hello
|
||||
```
|
@ -1,4 +0,0 @@
|
||||
// The program input for import_example/src/main.leo
|
||||
[main]
|
||||
public a: u32 = 1u32;
|
||||
b: u32 = 2u32;
|
@ -1,13 +0,0 @@
|
||||
# b.aleo
|
||||
|
||||
## Build Guide
|
||||
|
||||
To compile this Aleo program, run:
|
||||
```bash
|
||||
snarkvm build
|
||||
```
|
||||
|
||||
To execute this Aleo program, run:
|
||||
```bash
|
||||
snarkvm run hello
|
||||
```
|
@ -1,13 +0,0 @@
|
||||
# a.aleo
|
||||
|
||||
## Build Guide
|
||||
|
||||
To compile this Aleo program, run:
|
||||
```bash
|
||||
snarkvm build
|
||||
```
|
||||
|
||||
To execute this Aleo program, run:
|
||||
```bash
|
||||
snarkvm run hello
|
||||
```
|
@ -1,4 +0,0 @@
|
||||
// The program input for a/src/main.leo
|
||||
[main]
|
||||
public a: u32 = 1u32;
|
||||
b: u32 = 2u32;
|
@ -1,4 +0,0 @@
|
||||
// The program input for b/src/main.leo
|
||||
[main]
|
||||
public a: u32 = 1u32;
|
||||
b: u32 = 2u32;
|
@ -1,13 +0,0 @@
|
||||
# local_test.aleo
|
||||
|
||||
## Build Guide
|
||||
|
||||
To compile this Aleo program, run:
|
||||
```bash
|
||||
snarkvm build
|
||||
```
|
||||
|
||||
To execute this Aleo program, run:
|
||||
```bash
|
||||
snarkvm run hello
|
||||
```
|
@ -0,0 +1,9 @@
|
||||
program local_dep_1.aleo;
|
||||
|
||||
|
||||
|
||||
function main:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
add r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,12 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
import nested_example_layer_1.aleo;
|
||||
import nested_example_layer_0.aleo;
|
||||
program nested.aleo;
|
||||
|
||||
|
||||
|
||||
function example:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_0.aleo/main r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,10 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
import nested_example_layer_1.aleo;
|
||||
|
||||
program nested_example_layer_0.aleo;
|
||||
|
||||
function main:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_1.aleo/external_function r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,9 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
|
||||
program nested_example_layer_1.aleo;
|
||||
|
||||
function external_function:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_2.aleo/external_nested_function r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,7 @@
|
||||
program nested_example_layer_2.aleo;
|
||||
|
||||
function external_nested_function:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
add r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,9 @@
|
||||
program local_test.aleo;
|
||||
|
||||
|
||||
|
||||
function main:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
add r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,18 @@
|
||||
{
|
||||
"program": "local_test.aleo",
|
||||
"version": "0.0.0",
|
||||
"description": "",
|
||||
"license": "MIT",
|
||||
"dependencies" : [
|
||||
{
|
||||
"name": "local_dep_1.aleo",
|
||||
"location": "local",
|
||||
"path": "local_dep_1"
|
||||
},
|
||||
{
|
||||
"name": "nested.aleo",
|
||||
"location": "local",
|
||||
"path": "../nested"
|
||||
}
|
||||
]
|
||||
}
|
@ -1,4 +0,0 @@
|
||||
// The program input for local_test/src/main.leo
|
||||
[main]
|
||||
public a: u32 = 1u32;
|
||||
b: u32 = 2u32;
|
@ -1,13 +0,0 @@
|
||||
# local_dep_1.aleo
|
||||
|
||||
## Build Guide
|
||||
|
||||
To compile this Aleo program, run:
|
||||
```bash
|
||||
snarkvm build
|
||||
```
|
||||
|
||||
To execute this Aleo program, run:
|
||||
```bash
|
||||
snarkvm run hello
|
||||
```
|
@ -0,0 +1,12 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
import nested_example_layer_1.aleo;
|
||||
import nested_example_layer_0.aleo;
|
||||
program nested.aleo;
|
||||
|
||||
|
||||
|
||||
function example:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_0.aleo/main r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,10 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
import nested_example_layer_1.aleo;
|
||||
|
||||
program nested_example_layer_0.aleo;
|
||||
|
||||
function main:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_1.aleo/external_function r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,9 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
|
||||
program nested_example_layer_1.aleo;
|
||||
|
||||
function external_function:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_2.aleo/external_nested_function r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,7 @@
|
||||
program nested_example_layer_2.aleo;
|
||||
|
||||
function external_nested_function:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
add r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,9 @@
|
||||
program local_dep_1.aleo;
|
||||
|
||||
|
||||
|
||||
function main:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
add r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -1,4 +0,0 @@
|
||||
// The program input for local_dep_1/src/main.leo
|
||||
[main]
|
||||
public a: u32 = 1u32;
|
||||
b: u32 = 2u32;
|
@ -1,13 +0,0 @@
|
||||
# nested.aleo
|
||||
|
||||
## Build Guide
|
||||
|
||||
To compile this Aleo program, run:
|
||||
```bash
|
||||
snarkvm build
|
||||
```
|
||||
|
||||
To execute this Aleo program, run:
|
||||
```bash
|
||||
snarkvm run hello
|
||||
```
|
@ -0,0 +1,10 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
import nested_example_layer_1.aleo;
|
||||
|
||||
program nested_example_layer_0.aleo;
|
||||
|
||||
function main:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_1.aleo/external_function r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,9 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
|
||||
program nested_example_layer_1.aleo;
|
||||
|
||||
function external_function:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_2.aleo/external_nested_function r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,7 @@
|
||||
program nested_example_layer_2.aleo;
|
||||
|
||||
function external_nested_function:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
add r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -0,0 +1,12 @@
|
||||
import nested_example_layer_2.aleo;
|
||||
import nested_example_layer_1.aleo;
|
||||
import nested_example_layer_0.aleo;
|
||||
program nested.aleo;
|
||||
|
||||
|
||||
|
||||
function example:
|
||||
input r0 as u32.public;
|
||||
input r1 as u32.private;
|
||||
call nested_example_layer_0.aleo/main r0 r1 into r2;
|
||||
output r2 as u32.private;
|
@ -1,4 +0,0 @@
|
||||
// The program input for nested/src/main.leo
|
||||
[main]
|
||||
public a: u32 = 1u32;
|
||||
b: u32 = 2u32;
|
Loading…
Reference in New Issue
Block a user