o1js
Version:
TypeScript framework for zk-SNARKs and zkApps
20 lines (19 loc) • 761 B
TypeScript
import { Field } from '../field.js';
import { FieldVar } from '../core/fieldvar.js';
export { assertMulCompatible as assertMul, assertSquareCompatible as assertSquare, assertBooleanCompatible as assertBoolean, assertEqualCompatible as assertEqual, };
/**
* Assert multiplication constraint, `x * y === z`
*/
declare function assertMulCompatible(x: Field | FieldVar, y: Field | FieldVar, z: Field | FieldVar): void;
/**
* Assert square, `x^2 === z`
*/
declare function assertSquareCompatible(x: Field, z: Field): void;
/**
* Assert that x is either 0 or 1, `x^2 === x`
*/
declare function assertBooleanCompatible(x: Field): void;
/**
* Assert equality, `x === y`
*/
declare function assertEqualCompatible(x: Field | FieldVar, y: Field | FieldVar): void;