chore: output vkeys from trusted setup, update compiling and deployment scripts

This commit is contained in:
Pierre DM
2022-07-13 12:15:10 +02:00
parent 8f2a81011f
commit 4797a8b4e4
14 changed files with 639 additions and 54 deletions

View File

@@ -1 +1,164 @@
{"protocol":"groth16","curve":"bn128","nPublic":15,"vk_alpha_1":["20491192805390485299153009773594534940189261866228447918068658471970481763042","9383485363053290200918347156157836566562967994039712273449902621266178545958","1"],"vk_beta_2":[["6375614351688725206403948262868962793625744043794305715222011528459656738731","4252822878758300859123897981450591353533073413197771768651442665752259397132"],["10505242626370262277552901082094356697409835680220590971873171140371331206856","21847035105528745403288232691147584728191162732299865338377159692350059136679"],["1","0"]],"vk_gamma_2":[["10857046999023057135944570762232829481370756359578518086990519993285655852781","11559732032986387107991004021392285783925812861821192530917403151452391805634"],["8495653923123431417604973247489272438418190587263600148770280649306958101930","4082367875863433681332203403145435568316851327593401208105741076214120093531"],["1","0"]],"vk_delta_2":[["7912208710313447447762395792098481825752520616755888860068004689933335666613","12599857379517512478445603412764121041984228075771497593287716170335433683702"],["21679208693936337484429571887537508926366191105267550375038502782696042114705","11502426145685875357967720478366491326865907869902181704031346886834786027007"],["1","0"]],"vk_alphabeta_12":[[["2029413683389138792403550203267699914886160938906632433982220835551125967885","21072700047562757817161031222997517981543347628379360635925549008442030252106"],["5940354580057074848093997050200682056184807770593307860589430076672439820312","12156638873931618554171829126792193045421052652279363021382169897324752428276"],["7898200236362823042373859371574133993780991612861777490112507062703164551277","7074218545237549455313236346927434013100842096812539264420499035217050630853"]],[["7077479683546002997211712695946002074877511277312570035766170199895071832130","10093483419865920389913245021038182291233451549023025229112148274109565435465"],["4595479056700221319381530156280926371456704509942304414423590385166031118820","19831328484489333784475432780421641293929726139240675179672856274388269393268"],["11934129596455521040620786944827826205713621633706285934057045369193958244500","8037395052364110730298837004334506829870972346962140206007064471173334027475"]]],"IC":[["16218905599826448895242028545807567741589768123958536096702191207973750214617","4537176114213662795725926208967156028505502267412490153839447145800430731445","1"],["7106984253856114116541967700095875958155405405691331755706133431590463035310","5817221333417605446908504558291553134261301633719184747703788480063534429312","1"],["1766660006446479618980561422106691857947511913922347502741022673540524715351","13140095120401486462041029359588642164115984248987638050831817716082082308054","1"],["8863075795233137578099804411078010343554420598505767553436858993514371089808","11044829890792557718217043948190745534428150041280266991293498166878997175005","1"],["12655352859534191364590785907334038300713650165056223806279095530501861144831","10922736113479847674440518376046258539973609312992490431456657242611432604632","1"],["14996133675380327151229720868626470300477745906678364703999354533619379625238","5145529836171022111353935241774945971168176768163015443107876645418989187519","1"],["13285401096558367914365497845061350465278877245156774900959448526977417845706","6001458813695364449105024118948453857686344273609286180097703046916738228373","1"],["3895720088633437982817217868088075883999156383103471599760013466612511751383","14666426593917190888381081101786007105128244528710830080040376486612324121521","1"],["5572625152876606568129324375530481372167611989920048248567094354516630236579","6716347073427300842035278401814619115019884478232131394361436561593403078247","1"],["10134312334954126246056338326242819166363746578737013060355613841611318154058","3524562595603937610816377697820970008911067578631632477762889250913793017116","1"],["3503742399253984735230373885468899706793596465312949993983811305649184258248","580404355773384068428593350019825711193826664088830713227361120418997449874","1"],["1594204818742989463295539930679197972197265303769344256551570155896758349082","18457554959053521842288257436850121309540181148060498209497158993343828132954","1"],["7722815216730514137171677248184842420716918527963933762413071918933108672030","8771713572797039653765392316998676683163033560770762629430372757211556923198","1"],["10327910756328756654418937901389915359444222830390828459655779616514476405806","11539565975794882679040830889975941653407232230332206539883201818643153447467","1"],["2612680725605364625871698075146115016016307008195275765764428431609664864012","7716659423576194779741597695086881546054296277526515971201354688196410154291","1"],["14442185447439485192660204577547661358042533309336275650767875087075531111320","6767267710264067116315360566405666002121686489099382132021090145813138947198","1"]]}
{
"protocol": "groth16",
"curve": "bn128",
"nPublic": 15,
"vk_alpha_1": [
"20491192805390485299153009773594534940189261866228447918068658471970481763042",
"9383485363053290200918347156157836566562967994039712273449902621266178545958",
"1"
],
"vk_beta_2": [
[
"6375614351688725206403948262868962793625744043794305715222011528459656738731",
"4252822878758300859123897981450591353533073413197771768651442665752259397132"
],
[
"10505242626370262277552901082094356697409835680220590971873171140371331206856",
"21847035105528745403288232691147584728191162732299865338377159692350059136679"
],
[
"1",
"0"
]
],
"vk_gamma_2": [
[
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
],
[
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
],
[
"1",
"0"
]
],
"vk_delta_2": [
[
"15045781308106978619177211976183155385732553915691509569753252862216156123735",
"15897297576740328318512666480917679878265526733329704826114977585972740345729"
],
[
"8248291186024126243826965242264941049742133921837264554574392827840677370080",
"13161087980721492297290698710751932547328256794989464578696101800431568811799"
],
[
"1",
"0"
]
],
"vk_alphabeta_12": [
[
[
"2029413683389138792403550203267699914886160938906632433982220835551125967885",
"21072700047562757817161031222997517981543347628379360635925549008442030252106"
],
[
"5940354580057074848093997050200682056184807770593307860589430076672439820312",
"12156638873931618554171829126792193045421052652279363021382169897324752428276"
],
[
"7898200236362823042373859371574133993780991612861777490112507062703164551277",
"7074218545237549455313236346927434013100842096812539264420499035217050630853"
]
],
[
[
"7077479683546002997211712695946002074877511277312570035766170199895071832130",
"10093483419865920389913245021038182291233451549023025229112148274109565435465"
],
[
"4595479056700221319381530156280926371456704509942304414423590385166031118820",
"19831328484489333784475432780421641293929726139240675179672856274388269393268"
],
[
"11934129596455521040620786944827826205713621633706285934057045369193958244500",
"8037395052364110730298837004334506829870972346962140206007064471173334027475"
]
]
],
"IC": [
[
"16218905599826448895242028545807567741589768123958536096702191207973750214617",
"4537176114213662795725926208967156028505502267412490153839447145800430731445",
"1"
],
[
"7106984253856114116541967700095875958155405405691331755706133431590463035310",
"5817221333417605446908504558291553134261301633719184747703788480063534429312",
"1"
],
[
"1766660006446479618980561422106691857947511913922347502741022673540524715351",
"13140095120401486462041029359588642164115984248987638050831817716082082308054",
"1"
],
[
"8863075795233137578099804411078010343554420598505767553436858993514371089808",
"11044829890792557718217043948190745534428150041280266991293498166878997175005",
"1"
],
[
"12655352859534191364590785907334038300713650165056223806279095530501861144831",
"10922736113479847674440518376046258539973609312992490431456657242611432604632",
"1"
],
[
"14996133675380327151229720868626470300477745906678364703999354533619379625238",
"5145529836171022111353935241774945971168176768163015443107876645418989187519",
"1"
],
[
"13285401096558367914365497845061350465278877245156774900959448526977417845706",
"6001458813695364449105024118948453857686344273609286180097703046916738228373",
"1"
],
[
"3895720088633437982817217868088075883999156383103471599760013466612511751383",
"14666426593917190888381081101786007105128244528710830080040376486612324121521",
"1"
],
[
"5572625152876606568129324375530481372167611989920048248567094354516630236579",
"6716347073427300842035278401814619115019884478232131394361436561593403078247",
"1"
],
[
"10134312334954126246056338326242819166363746578737013060355613841611318154058",
"3524562595603937610816377697820970008911067578631632477762889250913793017116",
"1"
],
[
"3503742399253984735230373885468899706793596465312949993983811305649184258248",
"580404355773384068428593350019825711193826664088830713227361120418997449874",
"1"
],
[
"1594204818742989463295539930679197972197265303769344256551570155896758349082",
"18457554959053521842288257436850121309540181148060498209497158993343828132954",
"1"
],
[
"7722815216730514137171677248184842420716918527963933762413071918933108672030",
"8771713572797039653765392316998676683163033560770762629430372757211556923198",
"1"
],
[
"10327910756328756654418937901389915359444222830390828459655779616514476405806",
"11539565975794882679040830889975941653407232230332206539883201818643153447467",
"1"
],
[
"2612680725605364625871698075146115016016307008195275765764428431609664864012",
"7716659423576194779741597695086881546054296277526515971201354688196410154291",
"1"
],
[
"14442185447439485192660204577547661358042533309336275650767875087075531111320",
"6767267710264067116315360566405666002121686489099382132021090145813138947198",
"1"
]
]
}

