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

wip

Browse source
This commit is contained in:
schaeff 2020-07-16 11:31:19 +02:00
parent dd258f1e6a
commit 07c8a25568
3 changed files with 1106 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

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

1105
zokrates_js/Cargo.lock generated Normal file
View file

File diff suppressed because it is too large Load diff

2
zokrates_js/tests/tests.js
View file

@ -26,8 +26,6 @@ describe('tests', function() {
it('should resolve stdlib module', function() {
assert.doesNotThrow(() => {
const code = `
import "hashes/sha256/512bit" as sha256
import "ecc/edwardsAdd" as edwardsAdd
def main() -> ():
return
`;