Update examples to leo v1.9.0

auction/.env

@@ -0,0 +1,4 @@
+
+NETWORK=testnet3
+PRIVATE_KEY=APrivateKey1zkp5wvamYgK3WCAdpBQxZqQX8XnuN2u11Y6QprZTriVwZVc
+

auction/.gitignore

@@ -1,2 +1,4 @@
 outputs/
-build/
+*.avm
+*.prover
+*.verifier

auction/README.md

@@ -38,17 +38,14 @@ Leo provides users with a command line interface for compiling and running Leo p
 Users may either specify input values via the command line or provide an input file in `inputs/`.
 
 ### Configuring Accounts
-The `program.json` file contains a private key and address. 
+The `.env` file contains a private key.
 This is the account that will be used to sign transactions and is checked for record ownership.
-When executing programs as different parties, be sure to set the `private_key` and `address` fields in `program.json` to the appropriate values.
+When executing programs as different parties, be sure to set the `PRIVATE_KEY` field in `.env` to the appropriate values.
 See `./run.sh` for an example of how to run the program as different parties.
 
 
-The [Aleo SDK](https://github.com/AleoHQ/leo/tree/testnet3) provides a command line interface for generating new accounts.
-To generate a new account, run 
-```
-leo account new
-```
+The [Aleo SDK](https://github.com/AleoHQ/leo/tree/testnet3) provides an interface for generating new accounts.
+To generate a new account, navigate to [aleo.tools](https://aleo.tools).
 
 
 ### Providing inputs via the command line.

auction/build/main.aleo

@@ -0,0 +1,35 @@
+program auction.aleo;
+
+record Bid:
+    owner as address.private;
+    bidder as address.private;
+    amount as u64.private;
+    is_winner as boolean.private;
+
+
+function place_bid:
+    input r0 as address.private;
+    input r1 as u64.private;
+    assert.eq self.caller r0;
+    cast aleo1fxs9s0w97lmkwlcmgn0z3nuxufdee5yck9wqrs0umevp7qs0sg9q5xxxzh r0 r1 false into r2 as Bid.record;
+    output r2 as Bid.record;
+
+
+function resolve:
+    input r0 as Bid.record;
+    input r1 as Bid.record;
+    assert.eq self.caller aleo1fxs9s0w97lmkwlcmgn0z3nuxufdee5yck9wqrs0umevp7qs0sg9q5xxxzh;
+    gte r0.amount r1.amount into r2;
+    ternary r2 r0.owner r1.owner into r3;
+    ternary r2 r0.bidder r1.bidder into r4;
+    ternary r2 r0.amount r1.amount into r5;
+    ternary r2 r0.is_winner r1.is_winner into r6;
+    cast r3 r4 r5 r6 into r7 as Bid.record;
+    output r7 as Bid.record;
+
+
+function finish:
+    input r0 as Bid.record;
+    assert.eq self.caller aleo1fxs9s0w97lmkwlcmgn0z3nuxufdee5yck9wqrs0umevp7qs0sg9q5xxxzh;
+    cast r0.bidder r0.bidder r0.amount true into r1 as Bid.record;
+    output r1 as Bid.record;

auction/build/program.json

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

auction/program.json

@@ -2,9 +2,5 @@
   "program": "auction.aleo",
   "version": "0.0.0",
   "description": "",
-  "development": {
-      "private_key": "APrivateKey1zkp5wvamYgK3WCAdpBQxZqQX8XnuN2u11Y6QprZTriVwZVc",
-      "address": "aleo1fxs9s0w97lmkwlcmgn0z3nuxufdee5yck9wqrs0umevp7qs0sg9q5xxxzh"
-  },
   "license": "MIT"
 }

auction/run.sh

@@ -35,17 +35,11 @@ echo "
 ########                                                               ########
 ###############################################################################
 "
-# Swap in the private key and address of the first bidder to program.json.
-echo "{
-  \"program\": \"auction.aleo\",
-  \"version\": \"0.0.0\",
-  \"description\": \"\",
-  \"development\": {
-      \"private_key\": \"APrivateKey1zkpG9Af9z5Ha4ejVyMCqVFXRKknSm8L1ELEwcc4htk9YhVK\",
-      \"address\": \"aleo1yzlta2q5h8t0fqe0v6dyh9mtv4aggd53fgzr068jvplqhvqsnvzq7pj2ke\"
-  },
-  \"license\": \"MIT\"
-}" > program.json
+# Swap in the private key and address of the first bidder to .env.
+echo "
+NETWORK=testnet3
+PRIVATE_KEY=APrivateKey1zkpG9Af9z5Ha4ejVyMCqVFXRKknSm8L1ELEwcc4htk9YhVK
+" > .env
 
 # Have the first bidder place a bid of 10.
 echo "
@@ -61,20 +55,13 @@ echo "
 ########                                                               ########
 ###############################################################################
 "
