UNPKG

@nori-zk/proof-conversion

Version:

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

35 lines 2.81 kB
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(14585543372410019003092143328009702539190296007679404836599959939969866838166n), ql_y: FpC.from(17722824277917999366546751581516521560604709882619404516618901119648408567644n), qr_x: FpC.from(10898091116425734967678806357954804971805650318410260176362236603111593070946n), qr_y: FpC.from(2924038286053928979399281209882141482034634465096220233633728805460582456630n), qm_x: FpC.from(2031048125815750610347533979665341648587796766028921135553237592603463331141n), qm_y: FpC.from(8155065622593766679535254109229393197593220466268704577946828046842494239503n), qo_x: FpC.from(5947740093533960953767408143123646997500725355604419790528882338800927905402n), qo_y: FpC.from(16526622583078899807158771486725089129936075882133814996745054899696208585050n), qk_x: FpC.from(119740621302450787001135488439015439349927647665033252743058387575629283276n), qk_y: FpC.from(13024371462468475459400360697703527331499004139216279341600910316411324286861n), qs1_x: FpC.from(10627327753818917257580031743580923447218792977466576262416509126412843282369n), qs1_y: FpC.from(18778204069629010711726992370860512366080746441266922837923685723716465874545n), qs2_x: FpC.from(4133742905916748837494066704724945614644731246453049829981019280272507803398n), qs2_y: FpC.from(6466467061148402844596596206135529025731346998429306278744231736980842648921n), qs3_x: FpC.from(8901602721884560254777014558991324752661207925612502603937647267620946902478n), qs3_y: FpC.from(2765992643976542253368180121378505606157970815510675049234608868732339659772n), coset_shift: FrC.from(5n), qcp_0_x: FpC.from(12771699097177619500468137065083938574724179973377295854993624477225534222388n), qcp_0_y: FpC.from(5757719256900570664017938361173180574878811923841521668906048492539193870622n), index_commit_api_0: FrC.from(32440323n), num_custom_gates: FrC.from(1n), // LAGRANGE FOR CUSTOM GATES PUBLIC INPUTS omega_pow_i: FrC.from(15174808007818640786126860527240098588172000270512845465618945623147856003220n), omega_pow_i_div_n: FrC.from(19836172057011781442486617392326384681342057712180112888849802481636629672885n), }; export { VK }; //# sourceMappingURL=vk_1.0.8.js.map