UNPKG

@nori-zk/proof-conversion

Version:

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

32 lines (31 loc) 2.42 kB
{ "nb_public_inputs": 5, "domain_size": 33554432, "inv_domain_size": "21888242219518804655518433051623070663413851959604507555939307129453691614729", "omega": "19200870435978225707111062059747084165650991997241425080699860725083300967194", "coset_shift": "5", "g1_gen_x": "14312776538779914388377568895031746459131577658076416373430523308756343304251", "g1_gen_y": "11763105256161367503191792604679297387056316997144156930871823008787082098465", "ql_x": "10936403877113400171814029258586094421105837069937643866695822256928377913968", "ql_y": "17311182666118490454430265150735546359745608671115556843788944971563039300016", "qr_x": "16032802090162682725903814972017385562886704406468141346968145983310475511911", "qr_y": "16803777488545011133374943287703653910096989118082992957503857327508542673114", "qm_x": "7041740842251303753059524333065028234525995021747993588573234611770565484750", "qm_y": "7756772573841616356086078220846315947185632323121180681135487008638788536094", "qo_x": "8807113593766821411972572357967651651345992430818514862534237402324085851875", "qo_y": "9827115302746495531711628100661677137543191000457083504235238115987266270156", "qk_x": "4659055902458442531441402775737578699425178194825095727614170820825642511722", "qk_y": "2854792741677890224744936867769988448466277171603338196705997958237726289995", "qs1_x": "9956956733383539527828528704346982954811130189972564286856709656590492390783", "qs1_y": "16561941243254960602343726886092320314575403533969071986056337989120686189882", "qs2_x": "20374741449540543556499660179263983188390530543434373332462519860014413516289", "qs2_y": "8513455195626237033487485922347652175901063415320070186421575800344119284165", "qs3_x": "17142227368091895742859950676182428277541451282467607716193503860042663502549", "qs3_y": "12829174888268721439052436070745892278566825005271705420525175951948128646413", "qcp_0_x": "8032592088052402119252717716570843753829708920203926363246235929861264130729", "qcp_0_y": "13824231045893282984607165590437904083147145250603202024200081150405773221988", "index_commit_api_0": 25298720, "num_custom_gates": 1, "omega_pow_i": "18862064648020129001540078657843770234631467637419897871530333995213793706286", "omega_pow_i_div_n": "8090330833803530612190506240885765933994389462294753072848906140299534512714" }