Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Redeploy contracts #410

Merged
merged 7 commits into from
Sep 28, 2024
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
120 changes: 60 additions & 60 deletions contracts-domain/contracts/verifiers/namecheap_transfer_verifier.sol
Original file line number Diff line number Diff line change
Expand Up @@ -42,41 +42,41 @@ contract Groth16Verifier {
uint256 constant deltay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
uint256 constant deltay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;


uint256 constant IC0x = 12140764414809439171579073747096628005611143888739021778142114438725209856911;
uint256 constant IC0y = 18380664008722994554410246598515713804368408809139402801410617352473294938101;

uint256 constant IC1x = 16287270730688090110441256630912972881096977102957363147237538512209615075930;
uint256 constant IC1y = 2449016754858987854593324887044687327196932594716827949199487058237499016691;

uint256 constant IC2x = 12290000746054008145532172012836689239677528072347882111559847558608807494030;
uint256 constant IC2y = 14308358318183304542626969831757608989020288980497492892592599563043422576641;

uint256 constant IC3x = 17109205409157997740951972967816433882944148152574672952222919864324056429618;
uint256 constant IC3y = 9961558237149244928391169779496769511791942854258198694890294984589871243856;

uint256 constant IC4x = 12885622983359679040345794541760667584938087103345731492334670493606961282700;
uint256 constant IC4y = 18397333374263242470546340955330845415543534978510188436756186606821028634481;

uint256 constant IC5x = 8251971901226176941314060074725743834337466028961811325874949093602610929902;
uint256 constant IC5y = 16257777857146800480589260332284762827173712873310789777823130626151679328406;

uint256 constant IC6x = 7755902890727928430969631143079950108469618570373249456222008624592630122217;
uint256 constant IC6y = 10757977250154075642155615103618917172698106635999924885067022788329148453826;

uint256 constant IC7x = 9229565613389027758694089669374665969186485724568040364429447974425840672975;
uint256 constant IC7y = 8522685561456236376873601057738356653321521861001626828091657280469196217906;

uint256 constant IC8x = 21276732369738095771663301979590133243106197446584260397744418605720907267683;
uint256 constant IC8y = 7293000518568388677473960035761983204180608786522452828815102825735261508468;

uint256 constant IC9x = 9116173570523657214485637140779662063231707742648921986441734490858993965489;
uint256 constant IC9y = 20125316561678768525824986864877835211109013619593406972323904438419789772526;

uint256 constant IC10x = 14220475398513461434883329515056365002533036699993990374428625877488131891870;
uint256 constant IC10y = 12173247053801606963174627761051371553685163525039542034195810636700588930659;


uint256 constant IC0x = 12718791721466586474772975178991944367361898681403889293050590835735829974174;
uint256 constant IC0y = 6579614210328804738196110281777440845203538387714672921854127346802897741731;
uint256 constant IC1x = 15050971342023334328313633330499885418161248915553086390701402242486225179368;
uint256 constant IC1y = 5024764877577619588829734526990256704181621131776349449360023481477820279987;
uint256 constant IC2x = 7494265978725599958916265753653166549633529129800692658333846839504191651648;
uint256 constant IC2y = 6331829577874431053631060489192183034310045972687441697179743819760334117448;
uint256 constant IC3x = 19001722242244131321371144536562173279385056519981716838131699446018662048085;
uint256 constant IC3y = 8148711952593941450664988855383229951630582602775661040234820121548658879338;
uint256 constant IC4x = 3624352076627862068761560802183636400416483488844158805038644908873200708814;
uint256 constant IC4y = 20894074159790604892251457333772898092352374489464929653588484093719978460605;
uint256 constant IC5x = 2098287694939727519558784139808406325855172668407809961967029546183317335265;
uint256 constant IC5y = 5659241113472526955215440521431168972841548603376846026887752206139550832697;
uint256 constant IC6x = 17054571586962694690567468783102453574497782768524521043534058966826398455175;
uint256 constant IC6y = 4087439525418017845490176926142509334113265173570304433911881676407144081865;
uint256 constant IC7x = 7441928267847731392209447389119131741297268634643246304512516729270550734194;
uint256 constant IC7y = 15714253901405577134617988311525363228461039013850912155558149694323922788327;
uint256 constant IC8x = 11989172231499636764423272601594485978016807201316866170676011918612131765820;
uint256 constant IC8y = 15918479982497737545158513843427772249925445687882255296587424450200131669618;
uint256 constant IC9x = 19827744545534206076315711984525184804508732918768894016552346430789516516368;
uint256 constant IC9y = 16361460611570894490152793347002588479282989223552655286979659973731335376509;
uint256 constant IC10x = 10898965818757221383985300751768263931593441442012024286290119328446015154272;
uint256 constant IC10y = 6989418820395701171656324073128354251482680955655018162117108617053607002569;
// Memory data
uint16 constant pVk = 0;
uint16 constant pPairing = 128;
Expand All @@ -91,7 +91,7 @@ contract Groth16Verifier {
return(0, 0x20)
}
}