-leo run place_bid aleo1yzlta2q5h8t0fqe0v6dyh9mtv4aggd53fgzr068jvplqhvqsnvzq7pj2ke 10u64
-
-# Swap in the private key and address of the second bidder to program.json.
-echo "{
-  \"program\": \"auction.aleo\",
-  \"version\": \"0.0.0\",
-  \"description\": \"\",
-  \"development\": {
-      \"private_key\": \"APrivateKey1zkpAFshdsj2EqQzXh5zHceDapFWVCwR6wMCJFfkLYRKupug\",
-      \"address\": \"aleo1esqchvevwn7n5p84e735w4dtwt2hdtu4dpguwgwy94tsxm2p7qpqmlrta4\"
-  },
-  \"license\": \"MIT\"
-}" > program.json
+leo run place_bid aleo1yzlta2q5h8t0fqe0v6dyh9mtv4aggd53fgzr068jvplqhvqsnvzq7pj2ke 10u64 || exit
 
+# Swap in the private key and address of the second bidder to .env.
+echo "
+NETWORK=testnet3
+PRIVATE_KEY=APrivateKey1zkpAFshdsj2EqQzXh5zHceDapFWVCwR6wMCJFfkLYRKupug
+" > .env
 
 # Have the second bidder place a bid of 90.
 echo "
@@ -90,19 +77,13 @@ echo "
 ########                                                               ########
 ###############################################################################
 "
-leo run place_bid aleo1esqchvevwn7n5p84e735w4dtwt2hdtu4dpguwgwy94tsxm2p7qpqmlrta4 90u64
-
-# Swap in the private key and address of the auctioneer to program.json.
-echo "{
-  \"program\": \"auction.aleo\",
-  \"version\": \"0.0.0\",
-  \"description\": \"\",
-  \"development\": {
-      \"private_key\": \"APrivateKey1zkp5wvamYgK3WCAdpBQxZqQX8XnuN2u11Y6QprZTriVwZVc\",
-      \"address\": \"aleo1fxs9s0w97lmkwlcmgn0z3nuxufdee5yck9wqrs0umevp7qs0sg9q5xxxzh\"
-  },
-  \"license\": \"MIT\"
-}" > program.json
+leo run place_bid aleo1esqchvevwn7n5p84e735w4dtwt2hdtu4dpguwgwy94tsxm2p7qpqmlrta4 90u64 || exit
+
+# Swap in the private key and address of the auctioneer to .env.
+echo "
+NETWORK=testnet3
+PRIVATE_KEY=APrivateKey1zkp5wvamYgK3WCAdpBQxZqQX8XnuN2u11Y6QprZTriVwZVc
+" > .env
 
 # Have the auctioneer select the winning bid.
 echo "
@@ -130,7 +111,7 @@ leo run resolve "{
         amount: 90u64.private,
         is_winner: false.private,
         _nonce: 5952811863753971450641238938606857357746712138665944763541786901326522216736group.public
-    }"
+    }" || exit
 
 # Have the auctioneer finish the auction.
 echo "
@@ -152,7 +133,7 @@ leo run finish "{
         amount: 90u64.private,
         is_winner: false.private,
         _nonce: 5952811863753971450641238938606857357746712138665944763541786901326522216736group.public
-    }"
+    }" || exit
 
 
 

basic_bank/.env

@@ -0,0 +1,4 @@
+
+NETWORK=testnet3
+PRIVATE_KEY=APrivateKey1zkpHtqVWT6fSHgUMNxsuVf7eaR6id2cj7TieKY1Z8CP5rCD
+

basic_bank/.gitignore

@@ -1,2 +1,4 @@
 outputs/
-build/
+*.avm
+*.prover
+*.verifier

basic_bank/README.md

@@ -39,19 +39,14 @@ Leo provides users with a command line interface for compiling and running Leo p
 Users may either specify input values via the command line or provide an input file in `inputs/`.
 
 ### Configuring Accounts
-The `program.json` file contains a private key and address.
+The `.env` file contains a private key.
 This is the account that will be used to sign transactions and is checked for record ownership.
-When executing programs as different parties, be sure to set the `private_key` and `address` fields in `program.json` to the appropriate values.
-
-
+When executing programs as different parties, be sure to set the `PRIVATE_KEY` field in `.env` to the appropriate values.
 See `./run.sh` for an example of how to run the program as different parties.
 
 
-The [Aleo SDK](https://github.com/AleoHQ/leo/tree/testnet3) provides a command line interface for generating new accounts.
-To generate a new account, run
-```
-leo account new
-```
+The [Aleo SDK](https://github.com/AleoHQ/leo/tree/testnet3) provides an interface for generating new accounts.
+To generate a new account, navigate to [aleo.tools](https://aleo.tools).
 
 
 ### Providing inputs via the command line.