Binary file not shown.

View File

@@ -9,10 +9,10 @@ import { default as NightMarketFactoryJSON } from '../../../artifacts/contracts/
// export const NIGHTMARKET_ADDR = "0x98d20617BE39f61E42a6c40A5aB26b2dB5778Ec1";
export const NIGHTMARKET_ABI = NightMarketJSON.abi;
export const LIST_VERIFY_ADDR = "0x43869DE76b4739cd9E484df40f307D115C08A892";
export const SALE_VERIFY_ADDR = "0xa5067E2fcc7C5d74f19b1cD17B48B121B0077146";
export const LIST_VERIFY_ADDR = "0xCc4642bF6a055E94e364699502eE4Ae75244dd16";
export const SALE_VERIFY_ADDR = "0xdcD17cC3b8ABAd601798597174550ffa1045BacF";
export const NIGHTMARKET_FACTORY_ADDR = "0x678DAD3159b77246B7a618a853eA8a93bE9456b9";
export const NIGHTMARKET_FACTORY_ADDR = "0xF950500E618a83A70D8C4F5BC2A3fd4ed3f69079";
export const NIGHTMARKET_FACTORY_ABI = NightMarketFactoryJSON.abi;
// Plugin behaviors

View File

@@ -1 +1,124 @@
{"protocol":"groth16","curve":"bn128","nPublic":7,"vk_alpha_1":["20491192805390485299153009773594534940189261866228447918068658471970481763042","9383485363053290200918347156157836566562967994039712273449902621266178545958","1"],"vk_beta_2":[["6375614351688725206403948262868962793625744043794305715222011528459656738731","4252822878758300859123897981450591353533073413197771768651442665752259397132"],["10505242626370262277552901082094356697409835680220590971873171140371331206856","21847035105528745403288232691147584728191162732299865338377159692350059136679"],["1","0"]],"vk_gamma_2":[["10857046999023057135944570762232829481370756359578518086990519993285655852781","11559732032986387107991004021392285783925812861821192530917403151452391805634"],["8495653923123431417604973247489272438418190587263600148770280649306958101930","4082367875863433681332203403145435568316851327593401208105741076214120093531"],["1","0"]],"vk_delta_2":[["7912208710313447447762395792098481825752520616755888860068004689933335666613","12599857379517512478445603412764121041984228075771497593287716170335433683702"],["21679208693936337484429571887537508926366191105267550375038502782696042114705","11502426145685875357967720478366491326865907869902181704031346886834786027007"],["1","0"]],"vk_alphabeta_12":[[["2029413683389138792403550203267699914886160938906632433982220835551125967885","21072700047562757817161031222997517981543347628379360635925549008442030252106"],["5940354580057074848093997050200682056184807770593307860589430076672439820312","12156638873931618554171829126792193045421052652279363021382169897324752428276"],["7898200236362823042373859371574133993780991612861777490112507062703164551277","7074218545237549455313236346927434013100842096812539264420499035217050630853"]],[["7077479683546002997211712695946002074877511277312570035766170199895071832130","10093483419865920389913245021038182291233451549023025229112148274109565435465"],["4595479056700221319381530156280926371456704509942304414423590385166031118820","19831328484489333784475432780421641293929726139240675179672856274388269393268"],["11934129596455521040620786944827826205713621633706285934057045369193958244500","8037395052364110730298837004334506829870972346962140206007064471173334027475"]]],"IC":[["7577629107392985297190149685631035247710237637213815901629642261135725319204","4511210023358226725210916722016138781663550561696076911946107281282213910872","1"],["16129336533522170986026447384984343719961478764445439199351271434561543130017","11556170232755339683579527500257446974529450384062795572232290019547192654826","1"],["4164365559969027470567840390406762553877808295196744950312648007362960806403","281783767846248458517360895913056509781098537029686474222016066396275856325","1"],["21783136076820882775771048736833981924259786659412240716201527524473792846773","17325792878155631413520135735536133181134848274249313275316064136468281936892","1"],["10269173810795378887647935546288001557412889212708683337327808068501064789875","7300974751670697393070024253871518247697099701000740092418690938198680411177","1"],["5315097762140670158565584600490116094157412390833239887800001738922485077648","15135582211103807123516135608082860003305215566227052762254663536286187216764","1"],["15684949608827263513686905701138591888845646946498611477875386109839349568063","20041309004341399007120941293705005898515239536692692226724010725252872681766","1"],["8292706341529648915941357985567613159491608396122155506952309442788671993036","5324685688819076696912591238326675597334209326423884333054449615675151635746","1"]]}
{
"protocol": "groth16",
"curve": "bn128",
"nPublic": 7,
"vk_alpha_1": [
"20491192805390485299153009773594534940189261866228447918068658471970481763042",
"9383485363053290200918347156157836566562967994039712273449902621266178545958",
"1"
],
"vk_beta_2": [
[
"6375614351688725206403948262868962793625744043794305715222011528459656738731",
"4252822878758300859123897981450591353533073413197771768651442665752259397132"
],
[
"10505242626370262277552901082094356697409835680220590971873171140371331206856",
"21847035105528745403288232691147584728191162732299865338377159692350059136679"
],
[
"1",
"0"
]
],
"vk_gamma_2": [
[
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
],
[
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
],
[
"1",
"0"
]
],
"vk_delta_2": [
[
"17307208169555205196993432313900727980384186594042618159219165269656548299277",
"11896889327360910708440854836161262251558763104555607465208844840587153993861"
],
[
"18673936487543105313625012277438804903438760441455592346677478050970007152629",
"6295171851432356563272715872180038030377040700307934254065753297905169011848"
],
[
"1",
"0"
]
],
"vk_alphabeta_12": [
[
[
"2029413683389138792403550203267699914886160938906632433982220835551125967885",
"21072700047562757817161031222997517981543347628379360635925549008442030252106"
],
[
"5940354580057074848093997050200682056184807770593307860589430076672439820312",
"12156638873931618554171829126792193045421052652279363021382169897324752428276"
],
[
"7898200236362823042373859371574133993780991612861777490112507062703164551277",
"7074218545237549455313236346927434013100842096812539264420499035217050630853"
]
],
[
[
"7077479683546002997211712695946002074877511277312570035766170199895071832130",
"10093483419865920389913245021038182291233451549023025229112148274109565435465"
],
[
"4595479056700221319381530156280926371456704509942304414423590385166031118820",
"19831328484489333784475432780421641293929726139240675179672856274388269393268"
],
[
"11934129596455521040620786944827826205713621633706285934057045369193958244500",
"8037395052364110730298837004334506829870972346962140206007064471173334027475"
]
]
],
"IC": [
[
"7577629107392985297190149685631035247710237637213815901629642261135725319204",
"4511210023358226725210916722016138781663550561696076911946107281282213910872",
"1"
],
[
"16129336533522170986026447384984343719961478764445439199351271434561543130017",
"11556170232755339683579527500257446974529450384062795572232290019547192654826",
"1"
],
[
"4164365559969027470567840390406762553877808295196744950312648007362960806403",
"281783767846248458517360895913056509781098537029686474222016066396275856325",
"1"
],
[
"21783136076820882775771048736833981924259786659412240716201527524473792846773",
"17325792878155631413520135735536133181134848274249313275316064136468281936892",
"1"
],
[
"10269173810795378887647935546288001557412889212708683337327808068501064789875",
"7300974751670697393070024253871518247697099701000740092418690938198680411177",
"1"
],
[
"5315097762140670158565584600490116094157412390833239887800001738922485077648",
"15135582211103807123516135608082860003305215566227052762254663536286187216764",
"1"
],
[
"15684949608827263513686905701138591888845646946498611477875386109839349568063",
"20041309004341399007120941293705005898515239536692692226724010725252872681766",
"1"
],
[
"8292706341529648915941357985567613159491608396122155506952309442788671993036",
"5324685688819076696912591238326675597334209326423884333054449615675151635746",
"1"
]
]
}

