tornado-packages/snarkjs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: tornado-packages:ee79410f4217221827c5bcbf7eb84b8853be3419
Branches Tags
tornado-packages:master tornado-packages:tornado-pool
...
compare: tornado-packages:master
Branches Tags
tornado-packages:tornado-pool tornado-packages:master

4 Commits
ee79410f42 ... master

Author SHA1 Message Date
Theo
672b738d06 Set as specific tornado cash package 2023-07-21 04:37:52 -07:00
gozzy
733c435f66 update commit history 2022-09-08 23:18:33 +00:00
gozzy
ae4309e189 initialise 2022-08-28 18:41:09 +00:00
poma
869181cfaf add verifyProof overload that accepts a single byte buffer of snark proof params 2019-11-08 00:50:02 +03:00
5 changed files with 68 additions and 43 deletions
Expand all files Collapse all files

6
cli.js Executable file → Normal file
View File

@@ -446,7 +446,7 @@ function generateVerifier_original(verificationKey) {
// The points
template = template.replace("<%vk_input_length%>", (verificationKey.IC.length-1).toString());
template = template.replace(/<%vk_input_length%>/g, (verificationKey.IC.length-1).toString());
template = template.replace("<%vk_ic_length%>", verificationKey.IC.length.toString());
let vi = "";
for (let i=0; i<verificationKey.IC.length; i++) {
@@ -488,7 +488,7 @@ function generateVerifier_groth(verificationKey) {
// The points
template = template.replace("<%vk_input_length%>", (verificationKey.IC.length-1).toString());
template = template.replace(/<%vk_input_length%>/g, (verificationKey.IC.length-1).toString());
template = template.replace("<%vk_ic_length%>", verificationKey.IC.length.toString());
let vi = "";
for (let i=0; i<verificationKey.IC.length; i++) {
@@ -529,7 +529,7 @@ function generateVerifier_kimleeoh(verificationKey) {
// The points
template = template.replace("<%vk_input_length%>", (verificationKey.IC.length-1).toString());
template = template.replace(/<%vk_input_length%>/g, (verificationKey.IC.length-1).toString());
template = template.replace("<%vk_ic_length%>", verificationKey.IC.length.toString());
let vi = "";
for (let i=0; i<verificationKey.IC.length; i++) {

4
package.json
View File

@@ -1,5 +1,5 @@
{
"name": "snarkjs",
"name": "@tornado/snarkjs",
"version": "0.1.20",
"description": "zkSNARKs implementation in JavaScript",
"main": "index.js",
@@ -25,7 +25,7 @@
"license": "GPL-3.0",
"repository": {
"type": "git",
"url": "https://github.com/iden3/snarkjs.git"
"url": "https://git.tornado.ws/tornado-packages/snarkjs"
},
"dependencies": {
"big-integer": "^1.6.43",

5
templates/verifier_groth.sol
View File

@@ -220,4 +220,9 @@ contract Verifier {
return false;
}
}
function verifyProof(bytes calldata proof, uint[<%vk_input_length%>] calldata inputs) external view returns (bool r) {
// solidity does not support decoding uint[2][2] yet
(uint[2] memory a, uint[2] memory b1, uint[2] memory b2, uint[2] memory c) = abi.decode(proof, (uint[2], uint[2], uint[2], uint[2]));
return verifyProof(a, [b1, b2], c, inputs);
}
}

5
templates/verifier_kimleeoh.sol
View File

@@ -211,4 +211,9 @@ contract Verifier {
return false;
}
}
function verifyProof(bytes calldata proof, uint[<%vk_input_length%>] calldata inputs) external view returns (bool r) {
// solidity does not support decoding uint[2][2] yet
(uint[2] memory a, uint[2] memory b1, uint[2] memory b2, uint[2] memory c) = abi.decode(proof, (uint[2], uint[2], uint[2], uint[2]));
return verifyProof(a, [b1, b2], c, inputs);
}
}

15
templates/verifier_original.sol
View File

@@ -238,6 +238,21 @@ contract Verifier {
return false;
}
}
function verifyProof(bytes calldata proof, uint[<%vk_input_length%>] calldata inputs) external view returns (bool r) {
// solidity does not support decoding uint[2][2] yet
(
uint[2] memory a,
uint[2] memory a_p,
uint[2] memory b1,
uint[2] memory b2,
uint[2] memory b_p,
uint[2] memory c,
uint[2] memory c_p,
uint[2] memory h,
uint[2] memory k
) = abi.decode(proof, (uint[2], uint[2], uint[2], uint[2], uint[2], uint[2], uint[2], uint[2], uint[2]));
return verifyProof(a, a_p, [b1, b2], b_p, c, c_p, h, k, inputs);
}
}