o1js
Version:
TypeScript framework for zk-SNARKs and zkApps
19 lines (18 loc) • 688 B
TypeScript
import { Field } from '../field.js';
export { rangeCheck3x12, inTable };
declare function rangeCheck3x12(v0: Field, v1: Field, v2: Field): void;
/**
* In-circuit check that up to 3 pairs of index and value are in the runtime
* table given by the identifier. Each given pair is a tuple composed of a
* bigint and a Field.
*
* **Note**: The runtime table must be configured before calling this function.
*
* **Note**: Table id 0 and 1 are reserved values, do not use them.
*
* @param id
* @param pair0
* @param pair1
* @param pair2
*/
declare function inTable(id: number, pair0: [bigint, Field], pair1?: [bigint, Field] | undefined, pair2?: [bigint, Field] | undefined): void;