-
Notifications
You must be signed in to change notification settings - Fork 82
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
ffc2960
commit 1efdbec
Showing
3 changed files
with
46 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
pragma circom 2.1.6; | ||
|
||
template BodyMasker(maxBodyLength) { | ||
signal input body[maxBodyLength]; | ||
signal input mask[maxBodyLength]; | ||
signal output masked_body[maxBodyLength]; | ||
|
||
for (var i = 0; i < maxBodyLength; i++) { | ||
masked_body[i] <== body[i] * mask[i]; | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,30 @@ | ||
import { wasm as wasm_tester } from "circom_tester"; | ||
import path from "path"; | ||
|
||
describe("BodyMasker Circuit", () => { | ||
let circuit: any; | ||
|
||
beforeAll(async () => { | ||
circuit = await wasm_tester( | ||
path.join(__dirname, "./test-circuits/body-masker-test.circom"), | ||
{ | ||
recompile: true, | ||
include: path.join(__dirname, "../../../node_modules"), | ||
output: path.join(__dirname, "./compiled-test-circuits"), | ||
} | ||
); | ||
}); | ||
|
||
it("should mask the body correctly", async () => { | ||
const input = { | ||
body: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], | ||
mask: [1, 0, 1, 0, 1, 0, 1, 0, 1, 0], | ||
}; | ||
|
||
const witness = await circuit.calculateWitness(input); | ||
await circuit.checkConstraints(witness); | ||
await circuit.assertOut(witness, { | ||
masked_body: [1, 0, 3, 0, 5, 0, 7, 0, 9, 0], | ||
}); | ||
}); | ||
}); |
5 changes: 5 additions & 0 deletions
5
packages/circuits/tests/test-circuits/body-masker-test.circom
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
pragma circom 2.1.6; | ||
|
||
include "../../helpers/body-masker.circom"; | ||
|
||
component main = BodyMasker(10); |