@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
8 lines (7 loc) • 452 B
TypeScript
import { Field, UInt8 } from 'o1js';
import { FpC, FrC } from '../towers/index.js';
declare const provableBn254BaseFieldToBytes: (x: FpC) => UInt8[];
declare const provableBn254ScalarFieldToBytes: (x: FrC) => UInt8[];
declare function bytesToWord(wordBytes: UInt8[]): Field;
declare function wordToBytes(word: Field, bytesPerWord?: number): UInt8[];
export { provableBn254BaseFieldToBytes, provableBn254ScalarFieldToBytes, wordToBytes, bytesToWord, };