@nori-zk/proof-conversion/build/src/plonk/parse_pi.js

Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof

import { ethers } from 'ethers';
import { FrC } from '../towers/index.js';
import { Field, Gadgets, UInt8 } from 'o1js';
import { shaToFr } from './fiat-shamir/sha_to_fr.js';
import { Bytes32 } from './fiat-shamir/index.js';
// TODO: some stuff here can be hardcoded
export function parsePublicInputs(programVk, piHex) {
    const digest = ethers.sha256(piHex);
    const bytes = ethers.getBytes(digest);
    const k = 14474011154664524427946373126085988481658748083205070504932198000989141204991n; // (1 << 253) - 1
    const k_pad = ethers.zeroPadBytes('0x' + k.toString(16), 32);
    const k_bytes = ethers.getBytes(k_pad);
    const pi1_bytes = [];
    for (let i = 0; i < 32; i++) {
        pi1_bytes.push(bytes[i] & k_bytes[i]);
    }
    let pi1 = ethers.hexlify(new Uint8Array(pi1_bytes));
    return [FrC.from(programVk), FrC.from(pi1)];
}
export function parseDigestProvable(digest) {
    const k = [Field.from(0x1fn), ...Array(31).fill(Field.from(0xffn))];
    const fields = digest.toFields();
    let bytes = [];
    for (let i = 0; i < 32; i++) {
        bytes.push(UInt8.Unsafe.fromField(Gadgets.and(fields[i], k[i], 8)));
    }
    return shaToFr(Bytes32.from(bytes));
}
export function parsePublicInputsProvable(piBytes) {
    const digest = Gadgets.SHA256.hash(piBytes);
    return parseDigestProvable(digest);
}
//# sourceMappingURL=parse_pi.js.map