Need help with serializing inputs from SnarkyJS Groth16 Output over to Move Language

[Envoy-VC]

Discord user ID

envoy_#0

Describe your question in detail.

So I have created a circom Circuit and generated a Verification Key and Proofs using SnarkyJS but i am not able to convert those outputs over to one accepted by move example implementation at https://github.com/aptos-labs/aptos-core/blob/main/aptos-move/move-examples/groth16_example/sources/groth16.move

How are the Indiviual values calculated from the output files, i tried serializing them and converting to hex but it did not work.

Here are my files:

groth16_proof.json

{
  "pi_a": [
    "1264207814477364785435480945667949330636950118566603678586424052851910951697054355317756216588602613248128271677329",
    "107214677318209466778658815921037566744341191616304648523018340822587773273797839422110361526437318998135612003675",
    "1"
  ],
  "pi_b": [
    [
      "3230905613612890075002112160395055531756458561569226498127452941904449871665888510212644130134127214612761115635277",
      "465721519893247915318977542055943739651157202871559311028136334162392204713519036253836238927389036506859741883516"
    ],
    [
      "568785695637858910948190626519605566882489290819214739184943732437711763157663501622871851212645132465555113801761",
      "3377396959077748200259912045063758298638378796347359143331259544842020214650522893270312521931954435619664277065264"
    ],
    ["1", "0"]
  ],
  "pi_c": [
    "2046286452500376556414876732162810123157450945643281349509346755364689343451729273022417761929768603971173845155755",
    "2013819856441636748093573339470773096400815422066788321565903449288512055056128106986693093532578593205155196719472",
    "1"
  ],
  "protocol": "groth16",
  "curve": "bls12381"
}

public.json

["13"]

groth16_vkey.json

{
  "protocol": "groth16",
  "curve": "bls12381",
  "nPublic": 1,
  "vk_alpha_1": [
    "458279277236325839539350454173745131912778284907351508697171838758861281856068092781953882755735885084711869096199",
    "2277312451610742528698846404213051228700738601413078212853036306372066916324435886693534175908132210336177877167038",
    "1"
  ],
  "vk_beta_2": [
    [
      "175774111453357225169191494286360907097441269592832305945327433032996329993181427305908781237430389837329545488190",
      "3201182828789867128003823705000225177816681173168087139866452312954037379714423455413823163994732371849335129746895"
    ],
    [
      "2725208288368897024938334122442422586534794103000486859332724822410246307054099281980634850128914298775842900954385",
      "3210735656646450771738907482274347031163348833638537156826021326657684771609665253836717540132016620156094803753642"
    ],
    ["1", "0"]
  ],
  "vk_gamma_2": [
    [
      "352701069587466618187139116011060144890029952792775240219908644239793785735715026873347600343865175952761926303160",
      "3059144344244213709971259814753781636986470325476647558659373206291635324768958432433509563104347017837885763365758"
    ],
    [
      "1985150602287291935568054521177171638300868978215655730859378665066344726373823718423869104263333984641494340347905",
      "927553665492332455747201965776037880757740193453592970025027978793976877002675564980949289727957565575433344219582"
    ],
    ["1", "0"]
  ],
  "vk_delta_2": [
    [
      "2959942717131053914766202677037080372009237092788802774630564364940733079396336664988928908272716037911045142475878",
      "1282109085457426647674674666253847753889515010479107106147298341327844213954559901536947735626133842920926160872769"
    ],
    [
      "3393670059184006630369831885106099274951262089439243084164914720936271158694257700836067176113737706702887373695419",
      "2735070901694576611270120478901819356100079371103247942358804480459186818266281407030036365421032160327766646051634"
    ],
    ["1", "0"]
  ],
  "vk_alphabeta_12": [
    [
      [
        "597181641877252073253752610709119883677343046279716619721963802122527451129345542457648676718929339256287512331170",
        "3086477901313337606495755805647225794147548628054332784221752151499367504109317567247909169558519158967681950891685"
      ],
      [
        "3386087279953250105656127400667047010900606594511605017077605684741713272595080259201645635615055177994900564511406",
        "690432238349263063395827564181568616159060712858359892927600955189870768732408143460096757039601885184840459716688"
      ],
      [
        "3152305548076405146274752585773807340048722287401205878539596348497392157998451769049972701370688145705371879425033",
        "2188809565938926338028378602377875807816556061645160823566948732773301697037959879097094110872443599561278140644479"
      ]
    ],
    [
      [
        "1245364969590723409654237982522323202820634360298168570219012162414891903234894446246111815110591938276950083198231",
        "2654972870926012863770155269499298090345235448852843359389960731274258223579774557628118032204124107002030765375794"
      ],
      [
        "1989475028925749559870683205582126292989468113072467453455663095513954418162981672697621805968025393315368868701312",
        "3748650841364984446017859696156976425686058094418563924859988031945011566395230697246449902702734419190804566692507"
      ],
      [
        "3698999871058263946594320615948528193251396827245426211683852217955257072596757242745745659545677773228073315298845",
        "2838250093260539426547930013652653540406386976630016591445714944961076196486380051352897594458914306180151433693408"
      ]
    ]
  ],
  "IC": [
    [
      "867687651314982472105148046654632086139048149933598922784340787889891733436205103347210194938132275628412714852324",
      "2043460420530692609987465104811270516856543163980152493454800923299213224286070065427425892340618586646752313559560",
      "1"
    ],
    [
      "806970303563784145298916924142397345212288766864071923440256309528968442941710610811060631052274785579596339923329",
      "944920330383333409884220744349417042344207138619700558281481063150634628910130983720910408140778875232779622315509",
      "1"
    ]
  ]
}

