Skip to content

Commit

Permalink
assets for release-v0.12.0-rc.2
Browse files Browse the repository at this point in the history
  • Loading branch information
@lispc
lispc committed Jul 12, 2024
1 parent c95d144 commit 0fe7a62
Show file tree
Hide file tree
Showing 15 changed files with 1,574 additions and 0 deletions.
1 change: 1 addition & 0 deletions release-v0.12.0-rc.2/chunk.protocol
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"domain":{"k":25,"n":33554432,"n_inv":[0,0,0,549755813888],"gen":[13338605924273364442,11440449704248451096,16859609365912477452,3421252324365184758],"gen_inv":[2738242980467392064,8765460162850139420,6637814084492473216,1260493707339115276]},"preprocessed":[{"x":[4541478842587617678,7188475718571567728,239378696823010373,179342154257362491],"y":[2102960765482384605,18163083796572731063,17943480866217266774,85103875006328896]},{"x":[1541394190479662465,4562312136952983419,3788241223482253489,1599430736440842275],"y":[3728337320503902975,12483727791400366025,5262755013951840488,2642221915127500133]},{"x":[7101844747244496546,8008120421692633860,6063298771205485124,1386525521981746351],"y":[12199442545790741457,9462570394882845676,8749066902280499976,2127680477462772680]},{"x":[8355531890782583874,18350809629336219547,17455522793157446291,63185263426592802],"y":[2151734486223750160,207439545836131066,4102568562501770087,3363146312916347849]},{"x":[17947816695495615544,8530467689725664673,17724960609693060801,1155576769598010385],"y":[2984829142046772055,17521279544910862013,1952842372135886533,1349611915219994024]},{"x":[17947774933688024860,276594292776566561,3716851716728716817,3029062574279104356],"y":[15196196069009662006,1454190411229663059,18164541604420189369,3400934937572994028]},{"x":[5142763791322143985,8528581729225995736,12791506293512033724,2714155084188219863],"y":[18093543604541917915,14073000898511852041,1365578612964630067,3430975123211179011]}],"num_instance":[44],"num_witness":[1,1,3],"num_challenge":[1,2,1],"evaluations":[{"poly":8,"rotation":0},{"poly":8,"rotation":1},{"poly":8,"rotation":2},{"poly":8,"rotation":3},{"poly":1,"rotation":0},{"poly":0,"rotation":0},{"poly":2,"rotation":0},{"poly":3,"rotation":0},{"poly":12,"rotation":0},{"poly":4,"rotation":0},{"poly":5,"rotation":0},{"poly":6,"rotation":0},{"poly":10,"rotation":0},{"poly":10,"rotation":1},{"poly":11,"rotation":0},{"poly":11,"rotation":1},{"poly":9,"rotation":0}],"queries":[{"poly":8,"rotation":0},{"poly":8,"rotation":1},{"poly":8,"rotation":2},{"poly":8,"rotation":3},{"poly":10,"rotation":0},{"poly":10,"rotation":1},{"poly":11,"rotation":0},{"poly":11,"rotation":1},{"poly":9,"rotation":0},{"poly":1,"rotation":0},{"poly":0,"rotation":0},{"poly":2,"rotation":0},{"poly":3,"rotation":0},{"poly":4,"rotation":0},{"poly":5,"rotation":0},{"poly":6,"rotation":0},{"poly":13,"rotation":0},{"poly":12,"rotation":0}],"quotient":{"num_chunk":4,"chunk_degree":1,"numerator":{"DistributePowers":[[{"Product":[{"Polynomial":{"poly":2,"rotation":0}},{"Sum":[{"Sum":[{"Polynomial":{"poly":8,"rotation":0}},{"Product":[{"Polynomial":{"poly":8,"rotation":1}},{"Polynomial":{"poly":8,"rotation":2}}]}]},{"Negated":{"Polynomial":{"poly":8,"rotation":3}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":10,"rotation":0}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":-7}},{"Sum":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Polynomial":{"poly":10,"rotation":0}}]},{"Negated":{"Polynomial":{"poly":10,"rotation":0}}}]}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-7}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-6}},{"CommonPolynomial":{"Lagrange":-5}}]},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Polynomial":{"poly":10,"rotation":1}},{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":1,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":4,"rotation":0}}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":8,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":5,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":7,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":6,"rotation":0}}]}]},{"Challenge":2}]}]}]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":1,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":8,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[11100302345850292309,5109383341788583484,6450182039226333095,2498166472155664813]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":7,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[11922143911221101039,4762855335879493275,9634852812984583437,2104342265551292894]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":11,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-7}},{"Polynomial":{"poly":11,"rotation":0}}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-7}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-6}},{"CommonPolynomial":{"Lagrange":-5}}]},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Product":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":0,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Product":[{"Polynomial":{"poly":3,"rotation":0}},{"Polynomial":{"poly":8,"rotation":0}}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":11,"rotation":1}},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":0,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Product":[{"Polynomial":{"poly":3,"rotation":0}},{"Polynomial":{"poly":8,"rotation":0}}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]}],{"Challenge":3}]}},"transcript_initial_state":[12347828844076607968,3508860499254401522,14536133996531157714,3126323184451899813],"instance_committing_key":null,"linearization":null,"accumulator_indices":[[[0,0],[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11]]]}
Binary file added release-v0.12.0-rc.2/evm_verifier.bin
View file
Binary file not shown.
Loading

0 comments on commit 0fe7a62

Please sign in to comment.