@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
77 lines (76 loc) • 4.25 kB
JSON
{
"alpha": {
"x": "20491192805390485299153009773594534940189261866228447918068658471970481763042",
"y": "9383485363053290200918347156157836566562967994039712273449902621266178545958"
},
"alpha_beta": {
"g00": "5697245924082314955838557878331368209814247075300951521701254589084804234970",
"g01": "6607404321972637550020783611836551818248636342709305900123466355480118576099",
"g10": "3670608949875518863244021916950733644062078743044974108285053440592297066931",
"g11": "541250262476899488042926921352922562849943764605667374596011538907110731629",
"g20": "18124534578366443052930374136100844352060568779165176942539622400742155990163",
"g21": "254425962675264208268606525222145870537081446419126819669512313449894617711",
"h00": "14682601387374107597061811864806746474418747695496995459538035046909465405682",
"h01": "380626998809465124537308088395106769155276843034064955773603619257287977827",
"h10": "20937581287674855219025710764445572864809573889072173538957685817558553170744",
"h11": "1875554049818610060118039934136718085309900630088668968527777353177281637676",
"h20": "10677133934211244973062689418678002923080465282453292613142034282094753864563",
"h21": "5217526782465309563115572197406844083015292505138779767346232600336410380272"
},
"beta": {
"x_c0": "6375614351688725206403948262868962793625744043794305715222011528459656738731",
"x_c1": "4252822878758300859123897981450591353533073413197771768651442665752259397132",
"y_c0": "10505242626370262277552901082094356697409835680220590971873171140371331206856",
"y_c1": "21847035105528745403288232691147584728191162732299865338377159692350059136679"
},
"delta": {
"x_c0": "12043754404802191763554326994664886008979042643626290185762540825416902247219",
"x_c1": "1668323501672964604911431804142266013250380587483576094566949227275849579036",
"y_c0": "13740680757317479711909903993315946540841369848973133181051452051592786724563",
"y_c1": "7710631539206257456743780535472368339139328733484942210876916214502466455394"
},
"gamma": {
"x_c0": "10857046999023057135944570762232829481370756359578518086990519993285655852781",
"x_c1": "11559732032986387107991004021392285783925812861821192530917403151452391805634",
"y_c0": "8495653923123431417604973247489272438418190587263600148770280649306958101930",
"y_c1": "4082367875863433681332203403145435568316851327593401208105741076214120093531"
},
"ic0": {
"x": "8446592859352799428420270221449902464741693648963397251242447530457567083492",
"y": "1064796367193003797175961162477173481551615790032213185848276823815288302804"
},
"ic1": {
"x": "3179835575189816632597428042194253779818690147323192973511715175294048485951",
"y": "20895841676865356752879376687052266198216014795822152491318012491767775979074"
},
"ic2": {
"x": "5332723250224941161709478398807683311971555792614491788690328996478511465287",
"y": "21199491073419440416471372042641226693637837098357067793586556692319371762571"
},
"ic3": {
"x": "12457994489566736295787256452575216703923664299075106359829199968023158780583",
"y": "19706766271952591897761291684837117091856807401404423804318744964752784280790"
},
"ic4": {
"x": "19617808913178163826953378459323299110911217259216006187355745713323154132237",
"y": "21663537384585072695701846972542344484111393047775983928357046779215877070466"
},
"ic5": {
"x": "6834578911681792552110317589222010969491336870276623105249474534788043166867",
"y": "15060583660288623605191393599883223885678013570733629274538391874953353488393"
},
"w27": {
"g00": "0",
"g01": "0",
"g10": "0",
"g11": "0",
"g20": "8204864362109909869166472767738877274689483185363591877943943203703805152849",
"g21": "17912368812864921115467448876996876278487602260484145953989158612875588124088",
"h00": "0",
"h01": "0",
"h10": "0",
"h11": "0",
"h20": "0",
"h21": "0"
}
}