Binary file not shown.

View File

@@ -171,10 +171,10 @@ contract Verifier is IVerifier {
uint256(8495653923123431417604973247489272438418190587263600148770280649306958101930)]
);
vk.delta2 = Pairing.G2Point(
[uint256(12599857379517512478445603412764121041984228075771497593287716170335433683702),
uint256(7912208710313447447762395792098481825752520616755888860068004689933335666613)],
[uint256(11502426145685875357967720478366491326865907869902181704031346886834786027007),
uint256(21679208693936337484429571887537508926366191105267550375038502782696042114705)]
[uint256(15897297576740328318512666480917679878265526733329704826114977585972740345729),
uint256(15045781308106978619177211976183155385732553915691509569753252862216156123735)],
[uint256(13161087980721492297290698710751932547328256794989464578696101800431568811799),
uint256(8248291186024126243826965242264941049742133921837264554574392827840677370080)]
);
vk.IC[0] = Pairing.G1Point(
uint256(16218905599826448895242028545807567741589768123958536096702191207973750214617),

View File

@@ -171,10 +171,10 @@ contract Verifier is IVerifier {
uint256(8495653923123431417604973247489272438418190587263600148770280649306958101930)]
);
vk.delta2 = Pairing.G2Point(
[uint256(12599857379517512478445603412764121041984228075771497593287716170335433683702),
uint256(7912208710313447447762395792098481825752520616755888860068004689933335666613)],
[uint256(11502426145685875357967720478366491326865907869902181704031346886834786027007),
uint256(21679208693936337484429571887537508926366191105267550375038502782696042114705)]
[uint256(11896889327360910708440854836161262251558763104555607465208844840587153993861),
uint256(17307208169555205196993432313900727980384186594042618159219165269656548299277)],
[uint256(6295171851432356563272715872180038030377040700307934254065753297905169011848),
uint256(18673936487543105313625012277438804903438760441455592346677478050970007152629)]
);
vk.IC[0] = Pairing.G1Point(
uint256(7577629107392985297190149685631035247710237637213815901629642261135725319204),

View File

@@ -1,33 +0,0 @@
import * as hre from 'hardhat';
import { addresses } from "../config/addresses";
async function main () {
// TODO: fix this later, just need it working on any UI for now
const gameAddress = addresses.game;
const [ deployer ] = await hre.ethers.getSigners();
console.log("Deploying contracts with the account:", deployer.address);
console.log("Account balance:", (await deployer.getBalance()).toString());
// const lvFactory = await hre.ethers.getContractFactory("contracts/ListVerifier.sol:Verifier");
// const listVerifier = await lvFactory.deploy();
const listAddress = addresses.list;
// const svFactory = await hre.ethers.getContractFactory("contracts/SaleVerifier.sol:Verifier");
// const saleVerifier = await svFactory.deploy();
const saleAddress = addresses.sale;
const nmFactory = await hre.ethers.getContractFactory("NightMarket");
const nightmarket = await nmFactory.deploy(listAddress, saleAddress, gameAddress);
// Resulting address:
const nightmarketAddress = addresses.nightmarket;
// console.log("List verifier address:", listVerifier.address);
// console.log("Sale verifier address:", saleVerifier.address);
console.log("NightMarket address:", nightmarket.address);
}
main()
.then(() => process.exit(0))
.catch((error) => {
console.error(error);
process.exit(1);
});

View File

@@ -0,0 +1,30 @@
import * as hre from 'hardhat';
async function main () {
const [ deployer ] = await hre.ethers.getSigners();
console.log("Deploying contracts with the account:", deployer.address);
console.log("Account balance:", (await deployer.getBalance()).toString());
const lvFactory = await hre.ethers.getContractFactory("contracts/ListVerifier.sol:Verifier");
const listVerifier = await lvFactory.deploy();
let wait = await listVerifier.deployed();
const svFactory = await hre.ethers.getContractFactory("contracts/SaleVerifier.sol:Verifier");
const saleVerifier = await svFactory.deploy();
wait = await saleVerifier.deployed();
console.log({
listVerifier: listVerifier.address,
saleVerifier: saleVerifier.address
});
}
main()
.then(() => process.exit(0))
.catch((error) => {
console.error(error);
process.exit(1);
});

View File

@@ -3,13 +3,17 @@ export async function deployFactory (hre, listVerifierAddress: string, saleVerif
* Deploy a factory contract. You probably don't need to do this.
* A factory is already deployed at NIGHTMARKET_FACTORY_ADDR, see client/plugin/helpers/constants.ts
*/
if (listVerifierAddress === undefined || saleVerifierAddress === undefined) {
throw (`Cannot deploy factory with listVerifierAddress: ${listVerifierAddress},  saleVerifierAddress: ${saleVerifierAddress}`);
}
const factoryNightMarketFactory = await hre.ethers.getContractFactory("NightMarketFactory");
const deployedNMFactoryTx = await factoryNightMarketFactory.deploy(listVerifierAddress, saleVerifierAddress);
const deployedNMFactoryAddress = deployedNMFactoryTx.address;
const deployedNMFactory = await factoryNightMarketFactory.deploy(listVerifierAddress, saleVerifierAddress);
console.log("Waiting for contract creation confirmation...");
const wait = await deployedNMFactory.deployed();
console.log(
{
deployedNMFactoryAddress
NMFactory: deployedNMFactory.address
}
);
}
@@ -23,8 +27,8 @@ export async function deployNM (hre, gameAddress: string, factoryAddress: string
const factoryNightMarketFactory = await hre.ethers.getContractFactory("NightMarketFactory");
const NMFactory = factoryNightMarketFactory.attach(factoryAddress);
const txSet = await NMFactory.setNightMarket(gameAddress);
console.log("Waiting for tx confirmations...")
const confirms = await txSet.wait(5);
console.log("Waiting for tx confirmations...");
const confirms = await txSet.wait();
const nmAddress = await NMFactory.gameToMarket(gameAddress);
console.log(
{

View File

@@ -8,12 +8,13 @@
"circom:test": "mocha ./circuits/test --max-old-space-size=4000",
"circom:dev": "hardhat circom --deterministic --debug --verbose",
"circom:prod": "hardhat circom --verbose",
"circom:app": "./scripts/client_final_circuits.sh",
"sol:clean": "npx hardhat clean",
"sol:compile": "./scripts/reformat-verifier-sol.sh && npx hardhat compile",
"sol:test": "tsc && npx hardhat test ./build/contracts/test/nightMarket.js",
"sol:deploy": "tsc && npx hardhat run ./build/contracts/scripts/deploy.js --network xdai",
"zkey:sale": "ts-node trustedsetup/verify.ts sale",
"zkey:list": "ts-node trustedsetup/verify.ts list",
"deploy:verifiers": "tsc && npx hardhat run ./build/contracts/scripts/deployVerifiers.js --network xdai",
"deploy:factory": "hardhat init-factory",
"deploy:nightmarket": "hardhat init-nm",
"app:dev": "tsc && df-plugin-dev-server --glob client/plugin/*.ts* --preact",
"app:build": "tsc && df-plugin-dev-server bundle --glob client/plugin/*.ts* --outdir=TBA --preact"
},

View File

@@ -0,0 +1,9 @@
#!/bin/bash
snarkjs zkey export verificationkey ./trustedsetup/sale_final.zkey ./trustedsetup/sale_final.vkey.json
snarkjs zkey export verificationkey ./trustedsetup/list_final.zkey ./trustedsetup/list_final.vkey.json
cp ./trustedsetup/sale_final.vkey.json ./client/sale/sale.vkey.json
cp ./trustedsetup/list_final.vkey.json ./client/list/list.vkey.json
cp ./trustedsetup/sale_final.zkey ./client/sale/sale.zkey
cp ./trustedsetup/list_final.zkey ./client/list/list.zkey

View File

@@ -0,0 +1,164 @@
{
"protocol": "groth16",
"curve": "bn128",
"nPublic": 15,
"vk_alpha_1": [
"20491192805390485299153009773594534940189261866228447918068658471970481763042",
"9383485363053290200918347156157836566562967994039712273449902621266178545958",
"1"
],
"vk_beta_2": [
[
"6375614351688725206403948262868962793625744043794305715222011528459656738731",
"4252822878758300859123897981450591353533073413197771768651442665752259397132"
],
[
"10505242626370262277552901082094356697409835680220590971873171140371331206856",
"21847035105528745403288232691147584728191162732299865338377159692350059136679"
],
[
"1",
"0"
]
],
"vk_gamma_2": [
[
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
],
[
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
],
[
"1",
"0"
]
],
"vk_delta_2": [
[
"15045781308106978619177211976183155385732553915691509569753252862216156123735",
"15897297576740328318512666480917679878265526733329704826114977585972740345729"
],
[
"8248291186024126243826965242264941049742133921837264554574392827840677370080",
"13161087980721492297290698710751932547328256794989464578696101800431568811799"
],
[
"1",
"0"
]
],
"vk_alphabeta_12": [
[
[
"2029413683389138792403550203267699914886160938906632433982220835551125967885",
"21072700047562757817161031222997517981543347628379360635925549008442030252106"
],
[
"5940354580057074848093997050200682056184807770593307860589430076672439820312",
"12156638873931618554171829126792193045421052652279363021382169897324752428276"
],
[
"7898200236362823042373859371574133993780991612861777490112507062703164551277",
"7074218545237549455313236346927434013100842096812539264420499035217050630853"
]
],
[
[
"7077479683546002997211712695946002074877511277312570035766170199895071832130",
"10093483419865920389913245021038182291233451549023025229112148274109565435465"
],
[
"4595479056700221319381530156280926371456704509942304414423590385166031118820",
"19831328484489333784475432780421641293929726139240675179672856274388269393268"
],
[
"11934129596455521040620786944827826205713621633706285934057045369193958244500",
"8037395052364110730298837004334506829870972346962140206007064471173334027475"
]
]
],
"IC": [
[
"16218905599826448895242028545807567741589768123958536096702191207973750214617",
"4537176114213662795725926208967156028505502267412490153839447145800430731445",
"1"
],
[
"7106984253856114116541967700095875958155405405691331755706133431590463035310",
"5817221333417605446908504558291553134261301633719184747703788480063534429312",
"1"
],
[
"1766660006446479618980561422106691857947511913922347502741022673540524715351",
"13140095120401486462041029359588642164115984248987638050831817716082082308054",
"1"
],
[
"8863075795233137578099804411078010343554420598505767553436858993514371089808",
"11044829890792557718217043948190745534428150041280266991293498166878997175005",
"1"
],
[
"12655352859534191364590785907334038300713650165056223806279095530501861144831",
"10922736113479847674440518376046258539973609312992490431456657242611432604632",
"1"
],
[
"14996133675380327151229720868626470300477745906678364703999354533619379625238",
"5145529836171022111353935241774945971168176768163015443107876645418989187519",
"1"
],
[
"13285401096558367914365497845061350465278877245156774900959448526977417845706",
"6001458813695364449105024118948453857686344273609286180097703046916738228373",
"1"
],
[
"3895720088633437982817217868088075883999156383103471599760013466612511751383",
"14666426593917190888381081101786007105128244528710830080040376486612324121521",
"1"
],
[
"5572625152876606568129324375530481372167611989920048248567094354516630236579",
"6716347073427300842035278401814619115019884478232131394361436561593403078247",
"1"
],
[
"10134312334954126246056338326242819166363746578737013060355613841611318154058",
"3524562595603937610816377697820970008911067578631632477762889250913793017116",
"1"
],
[
"3503742399253984735230373885468899706793596465312949993983811305649184258248",
"580404355773384068428593350019825711193826664088830713227361120418997449874",
"1"
],
[
"1594204818742989463295539930679197972197265303769344256551570155896758349082",
"18457554959053521842288257436850121309540181148060498209497158993343828132954",
"1"
],
[
"7722815216730514137171677248184842420716918527963933762413071918933108672030",
"8771713572797039653765392316998676683163033560770762629430372757211556923198",
"1"
],
[
"10327910756328756654418937901389915359444222830390828459655779616514476405806",
"11539565975794882679040830889975941653407232230332206539883201818643153447467",
"1"
],
[
"2612680725605364625871698075146115016016307008195275765764428431609664864012",
"7716659423576194779741597695086881546054296277526515971201354688196410154291",
"1"
],
[
"14442185447439485192660204577547661358042533309336275650767875087075531111320",
"6767267710264067116315360566405666002121686489099382132021090145813138947198",
"1"
]
]
}

View File

@@ -0,0 +1,124 @@
{
"protocol": "groth16",
"curve": "bn128",
"nPublic": 7,
"vk_alpha_1": [
"20491192805390485299153009773594534940189261866228447918068658471970481763042",
"9383485363053290200918347156157836566562967994039712273449902621266178545958",
"1"
],
"vk_beta_2": [
[
"6375614351688725206403948262868962793625744043794305715222011528459656738731",
"4252822878758300859123897981450591353533073413197771768651442665752259397132"
],
[
"10505242626370262277552901082094356697409835680220590971873171140371331206856",
"21847035105528745403288232691147584728191162732299865338377159692350059136679"
],
[
"1",
"0"
]
],
"vk_gamma_2": [
[
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
],
[
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
],
[
"1",
"0"
]
],
"vk_delta_2": [
[
"17307208169555205196993432313900727980384186594042618159219165269656548299277",
"11896889327360910708440854836161262251558763104555607465208844840587153993861"
],
[
"18673936487543105313625012277438804903438760441455592346677478050970007152629",
"6295171851432356563272715872180038030377040700307934254065753297905169011848"
],
[
"1",
"0"
]
],
"vk_alphabeta_12": [
[
[
"2029413683389138792403550203267699914886160938906632433982220835551125967885",
"21072700047562757817161031222997517981543347628379360635925549008442030252106"
],
[
"5940354580057074848093997050200682056184807770593307860589430076672439820312",
"12156638873931618554171829126792193045421052652279363021382169897324752428276"
],
[
"7898200236362823042373859371574133993780991612861777490112507062703164551277",
"7074218545237549455313236346927434013100842096812539264420499035217050630853"
]
],
[
[
"7077479683546002997211712695946002074877511277312570035766170199895071832130",
"10093483419865920389913245021038182291233451549023025229112148274109565435465"
],
[
"4595479056700221319381530156280926371456704509942304414423590385166031118820",
"19831328484489333784475432780421641293929726139240675179672856274388269393268"
],
[
"11934129596455521040620786944827826205713621633706285934057045369193958244500",
"8037395052364110730298837004334506829870972346962140206007064471173334027475"
]
]
],
"IC": [
[
"7577629107392985297190149685631035247710237637213815901629642261135725319204",
"4511210023358226725210916722016138781663550561696076911946107281282213910872",
"1"
],
[
"16129336533522170986026447384984343719961478764445439199351271434561543130017",
"11556170232755339683579527500257446974529450384062795572232290019547192654826",
"1"
],
[
"4164365559969027470567840390406762553877808295196744950312648007362960806403",
"281783767846248458517360895913056509781098537029686474222016066396275856325",
"1"
],
[
"21783136076820882775771048736833981924259786659412240716201527524473792846773",
"17325792878155631413520135735536133181134848274249313275316064136468281936892",
"1"
],
[
"10269173810795378887647935546288001557412889212708683337327808068501064789875",
"7300974751670697393070024253871518247697099701000740092418690938198680411177",
"1"
],
[
"5315097762140670158565584600490116094157412390833239887800001738922485077648",
"15135582211103807123516135608082860003305215566227052762254663536286187216764",
"1"
],
[
"15684949608827263513686905701138591888845646946498611477875386109839349568063",
"20041309004341399007120941293705005898515239536692692226724010725252872681766",
"1"
],
[
"8292706341529648915941357985567613159491608396122155506952309442788671993036",
"5324685688819076696912591238326675597334209326423884333054449615675151635746",
"1"
]
]
}