Merge branch 'mainnet' into feat/proving-requests

Author: iamalwaysuncomfortable

docs/api_reference/sdk-src_account.md

@@ -504,21 +504,23 @@ const viewKey = account.viewKey();
 
 ---
 
-### `computeKey() ► Field`
+### `computeKey() ► ComputeKey`
 
 ![modifier: public](images/badges/modifier-public.svg)
 
-Returns the Transition View Key associated with the transition public key.
+Returns the ComputeKey associated with the account.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | [Field](sdk-src_wasm.md) | *The transition view key*
+__*return*__ | `ComputeKey` | *The compute key of the account*
 
 #### Examples
 
 ```javascript
 import { Account } from "@provablehq/sdk/testnet.js";
-const account =
+
+const account = new Account();
+const computeKey = account.computeKey();
 ```
 
 ---

docs/api_reference/sdk-src_wasm.md

@@ -424,12 +424,12 @@ Decrypt a ciphertext using the view key of the transition signer, transition pub
 
 Parameters | Type | Description
 --- | --- | ---
-__view_key__ | `ViewKey` | **
-__transition_public_key__ | [Group](sdk-src_wasm.md) | **
-__program__ | `string` | **
-__function_name__ | `string` | **
-__index__ | `number` | **
-__*return*__ | [Plaintext](sdk-src_wasm.md) | **
+__view_key__ | `ViewKey` | *The view key of the transition signer.*
+__transition_public_key__ | [Group](sdk-src_wasm.md) | *The transition public key used to encrypt the ciphertext.*
+__program__ | `string` | *The program ID associated with the ciphertext.*
+__function_name__ | `string` | *The name of the function associated with the encrypted inputs and outputs.*
+__index__ | `u16` | *The index of the input or output parameter that was encrypted.*
+__*return*__ | [Plaintext](sdk-src_wasm.md) | *The decrypted plaintext.*
 
 ---
 
