Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 16 additions & 16 deletions circuits/deposit/build/Verifier_deposit.sol
Original file line number Diff line number Diff line change
Expand Up @@ -43,22 +43,22 @@ contract PlonkVerifier {
uint16 constant nPublic = 4;
uint16 constant nLagrange = 4;

uint256 constant Qmx = 17920697601252935797582254443085525672169376608711063742905854636177249753645;
uint256 constant Qmy = 9631071464013801814036034988936618326177788235352399951178331175074757259146;
uint256 constant Qlx = 8064159560204549433623063664309733743382605327873857193723755351428059103350;
uint256 constant Qly = 4322934985288228599400916832327419106255594745770049937590035838967659062644;
uint256 constant Qrx = 14062221653134877931638926613601280757018192135009173113875929858208826732647;
uint256 constant Qry = 6873352906721040747413057462744090123980615754996060895363134633331152480619;
uint256 constant Qox = 7178711138410253914578793449849751778378680886226758796963535614153072588271;
uint256 constant Qoy = 17668920180780280422689535622538321357093271567818748464487426915251430079941;
uint256 constant Qcx = 9627731937099932002768287965654491420498954927697984428844774778884048959842;
uint256 constant Qcy = 10911544016594313513150957536634791033742424233503709696268238321015185255203;
uint256 constant S1x = 3301299557035206512436112215730993126235257860273823489745187464920579077803;
uint256 constant S1y = 4496579998638669024541276902432721309237193906605975933718704061106807923348;
uint256 constant S2x = 1905890571449487482090673076348281989980388600540224023693557047863355836956;
uint256 constant S2y = 14545597660884760844148654588686855343196170952788855523825996983744751823855;
uint256 constant S3x = 6512357758261185369140240470902889235022020870367601377583987766832115208999;
uint256 constant S3y = 13159899189195453288599530189842844186828537792102542926848746419229181559558;
uint256 constant Qmx = 13448319859959740775491324719625740199818140150720767077199859544228511951478;
uint256 constant Qmy = 15148222075822896605222667343546912932827483620168237342889921824035695578985;
uint256 constant Qlx = 5176717430041005105469391820989601503882433012136792463710892857241749167068;
uint256 constant Qly = 774147659976748799678725052599508201713340301355412983129407239441677881100;
uint256 constant Qrx = 20742873918674657099045876370697633112432404974296199421311000654054330886901;
uint256 constant Qry = 5830723965658095706854835131631871677471156061848621331772320842474270070293;
uint256 constant Qox = 17720676191393988458780456132177228569023752419458485525982130970385458451620;
uint256 constant Qoy = 11595090817555068502849719825810702863145598922286508009310452088701181118862;
uint256 constant Qcx = 20159815456373007600214254314636059535423662385958457560690068329136686724181;
uint256 constant Qcy = 6944898410624292802211093708021898777453136158717786832405431856426004898530;
uint256 constant S1x = 680106130160584981012331105664193665101847807916321568983293351460263128118;
uint256 constant S1y = 12447900311374079279516419480653869387812295478318461938702923148020300309705;
uint256 constant S2x = 7750679767962509432684068818228618990682734532522541841015338136016686151519;
uint256 constant S2y = 2233596659499875560480114392892331303391230915252455532632108707057089740654;
uint256 constant S3x = 13019162950535119878554601489891194897141401670546966940023373537808971305746;
uint256 constant S3y = 977610213698045720464155827639105868669754517899531916088887269075601546221;
uint256 constant k1 = 2;
uint256 constant k2 = 3;
uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;
Expand Down
Binary file modified circuits/deposit/build/deposit.r1cs
Binary file not shown.
962 changes: 433 additions & 529 deletions circuits/deposit/build/deposit.sym

Large diffs are not rendered by default.

Binary file modified circuits/deposit/build/deposit.zkey
Binary file not shown.
Loading
Loading