@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(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