swapEvent.circuit.ts

import {
  addToCallback,
  CircuitValue,
  CircuitValue256,
  constant,
  witness,
  getReceipt,
  getTx,
} from "@axiom-crypto/client";

/// For type safety, define the input types to your circuit here.
/// These should be the _variable_ inputs to your circuit. Constants can be hard-coded into the circuit itself.
export interface CircuitInputs {
  blockNumber: CircuitValue;
  txIdx: CircuitValue;
  logIdx: CircuitValue;
}

/// Inputs used for compiling the circuit
export const defaultInputs = {
  "blockNumber": 5130226,
  "txIdx": 40,
  "logIdx": 2
};

// The function name `circuit` is searched for by default by our Axiom CLI; if you decide to 
// change the function name, you'll also need to ensure that you also pass the Axiom CLI flag 
// `-f <circuitFunctionName>` for it to work
export const circuit = async (inputs: CircuitInputs) => {
  const eventSchema =
    "0xc42079f94a6350d7e6235f29174924f928cc2ac818eb64fed8004e115fbcca67";

  // specify and fetch the data you want Axiom to verify
  const receipt = getReceipt(inputs.blockNumber, inputs.txIdx);
  const receiptLog = receipt.log(inputs.logIdx);

  // get the topic at index 2
  const swapTo = await receiptLog.topic(2, eventSchema);

  // get the `address` field of the receipt log
  const receiptAddr = await receiptLog.address();

  addToCallback(swapTo);
  addToCallback(inputs.blockNumber);
  addToCallback(receiptAddr);
};