@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
10 lines (9 loc) • 310 B
TypeScript
import { Field } from 'o1js';
import { Fp12 } from './towers/index.js';
declare class ArrayListHasher {
static n: number;
static empty(): Field;
static hash(arr: Array<Field>): Field;
static open(lhs: Array<Field>, opening: Array<Fp12>, rhs: Array<Field>): Field;
}
export { ArrayListHasher };