Brevis SDK Typescript

The Typescript SDK offers a way for NodeJS to interact with the prover service and Brevis' system. Go check out Brevis SDK's documentation site for more information.

Workflow

Adding Data to Prove

Install the Dependency

npm install brevis-sdk-typescript

Initializing a Proof Request to Your Prover Service

import { ProofRequest, Prover } from "brevis-sdk-typescript";
// Assuming you started your prover service on port 33247, this is how you
// initialize a client in your NodeJS program to interact with it.
const prover = new Prover("localhost:33247");
const proofReq = new ProofRequest();

Adding Data to the Proof Request

Adding data is almost a one-to-one copy of how you would add data to prove in the Go SDK. The data you add here is closely tied to how you allocate data slots for your circuit and is available in CircuitInput passed in to your Define function.

proofReq.addReceipt(
  new ReceiptData({
    block_num: 18064070,
    tx_hash:
      "0x53b37ec7975d217295f4bdadf8043b261fc49dccc16da9b9fc8b9530845a5794",
    fields: [
      new Field({
        contract: "0x88e6A0c2dDD26FEEb64F039a2c41296FcB3f5640",
        log_index: 3,
        event_id:
          "0xc42079f94a6350d7e6235f29174924f928cc2ac818eb64fed8004e115fbcca67",
        is_topic: false,
        field_index: 0,
        value: "724999999",
      }),
      new Field({
        contract: "0x88e6A0c2dDD26FEEb64F039a2c41296FcB3f5640",
        log_index: 3,
        event_id:
          "0xc42079f94a6350d7e6235f29174924f928cc2ac818eb64fed8004e115fbcca67",
        is_topic: true,
        field_index: 2,
        value: "0xEf1c6E67703c7BD7107eed8303Fbe6EC2554BF6B",
      }),
      new Field({
        contract: "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
        log_index: 2,
        event_id:
          "0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef",
        is_topic: true,
        field_index: 1,
        value: "0xaefB31e9EEee2822f4C1cBC13B70948b0B5C0b3c",
      }),
    ],
  })
);
proofReq.addStorage(
  new StorageData({
    block_num: 18233760,
    address: "0x5427FEFA711Eff984124bFBB1AB6fbf5E3DA1820",
    slot: "0x0000000000000000000000000000000000000000000000000000000000000000",
    value: "0xf380166f8490f24af32bf47d1aa217fba62b6575",
  })
);
proofReq.addTransaction(
  new TransactionData({
    hash: "0x6dc75e61220cc775aafa17796c20e49ac08030020fce710e3e546aa4e003454c",
    chain_id: 1,
    block_num: 19073244,
    nonce: 0,
    gas_tip_cap_or_gas_price: "90000000000",
    gas_fee_cap: "90000000000",
    gas_limit: 21000,
    from: "0x6c2843bA78Feb261798be1AAC579d1A4aE2C64b4",
    to: "0x2F19E5C3C66C44E6405D4c200fE064ECe9bC253a",
    value: "22329290000000000",
  })
);

Adding Custom Inputs

If you define custom inputs for your circuit, you need to fully assign them here in ProofRequest.

// circuit custom input definition
type AppCircuit struct{
    // example custom field `MerkleProof`
    MerkleProof [8]sdk.Bytes32
}
// assigning custom input in typescript
proofReq.setCustomInput({
    // key names match what we defined in AppCircuit
    MerkleProof: [
        // type of the field should also match what we define in AppCircuit
        asBytes32('0x1111111111111111111111111111111111111111111111111111111111111111'),
        asBytes32('0x2222222222222222222222222222222222222222222222222222222222222222'),
        // ...
    ],
});

The keys of the custom input object you add in typescript matches what you define in your app circuit. The first letter can also be lower cased, e.g. merkleProof in the above example Custom Input Types

The types of the custom input you assign in ProofRequest must match what you define in your app circuit. All primitive circuit data types are allowed here through the following functions.

proofReq.setCustomInput({
  myUint248Input1: asUint248("123"),
  // 0x prefixed hex input is also allowed
  myUint248Input2: asUint248("0xabcdef"),
  myUint521Input1: asUint521("123"),
  // 0x prefixed hex input is also allowed
  myUint521Input2: asUint521("0xabcdef"),
  myInt248Input: asInt248("-123"),
  myBytes32Input: asBytes32(
    "0x3333333333333333333333333333333333333333333333333333333333333333"
  ),
});

Sending the Proof Request to Your Prover

const proofRes = await prover.prove(proofReq);

Error handling

if (proofRes.has_err) {
  const err = proofRes.err;
  switch (err.code) {
    case ErrCode.ERROR_INVALID_INPUT:
      console.error("invalid receipt/storage/transaction input:", err.msg);
      // handle invalid data input...
      // this error means some of your input
      // data (receipt/storage/transaction) is not found or not supported
      // e.g. you added a transaction of type other than 0 or 2, you added
      // a receipt of size more than 2048 bytes...
      break;

    case ErrCode.ERROR_INVALID_CUSTOM_INPUT:
      console.error("invalid custom input:", err.msg);
      // handle invalid custom input assignment...
      break;

    case ErrCode.ERROR_FAILED_TO_PROVE:
      console.error("failed to prove:", err.msg);
      // handle failed to prove. usually marking some record as failed
      break;
  }
}

If you receive ERROR_INVALID_INPUT, check your data against Limits and Performance to see if any data exceeds the limits.

Tip: If you want to reuse the proofs you can do serialize and deserialize ProveResponse by:

import { ProveResponse } from "brevis-sdk-typescript";
const serialized = proofRes.serialize();
const restored = ProveResponse.deserialize(serialized);

Sending Your Proof to Brevis

import { Brevis } from "brevis-sdk-typescript";

// A client for interacting with Brevis' systems
const brevis = new Brevis("appsdk.brevis.network:11080");
// submit() takes
// the proof request
// proof response
// source chain ID where the data you want to use in your computation is from
// destination chain ID where your want to post the proof to
const brevisRes = await brevis.submit(proofReq, proofRes, 1, 11155111);

const id = brevisRes.id;
const fee = brevisRes.fee;
console.log(id, fee);

Pay for Your Request on the Data Source Chain

Call BrevisRequest.sendRequest() with the id acquired from brevisRes and the fee (in native token). contract addresses

Wait for Your App Contract to be Called

Since Brevis calls your app contract's callback function when the final proof is submitted, you can listen to your app contract's event. Or, you could use the built-in function to wait for final tx submission. // wait() takes the request id and a destination chain id

brevis.wait(brevisRes.id, 11155111);