-
Notifications
You must be signed in to change notification settings - Fork 28
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
Showing
3 changed files
with
49 additions
and
15 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 |
---|---|---|
@@ -1,2 +1,36 @@ | ||
# circom_tester | ||
# circom tester | ||
## Setup | ||
1. Create new node js project. | ||
2. Install `circom_tester` and `chai` packges. | ||
3. Install `mocha` packge to run the tests. | ||
|
||
|
||
## Creating & Running a test file | ||
|
||
Create a js file contain the following code or use the src provided in the following section. | ||
<br>Execue `mocha -p -r ts-node/register 'multiplier2.js'` to run the test file. | ||
|
||
multiplier2.js ([src](test/multiplier2.js)) | ||
``` multiplier2.js | ||
const chai = require("chai"); | ||
const path = require("path"); | ||
const wasm_tester = require("./../index").wasm; | ||
const c_tester = require("./../index").c; | ||
|
||
const F1Field = require("ffjavascript").F1Field; | ||
const Scalar = require("ffjavascript").Scalar; | ||
exports.p = Scalar.fromString("21888242871839275222246405745257275088548364400416034343698204186575808495617"); | ||
const Fr = new F1Field(exports.p); | ||
|
||
const assert = chai.assert; | ||
|
||
describe("Simple test", function () { | ||
this.timeout(100000); | ||
|
||
it("Checking the compilation of a simple circuit generating wasm", async function () { | ||
const circuit = await wasm_tester(path.join(__dirname, "Multiplier2circom")); | ||
const w = await circuit.calculateWitness({a: 2, b: 4}); | ||
await circuit.checkConstraints(w); | ||
}); | ||
}); | ||
``` |
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
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