Skip to content

Commit

Permalink
redo proof generation
Browse files Browse the repository at this point in the history
  • Loading branch information
@AlpinYukseloglu
AlpinYukseloglu committed Apr 18, 2023
1 parent 01952a8 commit 2859dec
Show file tree
Hide file tree
Showing 19 changed files with 1,111 additions and 0 deletions.
Binary file added challenge_phase2_0003
View file
Binary file not shown.
Binary file added example.r1cs
View file
Binary file not shown.
335 changes: 335 additions & 0 deletions example.r1cs.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,335 @@
{
"n8": 32,
"prime": "21888242871839275222246405745257275088548364400416034343698204186575808495617",
"nVars": 24,
"nOutputs": 0,
"nPubInputs": 1,
"nPrvInputs": 3,
"nLabels": 39,
"nConstraints": 23,
"useCustomGates": false,
"constraints": [
[
{
"2": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"3": "1"
},
{
"5": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
}
],
[
{
"5": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"4": "1"
},
{
"1": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
}
],
[
{
"0": "1",
"6": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"6": "1"
},
{
}
],
[
{
"0": "1",
"7": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"7": "1"
},
{
}
],
[
{
"0": "1",
"8": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"8": "1"
},
{
}
],
[
{
"0": "1",
"9": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"9": "1"
},
{
}
],
[
{
"0": "1",
"10": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"10": "1"
},
{
}
],
[
{
"0": "1",
"11": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"11": "1"
},
{
}
],
[
{
"0": "21717240974403030884572605700372452626919080303537784075388061966368184991746",
"2": "171001897436244337673800044884822461629284096878250268310142220207623503872",
"6": "21546239076966786546898805655487630165289796206659533807077919746160561487873",
"7": "21204235282094297871551205565717985242031228012903033270457635305745314480129",
"8": "20520227692349320520856005386178695395514091625390032197217066424914820464641",
"9": "19152212512859365819465605027100115702479818850364030050735928663253832433665",
"10": "16416182153879456416684804308942956316411273300312025757773653139931856371713",
"11": "10944121435919637611123202872628637544274182200208017171849102093287904247809"
},
{
"0": "171001897436244337673800044884822461629284096878250268310142220207623503872",
"2": "21717240974403030884572605700372452626919080303537784075388061966368184991745",
"6": "342003794872488675347600089769644923258568193756500536620284440415247007744",
"7": "684007589744977350695200179539289846517136387513001073240568880830494015488",
"8": "1368015179489954701390400359078579693034272775026002146481137761660988030976",
"9": "2736030358979909402780800718157159386068545550052004292962275523321976061952",
"10": "5472060717959818805561601436314318772137091100104008585924551046643952123904",
"11": "10944121435919637611123202872628637544274182200208017171849102093287904247808"
},
{
}
],
[
{
"0": "1",
"12": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"12": "1"
},
{
}
],
[
{
"0": "1",
"13": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"13": "1"
},
{
}
],
[
{
"0": "1",
"14": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"14": "1"
},
{
}
],
[
{
"0": "1",
"15": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"15": "1"
},
{
}
],
[
{
"0": "1",
"16": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"16": "1"
},
{
}
],
[
{
"0": "1",
"17": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"17": "1"
},
{
}
],
[
{
"0": "21717240974403030884572605700372452626919080303537784075388061966368184991746",
"3": "171001897436244337673800044884822461629284096878250268310142220207623503872",
"12": "21546239076966786546898805655487630165289796206659533807077919746160561487873",
"13": "21204235282094297871551205565717985242031228012903033270457635305745314480129",
"14": "20520227692349320520856005386178695395514091625390032197217066424914820464641",
"15": "19152212512859365819465605027100115702479818850364030050735928663253832433665",
"16": "16416182153879456416684804308942956316411273300312025757773653139931856371713",
"17": "10944121435919637611123202872628637544274182200208017171849102093287904247809"
},
{
"0": "171001897436244337673800044884822461629284096878250268310142220207623503872",
"3": "21717240974403030884572605700372452626919080303537784075388061966368184991745",
"12": "342003794872488675347600089769644923258568193756500536620284440415247007744",
"13": "684007589744977350695200179539289846517136387513001073240568880830494015488",
"14": "1368015179489954701390400359078579693034272775026002146481137761660988030976",
"15": "2736030358979909402780800718157159386068545550052004292962275523321976061952",
"16": "5472060717959818805561601436314318772137091100104008585924551046643952123904",
"17": "10944121435919637611123202872628637544274182200208017171849102093287904247808"
},
{
}
],
[
{
"0": "1",
"18": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"18": "1"
},
{
}
],
[
{
"0": "1",
"19": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"19": "1"
},
{
}
],
[
{
"0": "1",
"20": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"20": "1"
},
{
}
],
[
{
"0": "1",
"21": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"21": "1"
},
{
}
],
[
{
"0": "1",
"22": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"22": "1"
},
{
}
],
[
{
"0": "1",
"23": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
},
{
"23": "1"
},
{
}
],
[
{
"0": "21717240974403030884572605700372452626919080303537784075388061966368184991746",
"4": "171001897436244337673800044884822461629284096878250268310142220207623503872",
"18": "21546239076966786546898805655487630165289796206659533807077919746160561487873",
"19": "21204235282094297871551205565717985242031228012903033270457635305745314480129",
"20": "20520227692349320520856005386178695395514091625390032197217066424914820464641",
"21": "19152212512859365819465605027100115702479818850364030050735928663253832433665",
"22": "16416182153879456416684804308942956316411273300312025757773653139931856371713",
"23": "10944121435919637611123202872628637544274182200208017171849102093287904247809"
},
{
"0": "171001897436244337673800044884822461629284096878250268310142220207623503872",
"4": "21717240974403030884572605700372452626919080303537784075388061966368184991745",
"18": "342003794872488675347600089769644923258568193756500536620284440415247007744",
"19": "684007589744977350695200179539289846517136387513001073240568880830494015488",
"20": "1368015179489954701390400359078579693034272775026002146481137761660988030976",
"21": "2736030358979909402780800718157159386068545550052004292962275523321976061952",
"22": "5472060717959818805561601436314318772137091100104008585924551046643952123904",
"23": "10944121435919637611123202872628637544274182200208017171849102093287904247808"
},
{
}
]
],
"map": [
0,
1,
2,
3,
4,
7,
11,
12,
13,
14,
15,
16,
21,
22,
23,
24,
25,
26,
31,
32,
33,
34,
35,
36
],
"customGates": [
],
"customGatesUses": [
]
}
38 changes: 38 additions & 0 deletions example.sym
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
1,1,2,main.product
2,2,2,main.factors[0]
3,3,2,main.factors[1]
4,4,2,main.factors[2]
5,-1,2,main.partialProducts[0]
6,-1,2,main.partialProducts[1]
7,5,2,main.partialProducts[2]
8,-1,2,main.partialProducts[3]
9,-1,1,main.smallOdd[0].in
10,-1,0,main.smallOdd[0].binaryDecomposition.bits[0]
11,6,0,main.smallOdd[0].binaryDecomposition.bits[1]
12,7,0,main.smallOdd[0].binaryDecomposition.bits[2]
13,8,0,main.smallOdd[0].binaryDecomposition.bits[3]
14,9,0,main.smallOdd[0].binaryDecomposition.bits[4]
15,10,0,main.smallOdd[0].binaryDecomposition.bits[5]
16,11,0,main.smallOdd[0].binaryDecomposition.bits[6]
17,-1,0,main.smallOdd[0].binaryDecomposition.bits[7]
18,-1,0,main.smallOdd[0].binaryDecomposition.in
19,-1,1,main.smallOdd[1].in
20,-1,0,main.smallOdd[1].binaryDecomposition.bits[0]
21,12,0,main.smallOdd[1].binaryDecomposition.bits[1]
22,13,0,main.smallOdd[1].binaryDecomposition.bits[2]
23,14,0,main.smallOdd[1].binaryDecomposition.bits[3]
24,15,0,main.smallOdd[1].binaryDecomposition.bits[4]
25,16,0,main.smallOdd[1].binaryDecomposition.bits[5]
26,17,0,main.smallOdd[1].binaryDecomposition.bits[6]
27,-1,0,main.smallOdd[1].binaryDecomposition.bits[7]
28,-1,0,main.smallOdd[1].binaryDecomposition.in
29,-1,1,main.smallOdd[2].in
30,-1,0,main.smallOdd[2].binaryDecomposition.bits[0]
31,18,0,main.smallOdd[2].binaryDecomposition.bits[1]
32,19,0,main.smallOdd[2].binaryDecomposition.bits[2]
33,20,0,main.smallOdd[2].binaryDecomposition.bits[3]
34,21,0,main.smallOdd[2].binaryDecomposition.bits[4]
35,22,0,main.smallOdd[2].binaryDecomposition.bits[5]
36,23,0,main.smallOdd[2].binaryDecomposition.bits[6]
37,-1,0,main.smallOdd[2].binaryDecomposition.bits[7]
38,-1,0,main.smallOdd[2].binaryDecomposition.in
Binary file added example_0000.zkey
View file
Binary file not shown.
Binary file added example_0001.zkey
View file
Binary file not shown.
Binary file added example_0002.zkey
View file
Binary file not shown.
Binary file added example_0003.zkey
View file
Binary file not shown.
Binary file added example_final.zkey
View file
Binary file not shown.
Binary file added example_js/example.wasm
View file
Binary file not shown.
20 changes: 20 additions & 0 deletions example_js/generate_witness.js
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
const wc = require("./witness_calculator.js");
const { readFileSync, writeFile } = require("fs");

if (process.argv.length != 5) {
console.log("Usage: node generate_witness.js <file.wasm> <input.json> <output.wtns>");
} else {
const input = JSON.parse(readFileSync(process.argv[3], "utf8"));

const buffer = readFileSync(process.argv[2]);
wc(buffer).then(async witnessCalculator => {
// const w= await witnessCalculator.calculateWitness(input,0);
// for (let i=0; i< w.length; i++){
// console.log(w[i]);
// }
const buff= await witnessCalculator.calculateWTNSBin(input,0);
writeFile(process.argv[4], buff, function(err) {
if (err) throw err;
});
});
}
Loading

0 comments on commit 2859dec

Please sign in to comment.