What error, if any, are you getting?

No response

What have you tried or looked at? Or how can we reproduce the error?

Here was my implementation for serializing them

import process from 'node:process';
import { readFileSync, writeFileSync } from 'node:fs';

interface Groth16Proof {
  pi_a: bigint[];
  pi_b: bigint[][];
  pi_c: bigint[];
  protocol: string;
  curve: string;
}

type CircuitOutput = bigint[];

interface Groth16VKey {
  vk_alpha_1: bigint[];
  vk_beta_2: bigint[][];
  vk_gamma_2: bigint[][];
  vk_delta_2: bigint[][];
  vk_alphabeta_12: bigint[][][];
  IC: bigint[][];
  protocol: string;
  curve: string;
  nPublic: number;
}

// Helper Functions
function bigIntToHex(bigInt: bigint) {
  return BigInt(bigInt).toString(16).padStart(64, '0');
}

function serializeAndConvertElement(elements: bigint[]) {
  return elements.map((element) => bigIntToHex(element)).join('');
}

const test = async () => {
  const proofPath = './build/fibonacci/in';
  const compiledPath = './build/fibonacci';

  const proofData = JSON.parse(
    readFileSync(`${proofPath}/groth16_proof.json`, { encoding: 'utf-8' })
  ) as Groth16Proof;
  const publicData = JSON.parse(
    readFileSync(`${proofPath}/public.json`, { encoding: 'utf-8' })
  ) as CircuitOutput;
  const vkeyData = JSON.parse(
    readFileSync(`${compiledPath}/groth16_vkey.json`, { encoding: 'utf-8' })
  ) as Groth16VKey;

  const proofA = serializeAndConvertElement(proofData.pi_a);
  const proofB = proofData.pi_b
    .map((subArr) => serializeAndConvertElement(subArr))
    .join('');
  const proofC = serializeAndConvertElement(proofData.pi_c);
  const publicInputs = publicData.map((input) => bigIntToHex(input)).join('');

  const vkAlphaG1 = serializeAndConvertElement(vkeyData.vk_alpha_1);
  const vkBetaG2 = vkeyData.vk_beta_2
    .map((subArr) => serializeAndConvertElement(subArr))
    .join('');
  const vkGammaG2 = vkeyData.vk_gamma_2
    .map((subArr) => serializeAndConvertElement(subArr))
    .join('');
  const vkDeltaG2 = vkeyData.vk_delta_2
    .map((subArr) => serializeAndConvertElement(subArr))
    .join('');
  const vkGammaABC = vkeyData.IC.map((ic) => serializeAndConvertElement(ic));

  const serializedData = {
    vkAlphaG1,
    vkBetaG2,
    vkGammaG2,
    vkDeltaG2,
    vkGammaABC,
    publicInputs,
    proofA,
    proofB,
    proofC,
  };

  // save to a file
  const hexSerializedDataStr = JSON.stringify(serializedData, null, 2);

  writeFileSync('output.json', hexSerializedDataStr);

  process.exit(0);
};

test();

and i get this output with the commands

