o1js-email-verify/build/src/bodyHash-regex.js

Implemented using [o1js](https://github.com/o1-labs/o1js), this project is a reimplementation of [zk-email](https://github.com/zkemail/zk-email-verify), leveraging the Mina proving system [Kimchi](https://o1-labs.github.io/proof-systems/specs/kimchi.html#

import { Bool, UInt8 } from 'o1js';
// bh=([a-zA-Z0-9]|\\+|/|=)+;
export function bodyHashRegex(input) {
    const num_bytes = input.length;
    let states = Array.from({ length: num_bytes + 1 }, () => []);
    let state_changed = Array.from({ length: num_bytes }, () => Bool(false));
    states[0][0] = Bool(true);
    for (let i = 1; i < 6; i++) {
        states[0][i] = Bool(false);
    }
    for (let i = 0; i < num_bytes; i++) {
        const lt0 = new UInt8(65).lessThanOrEqual(input[i]);
        const lt1 = input[i].lessThanOrEqual(90);
        const and0 = lt0.and(lt1);
        const lt2 = new UInt8(97).lessThanOrEqual(input[i]);
        const lt3 = input[i].lessThanOrEqual(122);
        const and1 = lt2.and(lt3);
        const eq0 = input[i].value.equals(47);
        const eq1 = input[i].value.equals(48);
        const eq2 = input[i].value.equals(49);
        const eq3 = input[i].value.equals(50);
        const eq4 = input[i].value.equals(51);
        const eq5 = input[i].value.equals(52);
        const eq6 = input[i].value.equals(53);
        const eq7 = input[i].value.equals(54);
        const eq8 = input[i].value.equals(55);
        const eq9 = input[i].value.equals(56);
        const eq10 = input[i].value.equals(57);
        const eq11 = input[i].value.equals(61);
        const eq12 = input[i].value.equals(92);
        let multi_or0 = Bool(false);
        multi_or0 = multi_or0.or(and0);
        multi_or0 = multi_or0.or(and1);
        multi_or0 = multi_or0.or(eq0);
        multi_or0 = multi_or0.or(eq1);
        multi_or0 = multi_or0.or(eq2);
        multi_or0 = multi_or0.or(eq3);
        multi_or0 = multi_or0.or(eq4);
        multi_or0 = multi_or0.or(eq5);
        multi_or0 = multi_or0.or(eq6);
        multi_or0 = multi_or0.or(eq7);
        multi_or0 = multi_or0.or(eq8);
        multi_or0 = multi_or0.or(eq9);
        multi_or0 = multi_or0.or(eq10);
        multi_or0 = multi_or0.or(eq11);
        multi_or0 = multi_or0.or(eq12);
        const and2 = states[i][1].and(multi_or0);
        const and3 = states[i][5].and(multi_or0);
        let multi_or1 = Bool(false);
        multi_or1 = multi_or1.or(and2);
        multi_or1 = multi_or1.or(and3);
        states[i + 1][1] = multi_or1;
        state_changed[i] = state_changed[i].or(states[i + 1][1]);
        const eq13 = input[i].value.equals(98);
        const and4 = states[i][0].and(eq13);
        states[i + 1][2] = and4;
        state_changed[i] = state_changed[i].or(states[i + 1][2]);
        const eq14 = input[i].value.equals(104);
        const and5 = states[i][2].and(eq14);
        states[i + 1][3] = and5;
        state_changed[i] = state_changed[i].or(states[i + 1][3]);
        const eq15 = input[i].value.equals(59);
        const and6 = states[i][1].and(eq15);
        states[i + 1][4] = and6;
        state_changed[i] = state_changed[i].or(states[i + 1][4]);
        const and7 = states[i][3].and(eq11);
        states[i + 1][5] = and7;
        state_changed[i] = state_changed[i].or(states[i + 1][5]);
        states[i + 1][0] = state_changed[i].not();
    }
    let final_state_sum = [];
    final_state_sum[0] = states[0][4].toField();
    for (let i = 1; i <= num_bytes; i++) {
        final_state_sum[i] = final_state_sum[i - 1].add(states[i][4].toField());
    }
    const out = final_state_sum[num_bytes];
    const msg_bytes = num_bytes - 1;
    const is_consecutive = Array.from({ length: num_bytes }, () => []);
    is_consecutive[msg_bytes][1] = Bool(true);
    for (let i = 0; i < msg_bytes; i++) {
        is_consecutive[msg_bytes - 1 - i][0] = states[num_bytes - i][4]
            .and(is_consecutive[msg_bytes - i][1].not())
            .or(is_consecutive[msg_bytes - i][1]);
        is_consecutive[msg_bytes - 1 - i][1] = state_changed[msg_bytes - i].and(is_consecutive[msg_bytes - 1 - i][0]);
    }
    // revealed transitions: [[[5,1],[1,1]]]
    let reveal = [];
    // the 0-th substring transitions: [[5,1],[1,1]]
    const is_reveal0 = [];
    let is_substr0 = Array.from({ length: msg_bytes }, () => []);
    const reveal0 = [];
    for (let i = 0; i < msg_bytes - 1; i++) {
        is_substr0[i][0] = Bool(false);
        is_substr0[i][1] = is_substr0[i][0].or(states[i + 1][5].and(states[i + 2][1]));
        is_substr0[i][2] = is_substr0[i][1].or(states[i + 1][1].and(states[i + 2][1]));
        is_reveal0[i] = is_substr0[i][2].and(is_consecutive[i][1]);
        reveal0[i] = input[i + 1].value.mul(is_reveal0[i].toField());
    }
    reveal.push(reveal0);
    return { out, reveal };
}
//# sourceMappingURL=bodyHash-regex.js.map