mirror of
https://github.com/zkemail/zk-email-verify.git
synced 2026-01-10 14:08:19 -05:00
Merge pull request #26 from zk-email-verify/solidity
[WIP] Twitter verification in Solidity
This commit is contained in:
Yush G
1
.gitignore
vendored
1
.gitignore
vendored
@@ -65,3 +65,4 @@ generate_input_log.txt
|
||||
*email_proof.json
|
||||
*aayush_constants.ts
|
||||
*.debug
|
||||
*.env
|
||||
|
||||
78
dizkus-scripts/3_gen_both_zkeys.sh
Normal file
78
dizkus-scripts/3_gen_both_zkeys.sh
Normal file
@@ -0,0 +1,78 @@
|
||||
#!/bin/bash
|
||||
# Tries to generate a chunked and non-chunked zkey
|
||||
# You need to set entropy.env for this to work
|
||||
|
||||
CIRCUIT_NAME=email
|
||||
BUILD_DIR="../build/$CIRCUIT_NAME"
|
||||
R1CS_FILE="$BUILD_DIR/$CIRCUIT_NAME.r1cs"
|
||||
PARTIAL_ZKEYS="$BUILD_DIR"/partial_zkeys
|
||||
PHASE1=../circuits/powersOfTau28_hez_final_22.ptau
|
||||
source entropy.env
|
||||
|
||||
if [ ! -d "$BUILD_DIR"/partial_zkeys ]; then
|
||||
echo "No partial_zkeys directory found. Creating partial_zkeys directory..."
|
||||
mkdir -p "$BUILD_DIR"/partial_zkeys
|
||||
fi
|
||||
|
||||
# First, chunked snarkjs
|
||||
yarn remove snarkjs
|
||||
yarn add snarkjs@git+https://github.com/vb7401/snarkjs.git#24981febe8826b6ab76ae4d76cf7f9142919d2b8
|
||||
|
||||
echo "****GENERATING ZKEY 0****"
|
||||
start=$(date +%s)
|
||||
set -x
|
||||
NODE_OPTIONS='--max-old-space-size=56000' node ../node_modules/.bin/snarkjs groth16 setup "$R1CS_FILE" "$PHASE1" "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_0.zkey -e $ENTROPY1
|
||||
{ set +x; } 2>/dev/null
|
||||
end=$(date +%s)
|
||||
echo "DONE ($((end - start))s)"
|
||||
echo
|
||||
|
||||
echo "****GENERATING ZKEY 1****"
|
||||
start=$(date +%s)
|
||||
set -x
|
||||
NODE_OPTIONS='--max-old-space-size=56000' node ../node_modules/.bin/snarkjs zkey contribute "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_0.zkey "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_1.zkey --name="1st Contributor Name" -v $ENTROPY2
|
||||
{ set +x; } 2>/dev/null
|
||||
end=$(date +%s)
|
||||
echo "DONE ($((end - start))s)"
|
||||
echo
|
||||
|
||||
echo "****GENERATING FINAL ZKEY****"
|
||||
start=$(date +%s)
|
||||
set -x
|
||||
# hashlib.sha256(b"sampritiaayush").hexdigest().upper()
|
||||
NODE_OPTIONS='--max-old-space-size=56000' node ../node_modules/.bin/snarkjs zkey beacon "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_1.zkey "$BUILD_DIR"/"$CIRCUIT_NAME".zkey AFAE5390CE7790A5EFA03DD74189A4C56DDA1AB8D3D322142C4AE3A14858D6E0 10 -n="Final Beacon phase2"
|
||||
{ set +x; } 2>/dev/null
|
||||
end=$(date +%s)
|
||||
echo "DONE ($((end - start))s)"
|
||||
echo
|
||||
|
||||
# Then, nonchunked snarkjs
|
||||
yarn remove snarkjs
|
||||
yarn add snarkjs@latest
|
||||
|
||||
echo "****GENERATING ZKEY NONCHUNKED 0****"
|
||||
start=$(date +%s)
|
||||
set -x
|
||||
NODE_OPTIONS='--max-old-space-size=56000' node ../node_modules/.bin/snarkjs groth16 setup "$R1CS_FILE" "$PHASE1" "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_0.zkey -e $ENTROPY1
|
||||
{ set +x; } 2>/dev/null
|
||||
end=$(date +%s)
|
||||
echo "DONE ($((end - start))s)"
|
||||
echo
|
||||
|
||||
echo "****GENERATING ZKEY NONCHUNKED 1****"
|
||||
start=$(date +%s)
|
||||
set -x
|
||||
NODE_OPTIONS='--max-old-space-size=56000' node ../node_modules/.bin/snarkjs zkey contribute "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_0.zkey "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_1.zkey --name="1st Contributor Name" -v -e $ENTROPY2
|
||||
{ set +x; } 2>/dev/null
|
||||
end=$(date +%s)
|
||||
echo "DONE ($((end - start))s)"
|
||||
echo
|
||||
|
||||
echo "****GENERATING ZKEY NONCHUNKED FINAL****"
|
||||
start=$(date +%s)
|
||||
set -x
|
||||
NODE_OPTIONS='--max-old-space-size=56000' node ../node_modules/.bin/snarkjs zkey beacon "$PARTIAL_ZKEYS"/"$CIRCUIT_NAME"_1.zkey "$BUILD_DIR"/"$CIRCUIT_NAME"_nonchunked.zkey AFAE5390CE7790A5EFA03DD74189A4C56DDA1AB8D3D322142C4AE3A14858D6E0 10 -n="Final Beacon phase2"
|
||||
{ set +x; } 2>/dev/null
|
||||
end=$(date +%s)
|
||||
echo "DONE ($((end - start))s)"
|
||||
echo
|
||||
2
dizkus-scripts/entropy.env.example
Normal file
2
dizkus-scripts/entropy.env.example
Normal file
@@ -0,0 +1,2 @@
|
||||
ENTROPY1=
|
||||
ENTROPY2=
|
||||
@@ -8,9 +8,9 @@ s3 = boto3.client('s3') # Ask Aayush for the access key and secret access key
|
||||
|
||||
# Set the name of the remote directory and the AWS bucket
|
||||
source = '~/Documents/projects/zk-email-verify'
|
||||
source = '~/zk-email-verify-old'
|
||||
zkey_dir = source + '/build/email/'
|
||||
wasm_dir = source + '/build/email/email_js/'
|
||||
source = '.'
|
||||
zkey_dir = source + '/chunked_build/email/'
|
||||
wasm_dir = source + '/chunked_build/email/email_js/'
|
||||
bucket_name = 'zkemail-zkey-chunks' # us-east-1
|
||||
|
||||
|
||||
@@ -19,7 +19,7 @@ def upload_to_s3(filename, dir=""):
|
||||
print("Starting upload...")
|
||||
s3.upload_fileobj(file, bucket_name, filename, ExtraArgs={
|
||||
'ACL': 'public-read', 'ContentType': 'binary/octet-stream'})
|
||||
print("Done uploading!")
|
||||
print("Done uploading ", filename, "!")
|
||||
|
||||
|
||||
# Loop through the files in the remote directory
|
||||
@@ -27,7 +27,7 @@ for dir in [zkey_dir, wasm_dir]:
|
||||
for file in os.listdir(dir):
|
||||
# Check if the file matches the pattern
|
||||
if file.startswith('email.zkey'):
|
||||
# upload_to_s3(file, dir) # Uncompressed file
|
||||
upload_to_s3(file, dir) # Uncompressed file
|
||||
|
||||
# Create a zip file for the file
|
||||
tar_file_name = file + '.tar.gz'
|
||||
|
||||
@@ -1,904 +1,61 @@
|
||||
{
|
||||
"protocol": "groth16",
|
||||
"curve": "bn128",
|
||||
"nPublic": 163,
|
||||
"vk_alpha_1": [
|
||||
"20491192805390485299153009773594534940189261866228447918068658471970481763042",
|
||||
"9383485363053290200918347156157836566562967994039712273449902621266178545958",
|
||||
"1"
|
||||
],
|
||||
"vk_beta_2": [
|
||||
[
|
||||
"6375614351688725206403948262868962793625744043794305715222011528459656738731",
|
||||
"4252822878758300859123897981450591353533073413197771768651442665752259397132"
|
||||
"protocol": "groth16",
|
||||
"curve": "bn128",
|
||||
"nPublic": 21,
|
||||
"vk_alpha_1": [
|
||||
"20491192805390485299153009773594534940189261866228447918068658471970481763042",
|
||||
"9383485363053290200918347156157836566562967994039712273449902621266178545958",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10505242626370262277552901082094356697409835680220590971873171140371331206856",
|
||||
"21847035105528745403288232691147584728191162732299865338377159692350059136679"
|
||||
"vk_beta_2": [
|
||||
["6375614351688725206403948262868962793625744043794305715222011528459656738731", "4252822878758300859123897981450591353533073413197771768651442665752259397132"],
|
||||
["10505242626370262277552901082094356697409835680220590971873171140371331206856", "21847035105528745403288232691147584728191162732299865338377159692350059136679"],
|
||||
["1", "0"]
|
||||
],
|
||||
[
|
||||
"1",
|
||||
"0"
|
||||
"vk_gamma_2": [
|
||||
["10857046999023057135944570762232829481370756359578518086990519993285655852781", "11559732032986387107991004021392285783925812861821192530917403151452391805634"],
|
||||
["8495653923123431417604973247489272438418190587263600148770280649306958101930", "4082367875863433681332203403145435568316851327593401208105741076214120093531"],
|
||||
["1", "0"]
|
||||
],
|
||||
"vk_delta_2": [
|
||||
["20536448868052571171670766235318232115848913256594482835722646387022981948632", "6000163699235006893443306275332042954252661854661784159693946044989377098783"],
|
||||
["4516015772111037944187264821240366560810172943735882088874881139630185981871", "19144212726952098782633973455530756687939147201049764436425855017202088293155"],
|
||||
["1", "0"]
|
||||
],
|
||||
"vk_alphabeta_12": [
|
||||
[
|
||||
["2029413683389138792403550203267699914886160938906632433982220835551125967885", "21072700047562757817161031222997517981543347628379360635925549008442030252106"],
|
||||
["5940354580057074848093997050200682056184807770593307860589430076672439820312", "12156638873931618554171829126792193045421052652279363021382169897324752428276"],
|
||||
["7898200236362823042373859371574133993780991612861777490112507062703164551277", "7074218545237549455313236346927434013100842096812539264420499035217050630853"]
|
||||
],
|
||||
[
|
||||
["7077479683546002997211712695946002074877511277312570035766170199895071832130", "10093483419865920389913245021038182291233451549023025229112148274109565435465"],
|
||||
["4595479056700221319381530156280926371456704509942304414423590385166031118820", "19831328484489333784475432780421641293929726139240675179672856274388269393268"],
|
||||
["11934129596455521040620786944827826205713621633706285934057045369193958244500", "8037395052364110730298837004334506829870972346962140206007064471173334027475"]
|
||||
]
|
||||
],
|
||||
"IC": [
|
||||
["12994226918873589184973686928509303296560829040421679966554788871610722975666", "19546003293245789033051514407489605917742869051853168678675952551588673264059", "1"],
|
||||
["12803481875393106746548008498445134277525885425145232429904868659552497497795", "14694537564331845125620823836332201159223992527131190273671921404972056438350", "1"],
|
||||
["12896526600976836570191398155392714054965141616837004359997046349335306162721", "19989434935534803930041038636337516057507187085720073704180685028185491943059", "1"],
|
||||
["1316318882292921074427417498918167024758763552548146498412670277806150908690", "4496675464734154714119497950957313125247358066733690814270807794291803734246", "1"],
|
||||
["6095412520421880843686410733562452820125095067123376214642702693632219147919", "18805124981571223044033930919909367820198635605339887372165893879595885917681", "1"],
|
||||
["2491592648113503772389081945290063076975598019801589629533440501442845841156", "13391234389463383825331371383043116227852107840306198632599020502591729622484", "1"],
|
||||
["6195983279938368142523765739331129953873741365958978404100950251126336420619", "15255523481575331608052032202923784309897551868856977174561927351542766503103", "1"],
|
||||
["11364908849898553727983936508468303936453241846181145049706378426559053436737", "12272143028059829557388953943471298784072389097212881142482116493849228345944", "1"],
|
||||
["7999645601849353569331229788079982131126962928370124718709121582700741706743", "2344057992213881398120960053462701488822252700578864159913460281949725551948", "1"],
|
||||
["16032444542449207733074464012443666729463280555253921300321226108727384337838", "15550284302068130534143630938965558367339743479932980144836777854141162045599", "1"],
|
||||
["14746811931688438261460396174433278363575571145186986664727520211845005639214", "12430585284621277256717932006846197725061776365493376477691372628343500830841", "1"],
|
||||
["9665472323900251212386389887072355571286254407686859980386007760322469415859", "14996755965687753932946931756264151392152419779360225521200890974252292420412", "1"],
|
||||
["108004501448464767377877268616442057348817885652988877682944326307051832181", "14352072319589824562053349181969574390668378410837840879062264124706247340441", "1"],
|
||||
["8241644122136047663973273182299008352335433437918941847881738731207527978408", "13326634974373964259912482627512460794400032234388182531625125624431239351434", "1"],
|
||||
["19079198509719557568724303856873450227277338931054655042976782137976461081455", "20099741154760778542873760951130722650539994221026926650223788312866275905057", "1"],
|
||||
["12776213961119493875955017544545281842733223900358858158966892223397818263003", "13049175944477161115063479837952228706325305696565228051297866932929773226361", "1"],
|
||||
["3677175527878880765823827286256329959476800348470829607774669755005589328592", "5960302772589853676080934160184945132281885414289323557538680756680173217763", "1"],
|
||||
["3845518388361833739355416292477732378976881884807825706781410508823338000844", "14643485171032551307429410040201611507475314617619869031588843852404758800222", "1"],
|
||||
["12781800159969915448548725085816037348380685059680464559080293032138144200069", "8293835978235721621083584748448494414574099111793175131815478014921624321923", "1"],
|
||||
["2679784852932993701185917737851208220646508350009220493871893673616712782876", "2455480317203964036392487392172013165313334147345673527798783221956163967174", "1"],
|
||||
["4240406231108001399618612059193031408047888754255460798137984403589376061488", "9804154717486719329041740755091695338827486645577286903421673068934216499944", "1"],
|
||||
["12028012375636649231431542422094056328652150783328682821491835725444465403330", "330627474571770559729829431278328850519463731324979004581250682428211832702", "1"]
|
||||
]
|
||||
],
|
||||
"vk_gamma_2": [
|
||||
[
|
||||
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
|
||||
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
|
||||
],
|
||||
[
|
||||
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
|
||||
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
|
||||
],
|
||||
[
|
||||
"1",
|
||||
"0"
|
||||
]
|
||||
],
|
||||
"vk_delta_2": [
|
||||
[
|
||||
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
|
||||
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
|
||||
],
|
||||
[
|
||||
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
|
||||
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
|
||||
],
|
||||
[
|
||||
"1",
|
||||
"0"
|
||||
]
|
||||
],
|
||||
"vk_alphabeta_12": [
|
||||
[
|
||||
[
|
||||
"2029413683389138792403550203267699914886160938906632433982220835551125967885",
|
||||
"21072700047562757817161031222997517981543347628379360635925549008442030252106"
|
||||
],
|
||||
[
|
||||
"5940354580057074848093997050200682056184807770593307860589430076672439820312",
|
||||
"12156638873931618554171829126792193045421052652279363021382169897324752428276"
|
||||
],
|
||||
[
|
||||
"7898200236362823042373859371574133993780991612861777490112507062703164551277",
|
||||
"7074218545237549455313236346927434013100842096812539264420499035217050630853"
|
||||
]
|
||||
],
|
||||
[
|
||||
[
|
||||
"7077479683546002997211712695946002074877511277312570035766170199895071832130",
|
||||
"10093483419865920389913245021038182291233451549023025229112148274109565435465"
|
||||
],
|
||||
[
|
||||
"4595479056700221319381530156280926371456704509942304414423590385166031118820",
|
||||
"19831328484489333784475432780421641293929726139240675179672856274388269393268"
|
||||
],
|
||||
[
|
||||
"11934129596455521040620786944827826205713621633706285934057045369193958244500",
|
||||
"8037395052364110730298837004334506829870972346962140206007064471173334027475"
|
||||
]
|
||||
]
|
||||
],
|
||||
"IC": [
|
||||
[
|
||||
"7361039788680278974306468859544575736117812533994001848700170521533385342584",
|
||||
"21498365784261902094100637591940731467764601777990104315809170800272010260582",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8793238538281177884741806188908678159930054395332624313808764877539272002762",
|
||||
"19629674057328825900375065522377970043637085891250636571232428318498685983300",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"12942487649689518674396361900015725022128992070675209238888497342008446360815",
|
||||
"17017400045821896303364197961217735704195237562550884370691459618061340047569",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"14404050225338243791135722771447666300914845822924806262281258117856701798449",
|
||||
"3897055008078577240307097688729043150888568176640829635840166453477565809547",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"1242590839274103275043667658405865914651956957774325543806143705224776204995",
|
||||
"16146463719440440941692729532948565455443952231483155650647171942225957122633",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13959454109730435445144072329419216732996041836898435674821311806659450697894",
|
||||
"6791985184892223652807998659341711278641538148649909800859934522077493314081",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"6890356791447351298206489283212922006502452017578235898061852285898464050761",
|
||||
"15139962639561747039391799259101445612410916394829193770620411941019255370816",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"2859574009890351441161963249016780465375493658604540699846566646104951433845",
|
||||
"17988882730686931143947291891200615910141841927546086590201520428410960549385",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"12164335529319885743492289250509677311494857724379294072757537793219696105939",
|
||||
"12013635561110140843335407210670056059085265475618314134404868092445685661310",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"5310596642891875950464525765336210147455523719937061951237097978609709991507",
|
||||
"16835586317336539448527938549464179163179735556600990564670971903040842669893",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"2685320908619481562908320555356477189778205210197422061119756381885050928933",
|
||||
"12073916435074473591726308148450447944349829305665565489333759273969120278351",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10258494049103427052671171386992944156925650873849823318982388111306068053134",
|
||||
"10428494598874119359465972385214715648645621137266593467227235988420636076706",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8072070572552747968450230389479666015032273036724446250296013490675343368419",
|
||||
"6725435550851705092718353311815290411333132415705542692428853857211741488925",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3656102990577221135947750817395046781175649872721862349132458795606754682044",
|
||||
"18498532484246143727638706183444110544605900155627714904461961305096220458528",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3461946660048615945911694634195500791501404548034059910554076854029640484273",
|
||||
"9306991710583444033983343804685655191132485993554943767159054590196128372726",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18954403614721160859564214992133784334774616377999607293341771405049353887850",
|
||||
"21387516368171296171606462867556898405162407438776312073533893512519735054770",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8588196211086062986202788267273992114335032991904006059227613987558291758345",
|
||||
"2795751722493022711978765448408222560830976625403157411712430910498826116355",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3661222374639271627925896187034463000424626112212560026441900858024787903608",
|
||||
"14241203229169311517317394243534721911083688939107524386863300312732541329411",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11266204447165906851784551695754162238918678130646051500248350738486500962474",
|
||||
"13355710561037446493876553957222916500594242564391631292980728246272956906371",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8595306477779913246837625843641082479415769753775560952223146110774517680361",
|
||||
"14972081198342447297321161668695098899612068584195317311492962712137976703037",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"9568839249468794810437940872613355816256590462623574088341149748387313483223",
|
||||
"18707920839704543441126538832912347852331128004328773717348845349019247701935",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"150232609771670206102684156173581491333241271105760188034710390261242828398",
|
||||
"15468322719349181036889984503824264878939850047796050817132442344708001780055",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13676315332884998115166724314999540845457167461458769272311768289984483767025",
|
||||
"11519430976937683178338607206641461837093093567370312108392416497414181645934",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11986433079883628847798851344069734962166558241941801272318247912585947507302",
|
||||
"17072538139357254484843512322412088958137216473294740194676360776580816970580",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"415545850884392054356024025982352490386325162113839446982019595867417320657",
|
||||
"3439070194539698258164905090173760458823586048868127647758337571120948923140",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"9825396183257284956890903836701604993089128288005824315450430210975773849851",
|
||||
"8358244143337164167389993836437865601896625071607035990996592798566912239498",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"16359667723756459966444626296412345446824125404284174435463817818678120088600",
|
||||
"19830257525457707500430695685301930840362925825197464585925072681162183352653",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10196623418292502146496012794224906391447768002170049834749810742472038128920",
|
||||
"307831319875952467416279122292413478030925172528587009722315125742750120580",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8500166319813892515370762576356966125082793981421766243380063153027784605427",
|
||||
"19874726153313921909465036446621778485456712792637256830665388608778559692918",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17007736697814648412688586691180122914382580676308789188463908186938582149977",
|
||||
"9458717465792440738818049738487400169505460038932789160213125108957949792385",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13904256545349070340368144601065668382150382809942628190608939510254602743753",
|
||||
"15018610136474166066782776773655656907326226490035115079972555437721680010801",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18102654604303502890464618110796986949540077622856986919661374793909123171930",
|
||||
"13086697137689672236033062753719979467817676885965116433180832671570828885412",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4960071292403550812436548956789985560002098400408389151521909292877901845888",
|
||||
"17903536445325940498959264941941658677491865660118102213791278244353552803008",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"14884054182310925432417322876087191528341800269582278216590501427813850122745",
|
||||
"16135492796324679316389783879516373478437334581944210344870197952542814290481",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"16045124129633056564957506095105519855078082311681316965829970437013899047652",
|
||||
"10749337699960527888735245269089328954653908700558301224264947036490654061151",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18039321089609069880728145605402729412863502266438541048246094384486972471879",
|
||||
"5381368613508898487697601785708726196194500214558132362253884709666223303952",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17672174921143456411693324106942407998563017001451604061299096239881815113581",
|
||||
"2799197378607625518641325916305062146414574028336235422194902757612827804112",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"590586646018538982077479709172734553781000947198000826128261374652462675197",
|
||||
"19683940704902902406080579128916584550214724743536451138006355191375599544975",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11654969466199878789543332589185306607385307703703656809767882363356369926632",
|
||||
"6024249715837695878270496093477148487942599239441104745846045777462014772713",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"12295861118765532489710772878688175797431369670348506828275876895570617017338",
|
||||
"21041710098029304721110756697347621296304675537714276501338575165278879537351",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13984674732956738578648159014945383673409870869764395388657474355550734672648",
|
||||
"9770303040440578538538885654509845043076510205642449526625065663356318442009",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4133441053477678164236924834442918151523514959115671726500190140471982120784",
|
||||
"16420604209012509582152401957134602954943419189699488708054572535297746938246",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"16807401163153500425541366933520216669337971110427537801720267333367364578369",
|
||||
"20279461717485654541132062704667913718881088927703458991793340338323901404522",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10978449567024046510983697662083447826703432099750999150372494918446293608317",
|
||||
"15795657222935295886021982591799828820278496681390773033040652433418937109572",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"970752108055134370241578139859414156095825433160395065398000975896037896831",
|
||||
"15125029112708289569589936654170340908666803922730411817865980863372138764995",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"14788755421662636467335576969548219183861394241307115642798680640215115782247",
|
||||
"3032839352433114982333782542487560885906821083692401424144188719412135418079",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"7890057454757165183773010089992331345827107152935286317117747743682044434702",
|
||||
"15716520652553719881926004320629927310773752420430203424500666864845264619629",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10227988453281715574352344099984574069482560260014410799122587990822725135700",
|
||||
"12508850476717919003700258198409183457523858826686864672150459621217565947384",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17081442719716036373709662248662343405953190409330361658291219919672779467403",
|
||||
"7996233947675362091811641270919138339259413345423347560648201331280051095754",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10799768932651318393578824047336254476227913949876866658324773375826068841697",
|
||||
"20018459465865788237835381986745494575317254250463191491460770997021609855577",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17628363420424254714694598156556758653919012301021227909993711467181937908583",
|
||||
"10443667772620286092338279780273268791391935115154807790450740817129848130173",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8150951515708330135383729292240080365651058873910051287158625246559026211159",
|
||||
"2690493967482493754778611868314749025970676228040147563697119989154776232877",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13602653267462049800407255114523326297980396889419841092682645936219540157870",
|
||||
"5831860500312365406298711303412889116079271368850680409421695969064569977121",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8577384143800883032968710051521207919429310925775773871471303554559851674076",
|
||||
"1991127322776594181400296821578876767239805105595690009811841747977359498835",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11154695217455956742786727554421087627436231604492377526776789443754131167001",
|
||||
"12503129584083827073086769213501286613556081136808880859966476296289472581759",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"20354649066245714983262467108899783590037071112247627020865885424668707742756",
|
||||
"10952839111333777259310625126955553127208817329427187910834666780682323434291",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10879613165816436916851770879343959977691102075283461119308711830964214081464",
|
||||
"13553484159027991556566887237104218737013187669652951844255826712847909177217",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10735858623208633717648038199314152871129522065611481523011278451389990263517",
|
||||
"10350568558744410889207456117413188610971988714830189000206768453123334943952",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"14946984757199129138048001565887674356252259670273933639168056117515369552400",
|
||||
"19868645912533460754658897437551329410196741629329809693160270669329854245488",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"5921319679572313453267747583237552491161379337272004628111491225746984813943",
|
||||
"6809702684299861074054542825356688190503332606821691461542149649600087610259",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"940796789446159614924737796783926979149611734702028855206108508437521368823",
|
||||
"12231084544196996042212221068825493181868557063050924553543285340652193991351",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"2709732592233041453113953008245837832423286183880278583748305170283920449974",
|
||||
"18139729498832064391470015738732467891175505521100206176939185297277584263881",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8604053540973472466002506857670051751710337818413246786976396735348721372530",
|
||||
"1419661258801892297516704040294881903276285906722178054401305661611535505034",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"7046831060050990919217566674777228754431268753567681065288641599025968535095",
|
||||
"20640434597510752197669034107315424497688211319090055265442525966001024182585",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"817476440102745126970629007331350142631966488446478658995553895849432764333",
|
||||
"10736605325204853591911630988387611942369939662420526950606230601356956291258",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"15688559839105880446149553298432302290993430218655333739459007706465230957773",
|
||||
"20926744702473903587380248523929600609867458310182228010040779850549277694829",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"7871787532330826440569143586866541520809790344246339162643496559188820394953",
|
||||
"18344378165316040044904760147624694047606278779879547077763670316147528824659",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11497825898834670931646654435374645095246663692879718965927755847229354344232",
|
||||
"1001830013819345665939771708214831453082483743382373760305890342043508408317",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11283039402913219593019104953787377212874909811724567728487361260671111996369",
|
||||
"12129099474735324814849865243862076518189959744274586740038414230549376668826",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3612488681118977623970864768786971984284011278285955007796688483478225982154",
|
||||
"6430529962919618596844619573780207057123571668590122874567740655509492821060",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"14138396753033656415648103653032820005744390512548955050224273723101238317659",
|
||||
"6808853247728663023456007015940120311964196782151516242908189399784134787169",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3716454477134507684710778455724132498932779153908165101151141602059256561893",
|
||||
"3930836968313223675518633584528531307012835264892769837435381983575411481207",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"1669759052048398520046683188315265177465144117286959396958393240600019684737",
|
||||
"6333504582788346152941311333282616620879723935088460567769514999233461371682",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"19981372341686590057028795662791154460323327520974349777163675697438829584809",
|
||||
"5645217910053464220062492636455747109841069465561420570503659355025544386083",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"19196212841574444718286232986765435225704370458325156433982672705343409172761",
|
||||
"1650788742776631165124958773273762123079393876181536707575063289309298131046",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"2459325100284653114174034408894407899627899468484331576226930280738932142385",
|
||||
"11019405011694472957856481679363875606540737995785523105493848050215123597362",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4111700969598431505725665487531960336975173316377286827175215240363810697299",
|
||||
"15552969650019166674851616797799664634418582471283862828693735466411312059741",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13310045220281282801728177040813639491642992449070022264573828522677939909770",
|
||||
"14127357194344618745559055000888918280483184054279752670102725887344181813577",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10882362786573273000097310765364239779467418255786107827365422054772848067827",
|
||||
"7589349600718009449170971559104730379703601341800029169846204256332491084829",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8142734714881414670352018212174095014899795551771332124803808865584253436275",
|
||||
"7715270473820133441370458268295866856194177456622989129920888847476452401121",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17090194761757568437441206672255374135540621076100393337674402116749662517625",
|
||||
"600874718766035447044402353227319155263104429958371661404974800176063230527",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"16463555200271964856403528475551317140165168928880702424341188095251102009014",
|
||||
"19120977623525559012961652535888780239811932380994142208285344213185246110510",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21611608437048887580711164386322594749571029314024835219257149901641196074926",
|
||||
"8862662360458437139771016520663324139844841085827393440619675551519823015308",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"587121572180591146117389302175585947751209729454874840823295952730987436642",
|
||||
"14157886889533496655190059423529385887877544289389700715501524256236372419138",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13911620575168658480965162770056031318631086790271662547541411569218892856288",
|
||||
"21219173415034375699350656266643345100767506404298025766946140756797599016484",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"15569545114999321751834395384030990807939088862254205590033709172541827389664",
|
||||
"20777711050294873974904593476418652635012019396704110021747963415813516389541",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"254864060343099198122023131897068457210637513749540820606487574359724321943",
|
||||
"16155343171202339766948904663718624947366624902176513707542603632191042152715",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18578168400749609015517005772238767358482364482766347007590211664716363077854",
|
||||
"8386392428675357651813311468421892627015805307850642840879486881957569535768",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"5420177035972726517164341964688388811191676758751899721610477126763387707417",
|
||||
"9825718305123214198786523434101937684755140377647127275857656360088422039373",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"6618031772884837446327456247401842098861809378642187788232061390722147632611",
|
||||
"2129449416179466204386340507667328615768440885030611713000680161848165642809",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"15864541155777526126584112644893320238710116674421666104835527879881112372452",
|
||||
"15637385119713845656848763666464446548697408806358434004424726478198277047106",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"20336132277230107922046670163440150047252638219458840893253269064333509629916",
|
||||
"14197266453347498340902465193268880271466123049762091252055832428111149861593",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13593956992855302891972320223744632165273632433323521673556687985724714469215",
|
||||
"19400727329791662977549268680614710233001117597295466109203318210921526462720",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"16873337306734588311008974976618632843910622803932475110533916970705473021787",
|
||||
"7945020030868863324951581656912528392431275925680692375269327321635943846803",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17161678983076102453814971849406756990307089714140887646546126465447787584822",
|
||||
"7619752430448511627899717652054118693639649003171529145250835850455248756883",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"5452225685398779569783940446764484275835044535339051701133425222967335632989",
|
||||
"1509442331667596732744475959927143449199040410904572937852310149848238347255",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8176039191996673064607343452456784510937987322008128910529646059545269395897",
|
||||
"9941944601358775274704964393008074616164542880869912574771236488063784954774",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4543655200972311547085594132508886901765307970288540629051982041242728059646",
|
||||
"16525403897792357307985217989713347505598081620263498487477285349982290199364",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13644101677506333687303661200094350618093939284493218234770103639403592423613",
|
||||
"5470392847174307426538476264474066380824699274086806203447632224513474954036",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10862790558315050968589654996249789962789113335733727253708175336431190712832",
|
||||
"726671544022461769317874840522764597250765375884664479163079597460905893962",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21479076092739478932247693565992010177759496439663180359531452033390150545006",
|
||||
"18019341387890215508135739909072999373570795209072445189499212617889123148061",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18518878358498102934727385490820802112477719381507896055902118649708818527194",
|
||||
"14774862864497628090054865279037181771906056302213952113661708872020418299700",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"9638274943552130583570639599331251492673153757849103549794164313716328922080",
|
||||
"11816634745452553826125879112236070880507957619321868510094565307095379695664",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3722282159218310387267806413524485575348258584046319914606034768420638827438",
|
||||
"8636879871376837598614719063683400106704424883014310093613845950685696510824",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"14924017163190077066054041285293280823419204338539954835503508362823129598091",
|
||||
"2672806159176703463484662388045210483261254284426562784731961831972589917093",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13568259338265538345570549800339635537332565104397715550815158046425592132731",
|
||||
"21174089815911283621629133635325323012695143810515855144574543138283971992785",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"7116778890859309119605755113250465515177331560454801751676868086715053024393",
|
||||
"13133260988040335799115646732392844294439517208638600204476442140005512004009",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"20625117673845159757241245821709671263787066697249325853900523815009928886324",
|
||||
"2311220665270581596785004560138951692207483000363774726720587102015267366815",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11567466786379606339253541987078905878469190042049055491927840823834446269474",
|
||||
"1368709363454623672492212223637803897645449870585206590965741486149465687455",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"5993664964010039197877369015712280283517370161308466135900741943782279268048",
|
||||
"21587702282551764199636003760318493623058452091087459849290701931357679757172",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"19028633059836898777749381145873683618209584950813044914583715951274404727830",
|
||||
"14068929676732093426794573397356892484016148922779805577156466047216983473380",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21234430102321164277544427473733549973157961584437153706927227039330794474617",
|
||||
"2420436257316711499830125078655199265852396262544603022790980911078598601501",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4004716569218690569265698221329849955702979288281495068727476311470998718583",
|
||||
"3178226338399664889827864164766447696992103204766261823189019747595896341681",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"2675783643372551176218954359601007044160470395958042795119178934339730070663",
|
||||
"2943550920391803266800237510369013820656261507006876218943256087456214577550",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17203962394655080680304022606148563751951157432304820097775344577137248481226",
|
||||
"8091667832115109518054591035822383871273128760155340626864588894718061071583",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21452550178722982281662336843583810659941014709715264916843388882322281584974",
|
||||
"5628534090049154051250342801251373878857587711908851956871637519111331267948",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4470415831764995672738435053988417686917559214384000542165986629035695154822",
|
||||
"10021275819592034161838340580360080167971935844230190770505052844570671338354",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"1192812737334182630790571303298641591145749207739204898205863687283922471962",
|
||||
"15994906073488280686930291124969899853158290889228443146873817166593595710227",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"5493183631618913121369371609220473586746520641722329922543242347269485636973",
|
||||
"20295446300095329950795231267109447837730256902347119826292961800443925406219",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11581163793368384972054335259006776536182172304037038333837523970176680844269",
|
||||
"17450256959958547944273712920491294202435478267538886580053626640489855617684",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"1039380403627011935577629092287101012604952330839101228688895257559257920249",
|
||||
"13548670621745999400823146019426386300107293752100276772750296831112448037700",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"20697435894385117982134641827361231825394274358180546566486417280930161518308",
|
||||
"13356416163733225943158795635201004989512220019902193943082737238319697924016",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4500039404168852412481537240407111084724118954319981695624494250608868016633",
|
||||
"7004653336393131381742719968256772111389580797742347832258872482140494096222",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"9517022780153283900905796101553727116014727240263612868558247665552833718018",
|
||||
"7858950779063086757245677850599275997336064592903013746160558888826881727627",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"1253568076497468465443565969237163980411234061985625718960175845747283142035",
|
||||
"7035220175375482293201358357582724773000778737427907854268834927830329776448",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3568077833408294586336878460133420051569410883906307169508481757966351097695",
|
||||
"16911463791117044490437383034242581688841556079826738395596395515669290681187",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"14692477175383820356047827428237699165979985753201569188583265877838416055647",
|
||||
"9236962405869829369351701487178934343074863462955698821058638313073348566526",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3563814994906795784583494510247349364150779104000958566035413611812850734541",
|
||||
"2674742442969819214774531365423907890467156400524384570375886614859115399460",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8830313921876789998680741783433601293300119999698215630250604393725848099082",
|
||||
"21717341898060474765515320156280705100945134547764507141669401627841462153493",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"20959780964831787847225222149899401716269624310408266111019248765918655082723",
|
||||
"16445387204919820226721838165953059439182232199120441361956967752425879260248",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18402528394169471124531447687786158494697416646299010746584400032925586089014",
|
||||
"21137011631962569192637278181258198395898019364870947784517934475594714113209",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"398879857469336565878564658188088966494312224494517932452420021127965420947",
|
||||
"4451802633372681552168122747921711418314680796089783115243037651401634167807",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"2474702817164989024263934258754430164795393126615588596229934617468368243881",
|
||||
"11415381122318612562281169978903800784885044609266504977226027758112256471338",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"4829823605171116120119579363399951132453513520001681363626036604593105579200",
|
||||
"4792120371707587999590798658526707255786047303680620115302871639681789723549",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"16539582785453101002010702637743816679324853160272063107719419415099643668777",
|
||||
"10960103025861125739077577363022505373188200386013599631891180034064026653214",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"1840398894405623030133335125798645416282321656329177115781987214366698732988",
|
||||
"12939684948694333393185214198754524200793523979666136949297131982176337478286",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"6121887445464166630080696095017888814505736069889055360676481941455169276427",
|
||||
"19182426118414769670295515956104911090955541757424648812104295258963206034691",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21730383973219271701305325043552068690384318528017480615662852026153243295533",
|
||||
"15313802923388215917689252671620930146061573884131560075363716095261499346961",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"421243656766561599328562693689185096754210179677899454163677548720382406057",
|
||||
"8317870732896648130068681665194296080768233954392863889436126112241312918837",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"9561930533776251371206320443920803012577934852139569568345165166675795567398",
|
||||
"17699451919148587276933143318729828104044786012403790252974182845664641929849",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8717008677775213557507982576975787205908280786241632728408374795493403573779",
|
||||
"118672356297445605080467084577501092398463156112657784157897312178029604110",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8963434438441211889147683880620306361750770257404777827212889369062530948539",
|
||||
"711410961601212793844791543187173960808082203916394668084620162044351920798",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18358609209131547820941126418996945268172225402733094161440480601952429162614",
|
||||
"9104623390217548882921601706073981700918641946273348457256524029753872701948",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"16687598983746695970427122214241681681868687255398851143019016051590169577283",
|
||||
"11392252247231998422508557855913772889011757640185038502233211818518575967773",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"15656153732063307096895607104279790369463247270265414178052728955701349963873",
|
||||
"12659914036844076538562930967780028103635492074888495253230084713201684019238",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21353870626258271807589302238825090547508087843282385340482446939755381285730",
|
||||
"18124921727490963780459360940893786343468770311747384959044137875079325151205",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21363921174078057896312326208743280464657028623375830422349083635655665771067",
|
||||
"18364448620680407368053338005404934865929649141779918277595457415775956220745",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21329388378448099193472884803518693130862876597121035550750924293982392448069",
|
||||
"10489767567713304078005058720588611435773904663730282098773719350192952603507",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"9113196627513707350271329077037023424096868858318152477834189573089272690167",
|
||||
"1668495535606355950958106525544759399671617686347202868438748454364977571202",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"8469583471133012569033616471769871638287665842389096035817895476449632632026",
|
||||
"5967786665805524868134642834552539739304779123946515218283077713667969389348",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18725806512083734851872726423995303668817498030736655266016244041647614583028",
|
||||
"17233197273101199839506066905047715863497000255194810378633857998095752647055",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"10821204914972247109390803431178323530992157361269487572099142927361708861405",
|
||||
"18057846620334335665706137060744788925213597770536781345115027784067388969906",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11510199538727791102002656168703710999860913376359915823355720415385953353071",
|
||||
"13406222357866560012917708401633482963478787479692420509436020950460236637595",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"12252660994872257874120640078877575391958655094191317352470191593959682719096",
|
||||
"12353526152160760327716534845254178562970761043539122037078297059204394483255",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"11189223121040097317470033175211108002731505441885988733177709654095203898738",
|
||||
"12680872870593021101319782645103536497259911694534152091456367607216358675928",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"21113724180247180773677900253196368101734227709907938422126853636069784858836",
|
||||
"251464854100827464753721443090114572181177275788115236635080261479426814713",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"3092635286632963906161199323765172065668261230990688865330134452578755572259",
|
||||
"9029230861222042798115168555950697483696165615048617193073546160557144939928",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"19327799434504507782676250768123461887369999428541367503010568177286425742397",
|
||||
"14509773640006092409305946462921911346058846654058425051472902319410140990664",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"19207227370707285283360322757652805680391497518288434238039470332321633633208",
|
||||
"21116511715038793472026467778812580411960950505693196904450286790320024476637",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"20200459667459529405479525910262972480727134158391283052275547284207805693300",
|
||||
"812232479801967211556486178250073557727287372852264497067225783771485910959",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"13669727456830823206481982780291593815442820447548650847038258218043491786694",
|
||||
"5695326971880702957438699901573489269277517333768209834884755764543490096927",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"17954120016237140565656102445585364649664208327982602280140884046452616678282",
|
||||
"3480669942894367247914955010439880618624235894380954075256953792756494327348",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"19088866250290944515763048472036787801138933101026217363566068086986263006206",
|
||||
"8028483198492976043774234973940590001192146666472768041236253342889523352280",
|
||||
"1"
|
||||
],
|
||||
[
|
||||
"18497943083829408672868795728722993889832282950301755994559048529205883099342",
|
||||
"15414525604311175233391206725452613733016253156018463707121977743440966659399",
|
||||
"1"
|
||||
]
|
||||
]
|
||||
}
|
||||
}
|
||||
|
||||
@@ -15,13 +15,25 @@ contract TwitterUtilsTest is Test {
|
||||
// testVerifier.mint
|
||||
// }
|
||||
|
||||
// Should fail because it doesnt end in a full 0 byte.
|
||||
// Should pass (note that there are extra 0 bytes, which are filtered out but should be noted in audits)
|
||||
function testUnpack() public {
|
||||
uint256[] memory packedBytes = new uint256[](3);
|
||||
packedBytes[0] = 29096824819513600;
|
||||
packedBytes[1] = 10;
|
||||
packedBytes[1] = 0;
|
||||
packedBytes[2] = 0;
|
||||
string memory byteList = testVerifier.convert7PackedBytesToBytes(packedBytes); //, packedBytes.length);
|
||||
|
||||
// This is 0x797573685f670000000000000000000000000000000000000000000000000000
|
||||
string memory byteList = testVerifier.convert7PackedBytesToBytes(packedBytes);
|
||||
// This is 0x797573685f67, since strings are internally arbitrary length arrays
|
||||
string memory intended_value = "yush_g";
|
||||
|
||||
// We need to cast both to bytes32, which works since usernames can be at most 15, alphanumeric + '_' characters
|
||||
// Note that this may not generalize to non-ascii characters.
|
||||
// Weird characters are allowed in email addresses, see https://en.wikipedia.org/wiki/Email_address#Local-part
|
||||
// See https://stackoverflow.com/a/2049510/3977093 -- you can even have international characters with RFC 6532
|
||||
// Our regex should just disallow most of these emails, but they may end up taking more than two bytes
|
||||
// ASCII should fit in 2 bytes but emails may not be ASCII
|
||||
assertEq(bytes32(bytes(byteList)), bytes32(bytes(value)));
|
||||
console.logString(byteList);
|
||||
}
|
||||
}
|
||||
|
||||
@@ -136,6 +136,7 @@ contract VerifiedTwitterEmail is ERC721Enumerable, Verifier {
|
||||
// Unpacks uint256s into bytes and then extracts the non-zero characters
|
||||
// Only extracts contiguous non-zero characters and ensures theres only 1 such state
|
||||
// Note that unpackedLen may be more than packedBytes.length * 8 since there may be 0s
|
||||
// TODO: Remove console.logs and define this as a pure function instead of a view (done)
|
||||
function convert7PackedBytesToBytes(uint256[] memory packedBytes) public pure returns (string memory extractedString) {
|
||||
uint8 state = 0;
|
||||
// bytes: 0 0 0 0 y u s h _ g 0 0 0
|
||||
@@ -182,6 +183,7 @@ contract VerifiedTwitterEmail is ERC721Enumerable, Verifier {
|
||||
return keccak256(abi.encodePacked(a)) == keccak256(abi.encodePacked(b));
|
||||
}
|
||||
|
||||
// TODO: Remove console.logs and define this as a pure function instead of a view (done)
|
||||
function _domainCheck(uint256[] memory headerSignals) public pure returns (bool) {
|
||||
string memory senderBytes = convert7PackedBytesToBytes(headerSignals);
|
||||
string[2] memory domainStrings = ["verify@twitter.com", "info@twitter.com"];
|
||||
|
||||
Reference in New Issue
Block a user