github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

update tests

Browse source
This commit is contained in:
dark64 2021-05-26 18:30:00 +02:00
parent 732dd27921
commit ddd5aa4ee8
4 changed files with 11 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_cli/examples/merkleTree/pedersenPathProof3.zok
View file

@ -1,15 +1,11 @@
import "hashes/pedersen/512bit" as hash
import "ecc/edwardsCompress" as edwardsCompress
import "ecc/babyjubjubParams" as context
from "ecc/babyjubjubParams" import BabyJubJubParams
import "hashes/utils/256bitsDirectionHelper" as multiplex
// Merke-Tree inclusion proof for tree depth 3 using SNARK efficient pedersen hashes
// directionSelector=> true if current digest is on the rhs of the hash
def main(u32[8] rootDigest, private u32[8] leafDigest, private bool[3] directionSelector, u32[8] PathDigest0, private u32[8] PathDigest1, private u32[8] PathDigest2):
BabyJubJubParams context = context()
//Setup
u32[8] currentDigest = leafDigest

14
zokrates_js/Cargo.lock generated
View file

@ -1159,7 +1159,7 @@ checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
[[package]]
name = "zokrates_abi"
version = "0.1.3"
version = "0.1.4"
dependencies = [
"serde",
"serde_derive",
@ -1174,7 +1174,7 @@ version = "0.1.0"
[[package]]
name = "zokrates_core"
version = "0.5.3"
version = "0.6.3"
dependencies = [
"bellman_ce",
"bincode 0.8.0",
@ -1202,7 +1202,7 @@ dependencies = [
[[package]]
name = "zokrates_embed"
version = "0.1.1"
version = "0.1.2"
dependencies = [
"bellman_ce",
"sapling-crypto_ce",
@ -1210,7 +1210,7 @@ dependencies = [
[[package]]
name = "zokrates_field"
version = "0.3.7"
version = "0.4.0"
dependencies = [
"bellman_ce",
"bincode 0.8.0",
@ -1226,7 +1226,7 @@ dependencies = [
[[package]]
name = "zokrates_js"
version = "1.0.27"
version = "1.0.32"
dependencies = [
"bincode 1.3.1",
"console_error_panic_hook",
@ -1242,7 +1242,7 @@ dependencies = [
[[package]]
name = "zokrates_parser"
version = "0.1.6"
version = "0.2.2"
dependencies = [
"pest",
"pest_derive",
@ -1250,7 +1250,7 @@ dependencies = [
[[package]]
name = "zokrates_pest_ast"
version = "0.1.5"
version = "0.2.2"
dependencies = [
"from-pest",
"lazy_static",

2
zokrates_js/package-lock.json generated
View file

@ -1,6 +1,6 @@
{
"name": "zokrates-js",
"version": "1.0.28",
"version": "1.0.32",
"lockfileVersion": 1,
"requires": true,
"dependencies": {

4
zokrates_js/tests/tests.js
View file

@ -25,8 +25,10 @@ describe('tests', function() {
it('should resolve stdlib module', function() {
const stdlib = require('../stdlib.json');
const key = "utils/casts/u32_to_bits.zok";
assert.ok(key in stdlib);
assert.doesNotThrow(() => {
const code = `import "${Object.keys(stdlib)[0]}" as func\ndef main(): return`;
const code = `import "${key}" as to_bits\ndef main(): return`;
this.zokrates.compile(code);
});
});