{
  "vkAlphaG1": "2fa3d79cde6374230395b046fac258c4b24b6f5942c9da1e60b91c22a72904785dbe3037832afc96f575925eb122107ecbc67f07ad877dd73cb0469e1f049d383d51b839f59b756a5ca8fe56f5032a91741421c897772e8236597fdbd82bbe0000000000000000000000000000000000000000000000000000000000000001",
  "vkBetaG2": "1245be926ca743416e95287a3cae26900cafa144b0ea4917bc4bb95f4421b83e084474ab8c081441b62947decd6e73e14cc6acae4a0e5fcb2d5eedadf99bafbd428bb04b17f1a119115fcc41433cec71f4f2773842163fdbd345837b08fadcf11b4bebea8257f00e8519d46b656645fdb12b808d2df4a81deebc136b5560acde84a6e35076235fea9614c24e49c4d1114dc4e59296bae48a78ff84414265deaa9b6d44f8eccf0dfee8d1eb025d24364c8dd9e0cb1c5bf227a84beb05cd23aaa00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
  "vkGammaG2": "24aa2b2f08f0a91260805272dc51051c6e47ad4fa403b02b4510b647ae3d1770bac0326a805bbefd48056c8c121bdb813e02b6052719f607dacd3a088274f65596bd0d09920b61ab5da61bbdc7f5049334cf11213945d57e5ac7d055d042b7ece5d527727d6e118cc9cdc6da2e351aadfd9baa8cbdd3a76d429a695160d12c923ac9cc3baca289e193548608b82801606c4a02ea734cc32acd2b02bc28b99cb3e287e85a763af267492ab572e99ab3f370d275cec1da1aaa9075ff05f79be00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
  "vkDeltaG2": "133b2bb8c9a5335ae9dd37acb7e8986f929442536976d3d90bab7c26fcb8f0a32368db9d3d25131a7d586d38cc77f4668547ce64eb94be96de6580330de786bee51a96a82611f97173a63b22ab89df82800cbd3dc01198eb7c2ae759ac3e541160c93150ca7d25f6d40f1825bd4b49ae35a67ba70b83805a1801369986f0b566118de3d6c0d708fac7bffc4b72ae9bb11c52634b5cca5e7620ee80da29640eb87d5f37b1adad80e48ce497b155f66fddb9698c4b5099939cb7e4d65d131d33200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
  "vkGammaABC": [
    "5a331ead3fa39aea19de49379de20e5d0712c11c03f4b93c2178ff252c22813144c1adc9bff0e35752e279dd5af9fe4d46d13d93267b18cfe85d785a4ec26600ce390564598fc5dffd8dbb801758d5e663496b590bce6e090dae5798314a080000000000000000000000000000000000000000000000000000000000000001",
    "53e34b6e733f845ccbb5c60f2af0e1605d2bb589c645d8a0dd22b0a70ff75d5282189ebe5b3d336b6965ac0672ac981623a748292732a5462523c4894741f32506bcd0ad92c0f796202e86ed9d9f84314ea1c3e6664526a8bdb4572a9275f50000000000000000000000000000000000000000000000000000000000000001"
  ],
  "publicInputs": "000000000000000000000000000000000000000000000000000000000000000d",
  "proofA": "836b69c3fb1ef1bdb3e12a6e9d076d6675eb842f88f66c0391e0d9a57cf077db0276beccda7f76c59e0b90b9d767791b253943b2e71d173c8b744a921242a80aa2e3ebef49bd4e40a5adf2ed0054b8cba8a4b68abfbc92237a6d8a09e555b0000000000000000000000000000000000000000000000000000000000000001",
  "proofB": "14fddaa28cdf983777ce972006084315292a6486be08812b77469746959f95c9692132e5d8b107684f83e9aa42ec2e4d3069e5a53487f4ea3d20ac59a7bf30aa915202676afa463c25e2dca7d450c4358a54450231694fddc2edef4b51bac7c3b20aaa3accb0a7c2b0603bd996b768a5b1f1079ec6392cc84064298dea46fa1c4b2e05d7588b760e08850a9bfc782115f1820fc1dd0628319b48bd4682060dec0694e0f55dd6db89c6fe9136d0730277c096383efbbdcdd5935a4625f0ce3000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
  "proofC": "d4b848db811ea13f4e32bd3c39f121cac165b32153dc6473fae0992e3c1e82bba8cfae1fdda3e723728800d373dbfabd15846849a8b3080afd44a75f504204fcc439eb232a696e690ca6c25f72a20deff918035482f687907f2f56b3b651700000000000000000000000000000000000000000000000000000000000000001"
}

Which operating system are you using?

macOS

Which SDK or tool are you using? (if any)

Aptos CLI

Describe your environment or tooling in detail

MacOS 14.5 (23F79)

[ragingrahul]

@Envoy-VC were you able to come up with a solution?