1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Commit graph

1788 commits

Author SHA1 Message Date
dark64
c1b05e01ff merge develop, resolve conflicts 2022-04-12 15:54:14 +02:00
schaeff
2c1ffccb75 bump versions, generate changelog 2022-04-11 15:47:03 +02:00
schaeff
134414731d merge remote 2022-04-11 10:14:19 +02:00
schaeff
50a083ac25 Merge branch 'develop' of github.com:Zokrates/ZoKrates into marlin-solidity-verifier 2022-04-11 10:09:46 +02:00
schaeff
e79eee26f1 merge dev 2022-04-08 12:24:36 +02:00
schaeff
e3f536a820 merge develop 2022-04-08 11:49:02 +02:00
schaeff
bc237d1df0 make static analysis private 2022-04-07 18:30:35 +02:00
schaeff
eddb0138ad fix js, change proof tampering 2022-04-07 12:48:16 +02:00
schaeff
03a533af2c fix serialization 2022-04-07 10:53:16 +02:00
schaeff
64f99d75fb detect unconstrained variables 2022-04-06 15:40:16 +02:00
schaeff
2adc7f1ccc add constraint count 2022-04-06 12:51:44 +02:00
schaeff
096ca88535 fix wasm ci issue by removing solc from zokrates_core 2022-04-05 16:39:04 +02:00
schaeff
6588f103dc fix test 2022-04-05 09:33:39 +02:00
schaeff
19616722fa clippy 2022-04-04 19:35:01 +02:00
schaeff
c266d66f70 fix libsnark 2022-04-04 19:13:07 +02:00
schaeff
0bc5e0acd3 merge dev 2022-04-04 15:50:54 +02:00
schaeff
d819d6668c fix dependencies 2022-04-04 15:44:55 +02:00
schaeff
fc8de3e1f2 clean 2022-04-04 15:37:03 +02:00
schaeff
8d9064797c implement contract testing for all schemes 2022-03-31 18:53:28 +02:00
schaeff
30483984a8 wip 2022-03-31 13:57:37 +02:00
Thibaut Schaeffer
21e8fc103f
Merge pull request #1081 from Zokrates/add-tuples
Implement tuples
2022-03-16 11:19:40 +01:00
schaeff
360fbabb46 Merge branch 'develop' of github.com:Zokrates/ZoKrates into use-abi-in-tests 2022-03-16 10:40:47 +01:00
dark64
9c5604d81d clippy 2022-03-15 20:36:23 +01:00
dark64
92d84a869e remove git2 2022-03-15 20:32:54 +01:00
dark64
2a9a6cd596 test 2022-03-15 19:44:32 +01:00
dark64
ebfeed74ef update git2 2022-03-15 19:13:35 +01:00
schaeff
efb2c8a492 tweaks 2022-03-14 16:31:17 +01:00
Nirvan Tyagi
b8a79d4dda cargo fmt 2022-02-24 22:45:00 -08:00
Nirvan Tyagi
30f6f4c697 Clean up 2022-02-24 22:36:35 -08:00
Nirvan Tyagi
a15ffde0f5 Complete: second linear combination check succeeds 2022-02-24 21:46:47 -08:00
Nirvan Tyagi
3eecb615dc Checkpoint: Verification of first linear combination succeeds 2022-02-24 18:23:50 -08:00
Nirvan Tyagi
c862789afc Checkpoint: verifier generates all challenges correctly 2022-02-23 22:06:36 -08:00
Nirvan Tyagi
93b5a3ba12 Fiat-Shamir initialization with Keccak256-derived challenges 2022-02-22 16:40:31 -08:00
Nirvan Tyagi
edd122b062 Marlin contract verifier key and proof parsing 2022-02-21 15:36:14 -08:00
dark64
2de6823ae9 merge develop, fix conflicts 2022-02-21 03:02:58 +01:00
Nirvan Tyagi
36dfba355e Merge marlin structured output branch 2022-02-18 16:35:53 -08:00
dark64
aea4ecf937 merge develop 2022-02-14 12:25:08 +01:00
dark64
4fcb24af56 remove usize cast in abi encoding 2022-02-08 21:04:21 +01:00
dark64
3749204cf0 fix abi, add test for tuples 2022-02-02 15:44:28 +01:00
dark64
4a36259e40 cleanup 2022-01-31 14:03:01 +01:00
dark64
81198ba6fc fix constants, update js tests 2022-01-28 13:59:29 +01:00
dark64
8659b7533c merge develop, refactor 2022-01-28 12:13:32 +01:00
dark64
7fb5cf01ef wip 2022-01-26 14:39:08 +01:00
Thibaut Schaeffer
cf538e5273
Merge pull request #1093 from Zokrates/deploy
Merge 0.7.11
2022-01-25 12:05:23 +01:00
Thibaut Schaeffer
b30d247b59
Merge pull request #1080 from Zokrates/optimize-range-check
Optimize range check
2022-01-24 10:50:14 +01:00
schaeff
6a51bb9cb2 remove clone 2022-01-21 16:32:55 +01:00
schaeff
6b8606f78f clean 2022-01-21 16:31:58 +01:00
schaeff
21b843fa78 clean 2022-01-21 15:37:23 +01:00
schaeff
5af047c232 wip 2022-01-21 14:24:12 +01:00
dark64
330705b3fe add comments 2022-01-21 13:03:56 +01:00