@xorddotcom/shield
Version:
p align="center" > <img src="https://xord.notion.site/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F283b98b7-fdae-4e5a-acaf-248242084e4a%2FICON.png?table=block&id=5306223c-a4f7-45d1-9f54-b9a5f4004cd6&spaceId=49976899-64a1-40f
15 lines • 450 B
TypeScript
export declare class Checker {
r1csFilepath: string;
symFilepath: string;
r1cs: {
constraints: any;
prime: any;
nConstraints: number;
} | any;
symbols: {} | undefined;
signals: {} | undefined;
constructor(r1csFilepath: string, symFilepath: string);
load(): Promise<void>;
checkConstraintsAndOutput(witnessFilePath: string): Promise<true | undefined>;
}
//# sourceMappingURL=checker.d.ts.map