@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
35 lines • 2.81 kB
JavaScript
import { FpC, FrC } from '../towers/index.js';
const VK = {
pub_inputs: FrC.from(2n),
domain_size: [1].concat(Array(26).fill(0)), // 67108864 = 2^26,
inv_domain_size: FrC.from(21888242545679039938882419398440172875981108180010270949818755658014750055173n),
g1_gen_x: FpC.from(14312776538779914388377568895031746459131577658076416373430523308756343304251n),
g1_gen_y: FpC.from(11763105256161367503191792604679297387056316997144156930871823008787082098465n),
omega: FrC.from(7419588552507395652481651088034484897579724952953562618697845598160172257810n),
ql_x: FpC.from(11453021816558077199587453448133554449717227349905110102377551937287065432844n),
ql_y: FpC.from(9109454861639227276420512127158153200309304123653914732354951393328030738490n),
qr_x: FpC.from(7821644493905086061243882786350714717685134318611500828127397521557784035499n),
qr_y: FpC.from(13041052004552404684631357942397749930688211338192136370697682907414153685909n),
qm_x: FpC.from(1736617282271757071221168350710970296482875652045937117438551712909537507658n),
qm_y: FpC.from(5345542319716290612762422434959528912635502292626234402933058385633964347549n),
qo_x: FpC.from(18014979952384567403919168968189231706227326297377482789091451813310066870667n),
qo_y: FpC.from(3708432301267678677786506706811217632085917639583680393547668223045541307479n),
qk_x: FpC.from(865219285821188524465935330081001805464204673171276609279513133008346933102n),
qk_y: FpC.from(18703726972600526633323567676728586120328686581664702366183492539017488518098n),
qs1_x: FpC.from(15838704022916757697514152719576664453825928657894015885754578605399919756856n),
qs1_y: FpC.from(13387218978462600937448147418911963779105027838559913842027032523066810277894n),
qs2_x: FpC.from(8305448485555792443785892674312793099639480632975263652331649209215498687903n),
qs2_y: FpC.from(10616560339600329516818280331708877801874279040952666458845297443257568678018n),
qs3_x: FpC.from(5758551426093048145915996102270540307839916135212724540929869593580613639236n),
qs3_y: FpC.from(8329248325292414275499503861965434456596681093250791731115342865906364573529n),
coset_shift: FrC.from(5n),
qcp_0_x: FpC.from(17635741098095958263934242315624493230424349111255370147390685295718328991108n),
qcp_0_y: FpC.from(2694645204534071204078571296638854522310743386863537396039207026993856963119n),
index_commit_api_0: FrC.from(28657845n),
num_custom_gates: FrC.from(1n),
// LAGRANGE FOR CUSTOM GATES PUBLIC INPUTS
omega_pow_i: FrC.from(20851657076871152154652997671243282328863683580458794315692937248207821198598n),
omega_pow_i_div_n: FrC.from(17830536533350963034362710153181430138248154761837449025764773462980574339885n),
};
export { VK };
//# sourceMappingURL=vk_1.0.5.js.map