🤑 Fund test zkApps at initialization.

Author: KimlikDAO-bot

mina/examples/Airdrop.test.ts

@@ -1,141 +1,113 @@
-import {
-  AccountUpdate,
-  Field,
-  MerkleTree,
-  Mina,
-  PrivateKey,
-  UInt64
-} from "o1js";
+import { Field, MerkleTree, Mina, PrivateKey, PublicKey, UInt64 } from "o1js";
 import { HumanIDWitness } from "../humanIDv1";
 import { signHumanIDv1, truncateHumanIDv1 } from "../humanIDv1.test";
 import { Airdrop } from "./Airdrop";
 
-describe('Example Airdrop zkApp', () => {
-  const deployerKey = PrivateKey.random();
-  const deployer = deployerKey.toPublicKey();
-  const senderKey = PrivateKey.random();
-  const sender = senderKey.toPublicKey();
-  const appKey = PrivateKey.random();
-  const appAddr = appKey.toPublicKey();
+describe("Example Airdrop zkApp", () => {
   let tree: MerkleTree;
+  let senderKey: PrivateKey;
+  let appKey: PrivateKey;
+  let sender: PublicKey;
   let app: Airdrop;
 
   beforeAll(() => Airdrop.compile());
 
-  beforeEach(() => Mina.LocalBlockchain({ proofsEnabled: true })
-    .then((local) => {
+  beforeEach(() =>
+    Mina.LocalBlockchain({ proofsEnabled: true }).then((local) => {
       tree = new MerkleTree(33);
       Mina.setActiveInstance(local);
-      app = new Airdrop(appAddr);
-      local.addAccount(deployer, "100000000000");
-      local.addAccount(sender, "100000000000");
-    }));
+      senderKey = local.testAccounts[0].key;
+      sender = senderKey.toPublicKey();
+      appKey = local.testAccounts[1].key;
+      app = new Airdrop(appKey.toPublicKey());
+
+      const deployerKey = local.testAccounts[2].key;
+      const deployer = deployerKey.toPublicKey();
+      return Mina.transaction(deployer, () => app.deploy())
+        .prove()
+        .sign([appKey, deployerKey])
+        .send();
+    })
+  );
 
   const getWitnessAndInsert = (humanIDv1Key: bigint) => {
     const truncated = truncateHumanIDv1(humanIDv1Key);
     const witness = new HumanIDWitness(tree.getWitness(truncated));
     tree.setLeaf(truncated, Field(1));
     return witness;
-  }
+  };
 
-  const fundZkApp = () => Mina.transaction(sender, async () => {
-    let senderUpdate = AccountUpdate.create(sender);
-    senderUpdate.requireSignature();
-    senderUpdate.send({ to: appAddr, amount: 100 * 1e9 });
-  }).then((txn) => txn.prove())
-    .then((txn) => txn.sign([senderKey]).send());
+  it("should deploy the app", () =>
+    console.log("Deployed HumanIDs contract at", app.address));
 
-  const deploy = () => Mina.transaction(deployer, () => {
-    AccountUpdate.fundNewAccount(deployer);
-    return app.deploy()
-  }).then((txn) => txn.prove())
-    .then((txn) => txn.sign([deployerKey, appKey]).send())
-
-  it('should deploy the app and fund it', async () => {
-    await deploy();
-    await fundZkApp();
-    console.log('Deployed HumanIDs contract at', app.address);
-  });
-
-  it('should let people claimReward()', async () => {
-    await deploy();
-    await fundZkApp()
-
-    await Mina.transaction(sender, () => {
-      return app.claimReward(...signHumanIDv1(100n, sender), getWitnessAndInsert(100n));
-    }).then((txn) => txn.prove())
-      .then((txn) => txn.sign([senderKey]).send());
-  });
-
-  it('should let 2 people claimReward()', async () => {
-    await deploy();
-    await fundZkApp();
+  it("should let people claimReward()", () =>
+    Mina.transaction(sender, () =>
+      app.claimReward(...signHumanIDv1(100n, sender), getWitnessAndInsert(100n))
+    )
+      .prove()
+      .sign([senderKey])
+      .send());
 
+  it("should let 2 people claimReward()", async () => {
     const id1 = 123123123123123123123123123123n;
-    await Mina.transaction(
-      sender,
-      () => app.claimReward(...signHumanIDv1(id1, sender), getWitnessAndInsert(id1))
+    await Mina.transaction(sender, () =>
+      app.claimReward(...signHumanIDv1(id1, sender), getWitnessAndInsert(id1))
     )
-      .then((txn) => txn.prove())
-      .then((txn) => txn.sign([senderKey]).send());
+      .prove()
+      .sign([senderKey])
+      .send();
 
     const id2 = 123123123123123123123123123124n;
-    await Mina.transaction(
-      sender,
-      () => app.claimReward(...signHumanIDv1(id2, sender), getWitnessAndInsert(id2))
+    await Mina.transaction(sender, () =>
+      app.claimReward(...signHumanIDv1(id2, sender), getWitnessAndInsert(id2))
     )
-      .then((txn) => txn.prove())
-      .then((txn) => txn.sign([senderKey]).send());
+      .prove()
+      .sign([senderKey])
+      .send();
   });
 
-  it('should reject inconsistent witness', async () => {
-    await deploy();
-    await fundZkApp();
-
+  it("should reject inconsistent witness", async () => {
     const id = 123123123123123123123123123124n;
-    expect(() => Mina.transaction(
-      sender,
-      () => app.claimReward(...signHumanIDv1(id, sender), getWitnessAndInsert(100n))
-    )
-      .then((txn) => txn.prove())
-      .then((txn) => txn.sign([senderKey]).send())).rejects.toThrow(/does not match/);
-  })
-
-  it('should not let double claimReward()', async () => {
-    await deploy();
-    await fundZkApp();
+    expect(() =>
+      Mina.transaction(sender, () =>
+        app.claimReward(...signHumanIDv1(id, sender), getWitnessAndInsert(100n))
+      )
+        .prove()
+        .sign([senderKey])
+        .send()
+    ).rejects.toThrow(/does not match/);
+  });
 
+  it("should not let double claimReward()", async () => {
     const id = 123123123123123123123123123123n;
-    await Mina.transaction(
-      sender,
-      () => app.claimReward(...signHumanIDv1(id, sender), getWitnessAndInsert(id))
-    )
-      .then((txn) => txn.prove())
-      .then((txn) => txn.sign([senderKey]).send());
-
-    expect(() => Mina.transaction(
-      sender,
-      () => app.claimReward(...signHumanIDv1(id, sender), getWitnessAndInsert(id))
+    await Mina.transaction(sender, () =>
+      app.claimReward(...signHumanIDv1(id, sender), getWitnessAndInsert(id))
     )
-      .then((txn) => txn.prove())
-      .then((txn) => txn.sign([senderKey]).send())).rejects.toThrow(/already exists/);
-  })
-
-  it('should send the reciepient 10 MINA', async () => {
-    await deploy();
-    await fundZkApp();
+      .prove()
+      .sign([senderKey])
+      .send();
+
+    expect(() =>
+      Mina.transaction(sender, () =>
+        app.claimReward(...signHumanIDv1(id, sender), getWitnessAndInsert(id))
+      )
+        .prove()
+        .sign([senderKey])
+        .send()
+    ).rejects.toThrow(/already exists/);
+  });
 
+  it("should send the reciepient 10 MINA", async () => {
     let firstBalance = Mina.getBalance(sender);
 
-    await Mina.transaction(
-      sender,
-      () => app.claimReward(...signHumanIDv1(100n, sender), getWitnessAndInsert(100n))
+    await Mina.transaction(sender, () =>
+      app.claimReward(...signHumanIDv1(100n, sender), getWitnessAndInsert(100n))
     )
-      .then((txn) => txn.prove())
-      .then((txn) => txn.sign([senderKey]).send());
+      .prove()
+      .sign([senderKey])
+      .send();
 
     let secondBalance = Mina.getBalance(sender);
-
     expect(secondBalance.sub(firstBalance)).toEqual(UInt64.from(10 * 1e9));
-  })
+  });
 });

mina/humanIDv1.ts

@@ -15,7 +15,7 @@ class Signatures extends Struct({
   sig2: Signature,
 }) { }
 
-const Nodes = [
+const KimlikDAONodes = [
   PrivateKey.fromBigInt(1n).toPublicKey(),
   PrivateKey.fromBigInt(2n).toPublicKey(),
   PrivateKey.fromBigInt(3n).toPublicKey(),
@@ -39,9 +39,9 @@ const authenticate = (
   sigs: Signatures,
 ) => {
   const commitment = Poseidon.hash([commitmentR, claimant.x.add(claimant.isOdd.toField())]);
-  sigs.sig0.verify(Nodes[0], [humanIDv1, commitment]).assertTrue();
-  sigs.sig1.verify(Nodes[1], [humanIDv1, commitment]).assertTrue();
-  sigs.sig2.verify(Nodes[2], [humanIDv1, commitment]).assertTrue();
+  sigs.sig0.verify(KimlikDAONodes[0], [humanIDv1, commitment]).assertTrue();
+  sigs.sig1.verify(KimlikDAONodes[1], [humanIDv1, commitment]).assertTrue();
+  sigs.sig2.verify(KimlikDAONodes[2], [humanIDv1, commitment]).assertTrue();
 };
 
 const EmptyRoot =
@@ -74,7 +74,7 @@ const acceptHumanIDv1 = (
 export {
   EmptyRoot,
   HumanIDWitness,
-  Nodes,
+  KimlikDAONodes,
   Signatures,
   acceptHumanIDv1,
   addToMerkleTree,