dark64
|
b2dab8677b
|
clang-format
|
2020-10-14 19:51:52 +02:00 |
|
dark64
|
66438e8610
|
libsnark refactor
|
2020-10-14 18:57:12 +02:00 |
|
dark64
|
4b2dd517b7
|
remove test dir
|
2020-10-09 12:54:19 +02:00 |
|
Thibaut Schaeffer
|
6e1b874187
|
Merge pull request #682 from Zokrates/fix-compile-examples
fix tests of compile issues, change struct handling to make tests pass
|
2020-10-08 11:22:18 +02:00 |
|
schaeff
|
2b3183a6d3
|
fix tests of compile issues, change struct handling to make tests pass
|
2020-10-08 10:43:14 +02:00 |
|
dark64
|
5de2d3a9b2
|
features fix
|
2020-10-07 15:23:07 +02:00 |
|
dark64
|
999f9017d5
|
remove github workflow
|
2020-10-06 15:58:52 +02:00 |
|
dark64
|
3a9354f7d3
|
limit test threads to 1 for integration tests
|
2020-10-06 15:40:06 +02:00 |
|
dark64
|
b7270008d0
|
add verify to zokrates js
|
2020-10-06 15:08:11 +02:00 |
|
dark64
|
9505186648
|
separate zexe as a feature
|
2020-10-06 12:46:43 +02:00 |
|
dark64
|
4c245ba755
|
update wasm-bindgen-test version
|
2020-10-05 15:32:31 +02:00 |
|
dark64
|
23791b2052
|
stdlib cleanup
|
2020-10-05 15:16:52 +02:00 |
|
dark64
|
aa81666d8a
|
remove old imports
|
2020-10-05 14:28:28 +02:00 |
|
dark64
|
978877a2bc
|
update num-bigint version
|
2020-10-05 14:11:25 +02:00 |
|
dark64
|
4cfedfb79d
|
merge develop
|
2020-10-05 13:50:04 +02:00 |
|
dark64
|
409ae350f7
|
remove FqeRepr
|
2020-10-05 13:16:49 +02:00 |
|
dark64
|
c974499f91
|
fix zokrates js
|
2020-10-02 13:13:29 +02:00 |
|
dark64
|
9a35bfae55
|
revert zexe to offical git repo, use FromBytes to construct g1 and g2
|
2020-10-02 12:59:14 +02:00 |
|
dark64
|
b54f03c4e5
|
[zexe] remove regex parsing of g1, g2
|
2020-10-02 11:19:11 +02:00 |
|
Thibaut Schaeffer
|
b561614f4a
|
Merge pull request #680 from Zokrates/fix-call-identifier-version-encoding
Stop encoding call identifier counter in ssa version
|
2020-10-01 16:28:48 +02:00 |
|
schaeff
|
a9e42c40da
|
implement caching, move call count
|
2020-10-01 16:17:36 +02:00 |
|
schaeff
|
6c966e8f92
|
stop encoding call identifier with ssa version
|
2020-10-01 14:44:23 +02:00 |
|
dark64
|
6e7a1c958f
|
refactor proof system
|
2020-09-29 18:47:08 +02:00 |
|
Thibaut Schaeffer
|
d541ab2241
|
Merge pull request #678 from Zokrates/update-pedersen
update generated pedersen
|
2020-09-29 15:22:00 +02:00 |
|
schaeff
|
90513aa745
|
update generated pedersen
|
2020-09-28 15:20:51 +02:00 |
|
dark64
|
3e12130c30
|
generic vk and proof points in zexe gm17
|
2020-09-28 11:38:37 +02:00 |
|
dark64
|
8ff2b57bb2
|
minor changes
|
2020-09-28 11:24:20 +02:00 |
|
dark64
|
6e5b097045
|
add FqeRepr associative type to zexe field extensions
|
2020-09-24 13:33:36 +02:00 |
|
Thibaut Schaeffer
|
0dcd846449
|
Merge pull request #670 from dark64/fix-serialize
Add custom serializer for Type, set raw field as optional in proof
|
2020-09-24 11:36:13 +02:00 |
|
dark64
|
287b2b8f47
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
Thibaut Schaeffer
|
e94f554f89
|
Merge pull request #674 from dark64/field-range-check
Field constant range check
|
2020-09-23 13:54:23 +02:00 |
|
dark64
|
558788f8d4
|
fix mimc7 tests, remove unused config param in zokrates_js
|
2020-09-22 20:16:28 +02:00 |
|
Thibaut Schaeffer
|
bbd343029a
|
Merge pull request #676 from dark64/solidity-contract-fix
Fix solidity pairing lib v2
|
2020-09-22 19:46:19 +02:00 |
|
dark64
|
79f23f8139
|
remove euclidean division, comment JUBJUBE from babyjubjubParams
|
2020-09-22 13:36:59 +02:00 |
|
dark64
|
129902491f
|
fix undeclared input in contract
|
2020-09-22 13:11:28 +02:00 |
|
dark64
|
3dec9d6cb0
|
add SPDX license identifier
|
2020-09-22 11:49:55 +02:00 |
|
dark64
|
d7c45e5bd0
|
fix integration test
|
2020-09-22 11:19:26 +02:00 |
|
dark64
|
d99eed7939
|
fix solidity pairing lib v2, test both abi versions in integration tests
|
2020-09-17 19:37:44 +02:00 |
|
dark64
|
ee319a077c
|
add TryFrom<BigUint> to Field
|
2020-09-17 19:01:30 +02:00 |
|
dark64
|
bb938dbcf5
|
fix range check, add unit tests for field constant range check (max and max + 1)
|
2020-09-14 13:01:19 +02:00 |
|
dark64
|
b9d033bc8d
|
field constant range check
|
2020-09-11 00:45:58 +02:00 |
|
dark64
|
41b5a14d5b
|
strict types
|
2020-09-01 16:11:52 +02:00 |
|
dark64
|
94ffc6e570
|
strict mapping in type deserialization
|
2020-08-25 17:00:43 +02:00 |
|
Thibaut Schaeffer
|
391b93134f
|
Merge pull request #671 from Zokrates/master
Merge master back
|
2020-08-14 16:36:35 +02:00 |
|
dark64
|
676d4e291a
|
add custom serializer for Type, set raw field as optional in proof
|
2020-08-14 15:27:13 +02:00 |
|
Thibaut Schaeffer
|
b0a0dd265f
|
Merge pull request #669 from Zokrates/rc/0.6.1
Release 0.6.1
|
2020-08-14 13:15:37 +02:00 |
|
schaeff
|
07051a87fa
|
bump versions, force tag
|
2020-08-14 12:25:09 +02:00 |
|
Thibaut Schaeffer
|
6c1b73e398
|
Merge pull request #623 from dark64/stdlib-cli-argument
Add stdlib path argument to cli
|
2020-08-14 12:18:53 +02:00 |
|
Thibaut Schaeffer
|
5875a4d70f
|
Update zokrates_fs_resolver/src/lib.rs
|
2020-08-14 12:18:00 +02:00 |
|
dark64
|
ace1753355
|
fix conflicts, revert default value for --stdlib-path flag
|
2020-08-13 19:00:09 +02:00 |
|