zkverifyjs
Version:
Submit proofs to zkVerify and query proof state with ease using our npm package.
82 lines (81 loc) • 3.95 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.getAggregateStatementPath = getAggregateStatementPath;
exports.getVkHash = getVkHash;
const format_1 = require("../format");
async function getAggregateStatementPath(api, at, domainId, aggregationId, statement) {
if (typeof at !== 'string' || at.trim() === '') {
throw new Error('Invalid input: "at" must be a non-empty string.');
}
if (typeof statement !== 'string' || statement.trim() === '') {
throw new Error('Invalid input: "statement" must be a non-empty string.');
}
if (typeof domainId !== 'number' || domainId < 0) {
throw new Error('Invalid input: "domainId" must be a number greater than or equal to 0.');
}
if (typeof aggregationId !== 'number' || aggregationId < 0) {
throw new Error('Invalid input: "aggregationId" must be a number greater than or equal to 0.');
}
// @ts-expect-error: Custom RPC method 'aggregate.statementPath' is not recognized by TypeScript's type system
if (!api.rpc.aggregate || !api.rpc.aggregate.statementPath) {
throw new Error('Custom RPC method aggregate.statementPath is not registered in the API instance.');
}
try {
// @ts-expect-error: Custom RPC method 'aggregate.statementPath' is not recognized by TypeScript's type system
const result = await api.rpc.aggregate.statementPath(at, domainId, aggregationId, statement);
// eslint-disable-next-line @typescript-eslint/no-explicit-any
const humanResult = result.toHuman();
if (!humanResult || typeof humanResult !== 'object') {
throw new Error('Unexpected result format from RPC call.');
}
const { root, proof, number_of_leaves, leaf_index, leaf } = humanResult;
if (typeof root !== 'string' ||
!Array.isArray(proof) ||
typeof leaf !== 'string') {
throw new Error('Invalid response structure from RPC call.');
}
const formattedResult = {
root,
proof: proof.map(String),
numberOfLeaves: Number(number_of_leaves),
leafIndex: Number(leaf_index),
leaf,
};
return formattedResult;
}
catch (error) {
throw new Error(`Error during RPC call: ${error instanceof Error ? error.message : String(error)}`);
}
}
async function getVkHash(api, proofOptions, vk) {
try {
if (typeof vk !== 'string' &&
(typeof vk !== 'object' || vk === null || Array.isArray(vk))) {
throw new Error(`Invalid VK format: expected a string or non-null object, got ${typeof vk}`);
}
const formattedVk = await (0, format_1.formatVk)(proofOptions, vk);
// @ts-expect-error: Custom RPC methods are not recognized by TypeScript
if (!api.rpc.vk_hash || typeof api.rpc.vk_hash !== 'object') {
throw new Error(`RPC method for ${proofOptions.proofType} is not registered.`);
}
// @ts-expect-error: Custom RPC methods are not recognized by TypeScript
const rpcCall = api.rpc.vk_hash[proofOptions.proofType];
if (typeof rpcCall !== 'function') {
throw new Error(`RPC method for ${proofOptions.proofType} is not registered.`);
}
const result = await rpcCall(formattedVk);
if (!result || typeof result.toString !== 'function') {
throw new Error(`No VK hash found for proof type "${proofOptions.proofType}".`);
}
const hash = result.toString();
if (typeof hash !== 'string' ||
!hash.startsWith('0x') ||
hash.length <= 2) {
throw new Error(`No VK hash found for proof type "${proofOptions.proofType}".`);
}
return hash;
}
catch (err) {
throw new Error(`RPC call for ${proofOptions.proofType} failed: ${err instanceof Error ? err.message : String(err)}`);
}
}