@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
22 lines (21 loc) • 1.12 kB
JSON
{
"negA": {
"x": "16465199099708604290698553000024942000051030364759839088954586362243760185403",
"y": "17690359568564825813235988832215237195831246832056909949821693820324615702030"
},
"B": {
"x_c0": "20076621026680381759767634077167710158570125456580059736389163589252903861997",
"x_c1": "8939596936503745624468413156089285325774309438533412822132357238045755689387",
"y_c0": "111879341840300391556371653123940615424189534247854096298516707026393487948",
"y_c1": "7719123513247232282802073769919057076444760653726977674407327771459600820251"
},
"C": {
"x": "10184405014965771627427034456113644883671783030647002464387923536809721376302",
"y": "3331725942843591742687069662771052794291623321043694393039994836222102831251"
},
"pi1": "19350802088444617183621339156085479077",
"pi2": "61803236023146647725736150410140474743",
"pi3": "224573707671822082550326687066026912541",
"pi4": "215629468736039306773365103130456808007",
"pi5": "6655704183316983190945468237220041514376883004657559498672647785620383118673"
}