@nori-zk/o1js-zk-utils
Version:
o1js-zk-utils supporting Nori Bridge
126 lines (125 loc) • 4.47 kB
TypeScript
import { Field } from 'o1js';
import { Bytes20, Bytes32 } from '../types.js';
export declare function dummyAddress(i: number): Bytes20;
export declare function dummyAttestation(i: number): Bytes32;
export declare function dummyValue(i: number): Bytes32;
export declare function nonProvableStorageSlotLeafHash(addr: Bytes20, attestation: Bytes32, value: Bytes32): Field;
export declare function buildLeavesNonProvable(triples: Array<[Bytes20, Bytes32, Bytes32]>): Field[];
declare const ProvableLeafObject_base: (new (value: {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}) => {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: 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<{
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}, {
address: {
bytes: {
value: bigint;
}[];
};
attestation: {
bytes: {
value: bigint;
}[];
};
value: {
bytes: {
value: bigint;
}[];
};
}>, "fromFields"> & {
fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
};
} & {
fromValue: (value: {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes | {
bytes: {
value: bigint;
}[];
};
attestation: 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;
}[];
};
}) => {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
};
toInput: (x: {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: 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: {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
}) => {
address: {
bytes: {
value: string;
}[];
};
attestation: {
bytes: {
value: string;
}[];
};
value: {
bytes: {
value: string;
}[];
};
};
fromJSON: (x: {
address: {
bytes: {
value: string;
}[];
};
attestation: {
bytes: {
value: string;
}[];
};
value: {
bytes: {
value: string;
}[];
};
}) => {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
value: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
};
empty: () => {
address: import("o1js/dist/node/lib/provable/bytes.js").Bytes;
attestation: 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 {};