mirror of
https://github.com/tornadocash/tornado-core.git
synced 2024-10-31 23:35:20 +01:00
68 lines
2.5 KiB
Plaintext
68 lines
2.5 KiB
Plaintext
include "../node_modules/circomlib/circuits/bitify.circom";
|
|
include "../node_modules/circomlib/circuits/pedersen.circom";
|
|
include "merkleTree.circom";
|
|
|
|
// computes Pedersen(nullifier + secret)
|
|
template CommitmentHasher() {
|
|
signal input nullifier;
|
|
signal input secret;
|
|
signal output commitment;
|
|
signal output nullifierHash;
|
|
|
|
component commitmentHasher = Pedersen(496);
|
|
component nullifierHasher = Pedersen(248);
|
|
component nullifierBits = Num2Bits(248);
|
|
component secretBits = Num2Bits(248);
|
|
nullifierBits.in <== nullifier;
|
|
secretBits.in <== secret;
|
|
for (var i = 0; i < 248; i++) {
|
|
nullifierHasher.in[i] <== nullifierBits.out[i];
|
|
commitmentHasher.in[i] <== nullifierBits.out[i];
|
|
commitmentHasher.in[i + 248] <== secretBits.out[i];
|
|
}
|
|
|
|
commitment <== commitmentHasher.out[0];
|
|
nullifierHash <== nullifierHasher.out[0];
|
|
}
|
|
|
|
// Verifies that commitment that corresponds to given secret and nullifier is included in the merkle tree of deposits
|
|
template Withdraw(levels) {
|
|
signal input root;
|
|
signal input nullifierHash;
|
|
signal input recipient; // not taking part in any computations
|
|
signal input relayer; // not taking part in any computations
|
|
signal input fee; // not taking part in any computations
|
|
signal input refund; // not taking part in any computations
|
|
signal private input nullifier;
|
|
signal private input secret;
|
|
signal private input pathElements[levels];
|
|
signal private input pathIndices[levels];
|
|
|
|
component hasher = CommitmentHasher();
|
|
hasher.nullifier <== nullifier;
|
|
hasher.secret <== secret;
|
|
hasher.nullifierHash === nullifierHash;
|
|
|
|
component tree = MerkleTreeChecker(levels);
|
|
tree.leaf <== hasher.commitment;
|
|
tree.root <== root;
|
|
for (var i = 0; i < levels; i++) {
|
|
tree.pathElements[i] <== pathElements[i];
|
|
tree.pathIndices[i] <== pathIndices[i];
|
|
}
|
|
|
|
// Add hidden signals to make sure that tampering with recipient or fee will invalidate the snark proof
|
|
// Most likely it is not required, but it's better to stay on the safe side and it only takes 2 constraints
|
|
// Squares are used to prevent optimizer from removing those constraints
|
|
signal recipientSquare;
|
|
signal feeSquare;
|
|
signal relayerSquare;
|
|
signal refundSquare;
|
|
recipientSquare <== recipient * recipient;
|
|
feeSquare <== fee * fee;
|
|
relayerSquare <== relayer * relayer;
|
|
refundSquare <== refund * refund;
|
|
}
|
|
|
|
component main = Withdraw(20);
|