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(1857909580169511349802659750796971843479875254100869630971241462994601728261n), ql_y: FpC.from(9939759850806356864248111238536739205234573451362715673452883653355711153246n), qr_x: FpC.from(6682611358305124826092418545540029461432487755379853611917824622377793681568n), qr_y: FpC.from(16146922041381506357194904478990761050971992194239724995214701093157406267535n), qm_x: FpC.from(15270607150655824285054831129475047993605012643483198806957835428128518328796n), qm_y: FpC.from(8906362973243319533315777687407111724128929417944634665393917181717423040184n), qo_x: FpC.from(9238170507682156721257970724659753490472678230401730180879150452419856085130n), qo_y: FpC.from(15002448341063781545868877705193346445491658209276170799557947939621037358673n), qk_x: FpC.from(4086391840028422412061902204531573940095106457258494694809601617012281376035n), qk_y: FpC.from(6000044933528001852326622237429126033256712477967937051806041381512720593429n), qs1_x: FpC.from(18063299339199395103121690488363784429622765365901109337915377451812660612109n), qs1_y: FpC.from(2651903669339824861982388949922724224439321134438217364315690905899874053942n), qs2_x: FpC.from(10182215668646701259081683125255467829083669530554379855308469038959443338435n), qs2_y: FpC.from(9795420890085293666907175333011202594919622773371320681596120239068622591079n), qs3_x: FpC.from(11878547998011411033206750795964196348923817193060950180216147593592566658964n), qs3_y: FpC.from(2125473645138965118806391247175500356381463688616823813996167270375899160338n), coset_shift: FrC.from(5n), qcp_0_x: FpC.from(13925008146309787259689624423365656079663403784687986805943581679042369678786n), qcp_0_y: FpC.from(18803925277742447221178851473422295758100099815833023568452434419788190270841n), index_commit_api_0: FrC.from(31810189n), num_custom_gates: FrC.from(1n), // LAGRANGE FOR CUSTOM GATES PUBLIC INPUTS omega_pow_i: FrC.from(648414696646688753315922408874723360678992791250886542287849329654473805523n), omega_pow_i_div_n: FrC.from(11076478899860935048794811439857201231360760356180134656474247767602741787318n), }; export { VK }; //# sourceMappingURL=vk_1.0.1.js.map