// G1 function to multiply a G1 value(x,y) to value in an address
function g1_mulAccC(pR, x, y, s) {
let success
Expand Down Expand Up @@ -126,27 +126,27 @@ contract Groth16Verifier {
mstore(add(_pVk, 32), IC0y)

// Compute the linear combination vk_x

g1_mulAccC(_pVk, IC1x, IC1y, calldataload(add(pubSignals, 0)))

g1_mulAccC(_pVk, IC2x, IC2y, calldataload(add(pubSignals, 32)))

g1_mulAccC(_pVk, IC3x, IC3y, calldataload(add(pubSignals, 64)))

g1_mulAccC(_pVk, IC4x, IC4y, calldataload(add(pubSignals, 96)))

g1_mulAccC(_pVk, IC5x, IC5y, calldataload(add(pubSignals, 128)))

g1_mulAccC(_pVk, IC6x, IC6y, calldataload(add(pubSignals, 160)))

g1_mulAccC(_pVk, IC7x, IC7y, calldataload(add(pubSignals, 192)))

g1_mulAccC(_pVk, IC8x, IC8y, calldataload(add(pubSignals, 224)))

g1_mulAccC(_pVk, IC9x, IC9y, calldataload(add(pubSignals, 256)))

g1_mulAccC(_pVk, IC10x, IC10y, calldataload(add(pubSignals, 288)))


// -A
mstore(_pPairing, calldataload(pA))
Expand Down Expand Up @@ -199,29 +199,29 @@ contract Groth16Verifier {
mstore(0x40, add(pMem, pLastMem))

// Validate that all evaluations ∈ F

checkField(calldataload(add(_pubSignals, 0)))

checkField(calldataload(add(_pubSignals, 32)))

checkField(calldataload(add(_pubSignals, 64)))

checkField(calldataload(add(_pubSignals, 96)))

checkField(calldataload(add(_pubSignals, 128)))

checkField(calldataload(add(_pubSignals, 160)))

checkField(calldataload(add(_pubSignals, 192)))

checkField(calldataload(add(_pubSignals, 224)))

checkField(calldataload(add(_pubSignals, 256)))

checkField(calldataload(add(_pubSignals, 288)))

checkField(calldataload(add(_pubSignals, 320)))


// Validate all evaluations
let isValid := checkPairing(_pA, _pB, _pC, _pubSignals, pMem)
Expand All @@ -230,4 +230,4 @@ contract Groth16Verifier {
return(0, 0x20)
}
}
}
}
1 change: 1 addition & 0 deletions contracts-domain/deployments/base/.chainId
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
8453
142 changes: 142 additions & 0 deletions contracts-domain/deployments/base/ClaimVerifier.json

Large diffs are not rendered by default.

Loading
Loading