@nori-zk/o1js-zk-utils
Version:
o1js-zk-utils supporting Nori Bridge
96 lines (95 loc) • 3.35 kB
TypeScript
import { Field } from 'o1js';
import { Bytes32 } from '../types.js';
export declare function dummyCodeChallenge(i: number): Bytes32;
export declare function dummyValue(i: number): Bytes32;
export declare function nonProvableStorageSlotLeafHash(codeChallenge: Bytes32, value: Bytes32): Field;
export declare function buildLeavesNonProvable(pairs: Array<[Bytes32, Bytes32]>): Field[];
declare const ProvableLeafObject_base: (new (value: {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}) => {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}) & {
_isStruct: true;
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}, {
codeChallenge: {
bytes: {
value: bigint;
}[];
};
value: {
bytes: {
value: bigint;
}[];
};
}>, "fromFields"> & {
fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
};
} & {
fromValue: (value: {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes | {
bytes: {
value: bigint;
}[];
};
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes | {
bytes: {
value: bigint;
}[];
};
}) => {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
};
toInput: (x: {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}) => {
fields?: Field[] | undefined;
packed?: [Field, number][] | undefined;
};
toJSON: (x: {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}) => {
codeChallenge: {
bytes: {
value: string;
}[];
};
value: {
bytes: {
value: string;
}[];
};
};
fromJSON: (x: {
codeChallenge: {
bytes: {
value: string;
}[];
};
value: {
bytes: {
value: string;
}[];
};
}) => {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
};
empty: () => {
codeChallenge: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
};
};
export declare class ProvableLeafObject extends ProvableLeafObject_base {
}
export declare function provableLeafContentsHash(leafContents: ProvableLeafObject): import("o1js/dist/node/lib/provable/field.js").Field;
export {};