dark64
|
44451ec581
|
fix constant inlining for tuples
|
2022-06-20 01:30:40 +02:00 |
|
schaeff
|
4cee2d7f03
|
update zjs
|
2022-05-20 16:19:57 +02:00 |
|
schaeff
|
6b36e4b23b
|
clippy
|
2022-05-18 13:33:22 +02:00 |
|
schaeff
|
dac05b5a90
|
fix libsnark
|
2022-05-18 13:12:06 +02:00 |
|
schaeff
|
5cfb2a9055
|
add curve and scheme to vk and proof, remove options from cli and detect automatically
|
2022-05-18 12:55:49 +02:00 |
|
dark64
|
d558bced69
|
fix tuple assignment when rhs is a conditional
|
2022-04-27 14:30:16 +02:00 |
|
schaeff
|
a4229310d5
|
bump versions, generate changelog
|
2022-04-18 18:37:43 +02:00 |
|
Thibaut Schaeffer
|
18894ded28
|
Merge pull request #1129 from Zokrates/fix-bits-cache-bitwidth
Fix bits cache panic due to different bitwidths
|
2022-04-13 19:02:13 +02:00 |
|
schaeff
|
d28f2a44f5
|
be less strict on cached bits bitwidth
|
2022-04-13 16:23:02 +02:00 |
|
dark64
|
762c0c7f35
|
fix ci config
|
2022-04-12 15:57:42 +02:00 |
|
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 |
|