vacp2p/research
1
0
Fork 0
mirror of https://github.com/vacp2p/research.git synced 2026-01-07 21:03:52 -05:00
Code Issues Packages Projects Releases Wiki Activity

add rln test keys/proofs

Browse Source
This commit is contained in:
s1fr0
2022-06-02 19:55:28 +02:00
parent 49893de561
commit 9abea7bde8
5 changed files with 155 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
circom-tests/circom2/rln/keys/rln_0000.zkey Normal file
View File

Binary file not shown.

BIN
circom-tests/circom2/rln/keys/rln_0001.zkey Normal file
View File

Binary file not shown.

119
circom-tests/circom2/rln/keys/verification_key.json Normal file
View File

@@ -0,0 +1,119 @@
{
"protocol": "groth16",
"curve": "bn128",
"nPublic": 6,
"vk_alpha_1": [
"1805378556360488226980822394597799963030511477964155500103132920745199284516",
"11990395240534218699464972016456017378439762088320057798320175886595281336136",
"1"
],
"vk_beta_2": [
[
"11031529986141021025408838211017932346992429731488270384177563837022796743627",
"16042159910707312759082561183373181639420894978640710177581040523252926273854"
],
[
"20112698439519222240302944148895052359035104222313380895334495118294612255131",
"19441583024670359810872018179190533814486480928824742448673677460151702019379"
],
[
"1",
"0"
]
],
"vk_gamma_2": [
[
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
],
[
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
],
[
"1",
"0"
]
],
"vk_delta_2": [
[
"19720328944836795197911772047900099124737362474518048594252161285270507516712",
"5185466662318657673824997581909145736803236466609417654146808074739663675113"
],
[
"13623005478600639667521635797221361995425066980613083482392494903676949747824",
"10376153747653057206192821566552941977118961250811041401006727516281091557148"
],
[
"1",
"0"
]
],
"vk_alphabeta_12": [
[
[
"5151991366823434428398919091000210787450832786814248297320989361921939794156",
"15735191313289001022885148627913534790382722933676436876510746491415970766821"
],
[
"3387907257437913904447588318761906430938415556102110876587455322225272831272",
"1998779853452712881084781956683721603875246565720647583735935725110674288056"
],
[
"14280074182991498185075387990446437410077692353432005297922275464876153151820",
"17092408446352310039633488224969232803092763095456307462247653153107223117633"
]
],
[
[
"4359046709531668109201634396816565829237358165496082832279660960675584351266",
"4511888308846208349307186938266411423935335853916317436093178288331845821336"
],
[
"11429499807090785857812316277335883295048773373068683863667725283965356423273",
"16232274853200678548795010078253506586114563833318973594428907292096178657392"
],
[
"18068999605870933925311275504102553573815570223888590384919752303726860800970",
"17309569111965782732372130116757295842160193489132771344011460471298173784984"
]
]
],
"IC": [
[
"14235885426722641891592030099007812994243025851117785175902336222327640865064",
"8009029200227683227863883875330949511113914704053810511415887698638570524744",
"1"
],
[
"13251270478168580775918322735477501687912626090109012853827165614339737268961",
"311245811686968158979234201542468003177502688833362144258079441272211050833",
"1"
],
[
"4720911222223260876113658487700482131290663971222225949209295635285823711818",
"14792356435291541823814375620570413291964458090962919866255324036149785257631",
"1"
],
[
"13475700931352313970385453829594547923326532702838748052358811743145193636843",
"14515071880622085766005021130900605345049459930788489942992154977432437479806",
"1"
],
[
"14014664363015414593470535737881379900542395579953728241377935967718566653896",
"15625639407304861055018443699135346589582281204704277824126324670752711197546",
"1"
],
[
"5485573197353109773199821815165894779526848297245944886637083875316655913745",
"4325640730378036308456499518361386201769796337131765236403468637319026962539",
"1"
],
[
"18131973919149824633297677620792314578539111466684036205182966568988802164155",
"20958375312683264216039687055709752597662041247478891679393568512543270645905",
"1"
]
]
}

28
circom-tests/circom2/rln/proofs/proof.json Normal file
View File

@@ -0,0 +1,28 @@
{
"pi_a": [
"19516134047522436971068011295530665393908552847583656161758777913637980452585",
"2840618066271793174898086509341886381774677617790516869965932134191421918420",
"1"
],
"pi_b": [
[
"19537809029437937687632187187244546314189802582805650329720643639926084123325",
"17193689342977299487303904433344823840543416671739240517783448962742326857479"
],
[
"19955030143602195693100631641412725522045160658767548689730597527427354680171",
"2719478986300838425482652005787453689569591447011884080940371078944905098345"
],
[
"1",
"0"
]
],
"pi_c": [
"12195123573038229347265763313929351628139368799144219626619984065394867897633",
"10802174146409330906184000309770944579069470591137448470743228851007104875749",
"1"
],
"protocol": "groth16",
"curve": "bn128"
}

8
circom-tests/circom2/rln/proofs/public.json Normal file
View File

@@ -0,0 +1,8 @@
[
"21157322289628027046682548158283344918587768461032111029471440525254015650099",
"7297187660106221582759525565291749664728147547900134845566617893040699641163",
"21531039294149256104818402567000117309431724071185920556301673263168776106483",
"8143228284048792769012135629627737459844825626241842423967352803501040982",
"2463585764349315261959301131581885659329701122090369498612401998049583",
"11412926387081627876309792396682864042420635853496105400039841573530884328439"
]