@@ -441,11 +441,11 @@ Decrypt a ciphertext using the transition view key and a (program, function, ind
 
 Parameters | Type | Description
 --- | --- | ---
-__transition_view_key__ | [Field](sdk-src_wasm.md) | **
-__program__ | `string` | **
-__function_name__ | `string` | **
-__index__ | `number` | **
-__*return*__ | [Plaintext](sdk-src_wasm.md) | **
+__transition_view_key__ | [Field](sdk-src_wasm.md) | *The transition view key that was used to encrypt the ciphertext.*
+__program__ | `string` | *The program ID associated with the ciphertext.*
+__function_name__ | `string` | *The name of the function associated with the encrypted inputs and outputs.*
+__index__ | `u16` | *The index of the input or output parameter that was encrypted.*
+__*return*__ | [Plaintext](sdk-src_wasm.md) | *The decrypted plaintext.*
 
 ---
 
@@ -1280,8 +1280,9 @@ Creates a new offline query object. The state root is required to be passed in a
 
 Parameters | Type | Description
 --- | --- | ---
-__block_height__ | `number` | **
-__state_root__ | `string` | **
+__block_height__ | `u32` | *The block height.*
+__state_root__ | `string` | *The state root of the current network.*
+__*return*__ | [OfflineQuery](sdk-src_wasm.md) | *The newly created offline query object.*
 
 ---
 
@@ -1295,7 +1296,7 @@ Add a new block height to the offline query object.
 
 Parameters | Type | Description
 --- | --- | ---
-__block_height__ | `number` | **
+__block_height__ | `u32` | *The block height to add.*
 __*return*__ | `void` | **
 
 ---
@@ -1308,8 +1309,8 @@ Add a new state path to the offline query object.
 
 Parameters | Type | Description
 --- | --- | ---
-__commitment:__ | `string` | *The commitment corresponding to a record inpout*
-__state_path:__ | `string` | *The state path corresponding to the commitment*
+__commitment:__ | `string` | *The commitment corresponding to a record input.*
+__state_path:__ | `string` | *The state path corresponding to the commitment.*
 __*return*__ | `void` | **
 
 ---
@@ -1318,23 +1319,23 @@ __*return*__ | `void` | **
 
 ![modifier: public](images/badges/modifier-public.svg)
 
-Get a json string representation of the offline query object
+Get a json string representation of the offline query object.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | `string` | **
+__*return*__ | `string` | *JSON string representation of the offline query object.*
 
 ---
 
-### `fromString(s) ► OfflineQuery`
+### `fromString(JSON) ► OfflineQuery`
 
 ![modifier: public](images/badges/modifier-public.svg) ![modifier: static](images/badges/modifier-static.svg)
 
-Create an offline query object from a json string representation
+Create an offline query object from a json string representation.
 
 Parameters | Type | Description
 --- | --- | ---
-__s__ | `string` | **
+__JSON__ | `string` | *string representation of the offline query object.*
 __*return*__ | [OfflineQuery](sdk-src_wasm.md) | **
 
 ---
@@ -1387,9 +1388,9 @@ Encrypt a plaintext with an address and randomizer.
 
 Parameters | Type | Description
 --- | --- | ---
-__address__ | [Address](sdk-src_wasm.md) | **
-__randomizer__ | [Scalar](sdk-src_wasm.md) | **
-__*return*__ | [Ciphertext](sdk-src_wasm.md) | **
+__address__ | [Address](sdk-src_wasm.md) | *The address to encrypt the plaintext for.*
+__randomizer__ | [Scalar](sdk-src_wasm.md) | *The randomizer to use for encryption.*
+__*return*__ | [Ciphertext](sdk-src_wasm.md) | *The encrypted ciphertext.*
 
 ---
 
@@ -1401,8 +1402,9 @@ Encrypt a plaintext with a transition view key.
 
 Parameters | Type | Description
 --- | --- | ---
-__transition_view_key__ | [Field](sdk-src_wasm.md) | **
-__*return*__ | [Ciphertext](sdk-src_wasm.md) | **
+__transition_view_key__ | [Field](sdk-src_wasm.md) | *The transition view key of the transition
+associated with the plaintext.*
+__*return*__ | [Ciphertext](sdk-src_wasm.md) | *The encrypted ciphertext.*
 
 ---
 
@@ -1440,7 +1442,7 @@ Get the left endian byte array representation of the plaintext.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | `Uint8Array` | **
+__*return*__ | `Uint8Array` | *The left endian byte array representation of the plaintext.*
 
 ---
 
@@ -1457,15 +1459,15 @@ __*return*__ | [Plaintext](sdk-src_wasm.md) | *The plaintext object.*
 
 ---
 
-### `toBitsLe() ► Array.<any>`
+### `toBitsLe() ► Array`
 
 ![modifier: public](images/badges/modifier-public.svg)
 
 Get the left endian boolean array representation of the bits of the plaintext.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | `Array.<any>` | **
+__*return*__ | `Array` | *The left endian boolean array representation of the bits of the plaintext.*
 
 ---
 
@@ -1482,15 +1484,15 @@ __*return*__ | [Plaintext](sdk-src_wasm.md) | *The plaintext object.*
 
 ---
 
-### `toFields() ► Array.<any>`
+### `toFields() ► Array`
 
 ![modifier: public](images/badges/modifier-public.svg)
 
 Get the field array representation of the plaintext.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | `Array.<any>` | **
+__*return*__ | `Array` | *The field array representation of the plaintext.*
 
 ---
 
@@ -2529,7 +2531,7 @@ Get the left endian byte array representation of the record ciphertext.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | `Uint8Array` | **
+__*return*__ | `Uint8Array` | *Left endian byte array representation of the record ciphertext.*
 
 ---
 
@@ -2539,21 +2541,23 @@ __*return*__ | `Uint8Array` | **
 
 Get the left endian boolean array representation of the record ciphertext bits.
 
+returns {Array} Left endian boolean array representation of the bits of the record ciphertext.
+
 Parameters | Type | Description
 --- | --- | ---
 __*return*__ | `Array.<any>` | **
 
 ---
 
-### `toFields() ► Array.<any>`
+### `toFields() ► Array`
 
 ![modifier: public](images/badges/modifier-public.svg)
 
 Get the field array representation of the record ciphertext.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | `Array.<any>` | **
+__*return*__ | `Array` | *Field array representation of the record ciphertext.*
 
 ---
 
@@ -2578,7 +2582,7 @@ Get the record nonce.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | [Group](sdk-src_wasm.md) | **
+__*return*__ | [Group](sdk-src_wasm.md) | *The record nonce.*
 
 ---
 
@@ -2596,11 +2600,24 @@ Return a record plaintext from a string.
 
 Parameters | Type | Description
 --- | --- | ---
-__record__ | `string` | *String representation of a plaintext representation of an Aleo record*
+__record__ | `string` | *String representation of a plaintext representation of an Aleo record.*
 __*return*__ | [RecordPlaintext](sdk-src_wasm.md) | *Record plaintext*
 
 ---
 
+### `getMember(input) ► Plaintext`
+
+![modifier: public](images/badges/modifier-public.svg)
+
+Get the record entry matching a key.
+
+Parameters | Type | Description
+--- | --- | ---
+__input__ | `string` | *The key to retrieve the value in the record data field.*
+__*return*__ | [Plaintext](sdk-src_wasm.md) | *The plaintext value corresponding to the key.*
+
+---
+
 ### `owner() ► Address`
 
 ![modifier: public](images/badges/modifier-public.svg)
@@ -2609,7 +2626,7 @@ Get the owner of the record.
 
 Parameters | Type | Description
 --- | --- | ---
-__*return*__ | [Address](sdk-src_wasm.md) | **
+__*return*__ | [Address](sdk-src_wasm.md) | *Address of the owner of the record.*
 
 ---
 

sdk/src/browser.ts

@@ -62,6 +62,7 @@ export { logAndThrow } from "./utils.js";
 export {
     Address,
     Authorization,
+    Boolean,
     BHP256,
     BHP512,
     BHP768,

sdk/src/wasm.ts

@@ -1,6 +1,7 @@
 export {
     Address,
     Authorization,
+    Boolean,
     BHP256,
     BHP512,
     BHP768,

sdk/tests/arithmetic.test.ts

@@ -1,6 +1,6 @@
 import sinon from "sinon";
 import { expect } from "chai";
-import { Field, Scalar, Group} from "../src/node.js";
+import { Field, Scalar, Group, Boolean} from "../src/node.js";
 import { FieldGenerator, GroupGenerator, ScalarGenerator } from "./data/algebra.js";
 
 describe('Field and Group Arithmetic Tests', () => {
@@ -44,6 +44,58 @@ describe('Field and Group Arithmetic Tests', () => {
             expect(two_power_four.equals(two_times_eight)).equal(true);
         });
 
+        it('Check boolean creation and serialization', () => {
+            const t = Boolean.fromString("true");
+            const f = Boolean.fromString("false");
+
+            expect(t.toString()).equals("true");
+            expect(f.toString()).equals("false");
+
+            const tBytes = t.toBytesLe();
+            const fBytes = f.toBytesLe();
+
+            const tFromBytes = Boolean.fromBytesLe(tBytes);
+            const fFromBytes = Boolean.fromBytesLe(fBytes);
+
+            expect(t.equals(tFromBytes)).equals(true);
+            expect(f.equals(fFromBytes)).equals(true);
+
+            const tBits = t.toBitsLe();
+            const fBits = f.toBitsLe();
+
+            const tFromBits = Boolean.fromBitsLe(tBits);
+            const fFromBits = Boolean.fromBitsLe(fBits);
+
+            expect(t.equals(tFromBits)).equals(true);
+            expect(f.equals(fFromBits)).equals(true);
+        });
+
+        it('Check boolean logical operations', () => {
+            const t = new Boolean(true);
+            const f = new Boolean(false);
+
+            expect(t.not().toString()).equals("false");
+            expect(f.not().toString()).equals("true");
+
+            expect(t.and(t).toString()).equals("true");
+            expect(t.and(f).toString()).equals("false");
+            expect(f.and(f).toString()).equals("false");
+
+            expect(t.or(t).toString()).equals("true");
+            expect(t.or(f).toString()).equals("true");
+            expect(f.or(f).toString()).equals("false");
+
+            expect(t.xor(t).toString()).equals("false");
+            expect(t.xor(f).toString()).equals("true");
+            expect(f.xor(f).toString()).equals("false");
+
+            expect(t.nand(t).toString()).equals("false");
+            expect(t.nand(f).toString()).equals("true");
+
+            expect(f.nor(f).toString()).equals("true");
+            expect(t.nor(f).toString()).equals("false");
+        });
+
         it('Check scalar field arithmetic', () => {
             // Create the 2 scalar element.
             const a = Scalar.fromString("2scalar");

wasm/src/ledger/transition.rs

@@ -176,22 +176,32 @@ impl Transition {
     }
 
     /// Get the transition public key of the transition.
+    ///
+    /// @returns {Group} Transition public key
     pub fn tpk(&self) -> Group {
         Group::from(self.0.tpk())
     }
 
     /// Get the transition view key of the transition.
+    ///
+    /// @param {ViewKey} view_key The view key of the transition signer.
+    ///
+    /// @returns {Field} Transition view key
     pub fn tvk(&self, view_key: &ViewKey) -> Field {
         let tpk = self.tpk();
         tpk.scalar_multiply(&view_key.to_scalar()).to_x_coordinate()
     }
 
     /// Get the transition commitment of the transition.
+    ///
+    /// @returns {Field} Transition commitment
     pub fn tcm(&self) -> Field {
         Field::from(self.0.tcm())
     }
 
     /// Get the transition signer commitment of the transition.
+    ///
+    /// @returns {Field} Transition signer commitment
     pub fn scm(&self) -> Field {
         Field::from(self.0.scm())
     }