Merge pull request #1089 from ProvableHQ/feat/sender-ciphertext

[Feature] Decrypt Sender Ciphertext

Author: iamalwaysuncomfortable

.circleci/config.yml

@@ -114,7 +114,6 @@ jobs:
 
   template-node-ts:
     executor: rust-node
-    resource_class: xlarge
     steps:
       - setup-sdk
       - run:

create-leo-app/template-node/index.js

@@ -2,7 +2,7 @@ import {Account, AleoKeyProvider, AleoKeyProviderParams, initThreadPool, Program
 
 import * as process from "node:process";
 
-await initThreadPool();
+// await initThreadPool();
 
 const programName = "hello_hello.aleo"
 
@@ -78,12 +78,12 @@ async function remoteProgramExecution(programName, functionName, inputs) {
     console.log("Resulting transaction")
 }
 
-const start = Date.now();
-console.log("Starting local execute!");
-await localProgramExecution(hello_hello_program, programName, "hello", ["5u32", "5u32"]);
-console.log("Local execute finished!", Date.now() - start);
-
-console.log("Starting remote execute");
-const auctionTicket = "{\n  owner: aleo12a4wll9ax6w5355jph0dr5wt2vla5sss2t4cnch0tc3vzh643v8qcfvc7a.private,\n  auction: {\n    starting_bid: 1000u64.private,\n    name: 35399035103896773146887283777field.private,\n    item: {\n      id: 2711777270856651361584090827715149911900945757872672230578290769243507539617field.private,\n      offchain_data: [\n        988474637487226873250021955104421895943605632761729320744454284792013483886field.private,\n        1018595503607749325560812785092303652308909717269501712857428145700763090203field.private,\n        1866354748676879328546224733327549476838379876255164483333908854380501015560field.private,\n        17649382157field.private\n      ]\n    }\n  },\n  auction_id: 4494702806735512695876583707511065751304542460719196393147692059573188109243field.private,\n  settings: {\n    auction_privacy: 1field.private,\n    bid_types_accepted: 2field.private\n  },\n  _nonce: 3369967065799891136255379173673996324404175734426175774361522329924029135340group.public,\n  _version: 0u8.public\n}";
-const privateBid = "{\n  owner: aleo12a4wll9ax6w5355jph0dr5wt2vla5sss2t4cnch0tc3vzh643v8qcfvc7a.private,\n  bid: {\n    amount: 50000u64.private,\n    auction_id: 4494702806735512695876583707511065751304542460719196393147692059573188109243field.private,\n    bid_public_key: 7957235921075215080384898776027711008106448988910535634014947882222019778701group.private\n  },\n  bid_id: 7560059211950188901208146469854635725646381155467709838136796808753178551929field.private,\n  _nonce: 6603986437928263590097393830337419611438422585243442121397081002092267314422group.public,\n  _version: 0u8.public\n}";
-await remoteProgramExecution("private_auction_test_3.aleo", "select_winner_private", [auctionTicket, privateBid]);
+// const start = Date.now();
+// console.log("Starting local execute!");
+// await localProgramExecution(hello_hello_program, programName, "hello", ["5u32", "5u32"]);
+// console.log("Local execute finished!", Date.now() - start);
+//
+// console.log("Starting remote execute");
+// const auctionTicket = "{\n  owner: aleo12a4wll9ax6w5355jph0dr5wt2vla5sss2t4cnch0tc3vzh643v8qcfvc7a.private,\n  auction: {\n    starting_bid: 1000u64.private,\n    name: 35399035103896773146887283777field.private,\n    item: {\n      id: 2711777270856651361584090827715149911900945757872672230578290769243507539617field.private,\n      offchain_data: [\n        988474637487226873250021955104421895943605632761729320744454284792013483886field.private,\n        1018595503607749325560812785092303652308909717269501712857428145700763090203field.private,\n        1866354748676879328546224733327549476838379876255164483333908854380501015560field.private,\n        17649382157field.private\n      ]\n    }\n  },\n  auction_id: 4494702806735512695876583707511065751304542460719196393147692059573188109243field.private,\n  settings: {\n    auction_privacy: 1field.private,\n    bid_types_accepted: 2field.private\n  },\n  _nonce: 3369967065799891136255379173673996324404175734426175774361522329924029135340group.public,\n  _version: 0u8.public\n}";
+// const privateBid = "{\n  owner: aleo12a4wll9ax6w5355jph0dr5wt2vla5sss2t4cnch0tc3vzh643v8qcfvc7a.private,\n  bid: {\n    amount: 50000u64.private,\n    auction_id: 4494702806735512695876583707511065751304542460719196393147692059573188109243field.private,\n    bid_public_key: 7957235921075215080384898776027711008106448988910535634014947882222019778701group.private\n  },\n  bid_id: 7560059211950188901208146469854635725646381155467709838136796808753178551929field.private,\n  _nonce: 6603986437928263590097393830337419611438422585243442121397081002092267314422group.public,\n  _version: 0u8.public\n}";
+// await remoteProgramExecution("private_auction_test_3.aleo", "select_winner_private", [auctionTicket, privateBid]);

sdk/tests/data/records.ts

@@ -1,3 +1,15 @@
+/// V1 credits.aleo record.
+const CREDITS_RECORD_V1 = "{ owner: aleo12a4wll9ax6w5355jph0dr5wt2vla5sss2t4cnch0tc3vzh643v8qcfvc7a.private, microcredits: 1000000u64.private, _nonce: 3634848344765318974603121890869676775499130077229666060613233255327643175219group.public, _version: 1u8.public }";
+
+/// Record view key for the V1 credits.aleo record.
+const CREDITS_RECORD_VIEW_KEY = "5237002936265850807349726649400053591020997883662246784632368923777787639801field";
+
+/// Sender ciphertext of the credits.aleo record.
+const CREDITS_SENDER_CIPHERTEXT = "1182590395568997043375432557467567048762179115999922880321493200728848194550field";
+
+/// Sender plaintext of the credits.aleo record.
+const CREDITS_SENDER_PLAINTEXT = "aleo1j92w9mhqznj2hvufad796y8suykjppk7f6n6xmncmktfm95vggzqx4sjlh";
+
 // Ciphertext records
 const RECORD_CIPHERTEXT_STRING = "record1qyqsqpe2szk2wwwq56akkwx586hkndl3r8vzdwve32lm7elvphh37rsyqyxx66trwfhkxun9v35hguerqqpqzqrtjzeu6vah9x2me2exkgege824sd8x2379scspmrmtvczs0d93qttl7y92ga0k0rsexu409hu3vlehe3yxjhmey3frh2z5pxm5cmxsv4un97q";
 const RECORD_CIPHERTEXT_STRING_COPY = "record1qyqsqpe2szk2wwwq56akkwx586hkndl3r8vzdwve32lm7elvphh37rsyqyxx66trwfhkxun9v35hguerqqpqzqrtjzeu6vah9x2me2exkgege824sd8x2379scspmrmtvczs0d93qttl7y92ga0k0rsexu409hu3vlehe3yxjhmey3frh2z5pxm5cmxsv4un97q";
@@ -16,6 +28,10 @@ const VIEW_KEY_STRING = "AViewKey1ccEt8A2Ryva5rxnKcAbn7wgTaTsb79tzkKHFpeKsm9NX";
 const RECORD_VIEW_KEY_STRING = "4445718830394614891114647247073357094867447866913203502139893824059966201724field";
 
 export {
+    CREDITS_RECORD_V1,
+    CREDITS_RECORD_VIEW_KEY,
+    CREDITS_SENDER_CIPHERTEXT,
+    CREDITS_SENDER_PLAINTEXT,
     RECORD_CIPHERTEXT_STRING,
     RECORD_CIPHERTEXT_STRING_COPY,
     RECORD_CIPHERTEXT_STRING_NOT_OWNED,

sdk/tests/network-client.test.ts

@@ -368,7 +368,7 @@ describe("NodeConnection", () => {
             }
         });
 
-        it.only("should throw for a malformed tx ID", async () => {
+        it("should throw for a malformed tx ID", async () => {
             const connection = new AleoNetworkClient(host);
             try {
                 await connection.waitForTransactionConfirmation(invalidTx);

sdk/tests/wasm.test.ts

@@ -12,6 +12,10 @@ import {
     beaconPrivateKeyString
 } from "./data/account-data.js";
 import {
+    CREDITS_RECORD_V1,
+    CREDITS_RECORD_VIEW_KEY,
+    CREDITS_SENDER_CIPHERTEXT,
+    CREDITS_SENDER_PLAINTEXT,
     RECORD_CIPHERTEXT_STRING,
     RECORD_CIPHERTEXT_STRING_COPY,
     RECORD_CIPHERTEXT_STRING_NOT_OWNED,
@@ -20,6 +24,7 @@ import {
     RECORD_VIEW_KEY_STRING,
     VIEW_KEY_STRING,
 } from "./data/records.js";
+import process from "node:process";
 
 describe('WASM Objects', () => {
     describe('Address', () => {
@@ -483,6 +488,29 @@ describe('WASM Objects', () => {
             // Ensure the decrypted record is the same as the plaintext
             expect(decryptedRecords[0].toString()).equal(recordPlaintextCopy.toString());
         });
+        it('can decrypt sender ciphertexts', () => {
+            // Get the private key corresponding to the record.
+            const private_key = PrivateKey.from_string(<string>process.env["PUZZLE_PK"]);
+            const view_key = ViewKey.from_private_key(private_key);
+
+            // Construct the record and the sender ciphertext.
+            const record = RecordPlaintext.fromString(CREDITS_RECORD_V1);
+            const record_view_key = Field.fromString(CREDITS_RECORD_VIEW_KEY);
+            const sender_ciphertext = Field.fromString(CREDITS_SENDER_CIPHERTEXT);
+
+            // Decrypt the sender ciphertext using the record object and ensure it's from the expected address.
+            let sender = record.decryptSender(view_key, sender_ciphertext);
+            expect(sender.to_string()).to.equal(CREDITS_SENDER_PLAINTEXT);
+
+            // Decrypt the sender ciphertext using the EncryptionToolkit function and ensure it's from the expected address.
+            sender = EncryptionToolkit.decryptSender(view_key, record, sender_ciphertext);
+            expect(sender.to_string()).to.equal(CREDITS_SENDER_PLAINTEXT);
+
+            // Decrypt the sender ciphertext using only the record view key and ensure it's from the expected address.
+            sender = EncryptionToolkit.decryptSenderWithRvk(record_view_key, sender_ciphertext);
+            expect(sender.to_string()).to.equal(CREDITS_SENDER_PLAINTEXT);
+        })
+        it('can decryption')
     });
     describe('VerifyingKey', () => {
         it('can get the number of constraints', async () => {