github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 20:28:36 +00:00
Code Issues Projects Releases Wiki Activity

improve js tests

Browse source
This commit is contained in:
dark64 2022-12-13 14:59:07 +01:00
parent ed9a0b5440
commit 097e707de4
1 changed files with 31 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

33
zokrates_js/tests/tests.js
View file

@ -192,21 +192,33 @@ describe("tests", () => {
assert.doesNotThrow(() => {
if (options.scheme === "marlin") {
const srs = provider.universalSetup(4);
const srs2 = provider.universalSetup(4);
// second call should return a new srs
assert.notDeepEqual(srs, srs2);
keypair = provider.setupWithSrs(srs, artifacts.program);
} else {
keypair = provider.setup(artifacts.program);
const keypair2 = provider.setup(artifacts.program);
// second call should return a new keypair
assert.notDeepEqual(keypair, keypair2);
}
});
});
it("setup (with user-provided entropy)", () => {
it("setup with user-provided entropy", () => {
assert.doesNotThrow(() => {
let entropy = "f5c51ca46c331965";
if (options.scheme === "marlin") {
const srs = provider.universalSetup(4, entropy);
const srs2 = provider.universalSetup(4, entropy);
// second call with the same entropy should return the same srs
assert.deepEqual(srs, srs2);
keypair = provider.setupWithSrs(srs, artifacts.program);
} else {
keypair = provider.setup(artifacts.program, entropy);
const keypair2 = provider.setup(artifacts.program, entropy);
// second call with the same entropy should return the same keypair
assert.deepEqual(keypair, keypair2);
}
});
});
@ -247,10 +259,18 @@ describe("tests", () => {
);
assert.ok(proof !== undefined);
assert.equal(proof.inputs.length, 2);
// second call should return a new proof
let proof2 = provider.generateProof(
artifacts.program,
computationResult.witness,
keypair.pk
);
assert.notDeepEqual(proof, proof2);
});
});
it("generate proof (with user-provided entropy)", () => {
it("generate proof with user-provided entropy", () => {
assert.doesNotThrow(() => {
let entropy = "326e2c864f414ffb";
proof = provider.generateProof(
@ -261,6 +281,15 @@ describe("tests", () => {
);
assert.ok(proof !== undefined);
assert.equal(proof.inputs.length, 2);
// second call with the same entropy should return the same proof
let proof2 = provider.generateProof(
artifacts.program,
computationResult.witness,
keypair.pk,
entropy
);
assert.deepEqual(proof, proof2);
});
});