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

79 commits

Author SHA1 Message Date
dark64
b7270008d0 add verify to zokrates js 2020-10-06 15:08:11 +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
9a35bfae55 revert zexe to offical git repo, use FromBytes to construct g1 and g2 2020-10-02 12:59:14 +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
dark64
287b2b8f47 zexe iter-1 2020-09-23 21:08:31 +02:00
dark64
79f23f8139 remove euclidean division, comment JUBJUBE from babyjubjubParams 2020-09-22 13:36:59 +02:00
dark64
ee319a077c add TryFrom<BigUint> to Field 2020-09-17 19:01:30 +02:00
schaeff
f502120508 bump versions 2020-08-06 18:50:12 +02:00
schaeff
9afa3cae10 fix conflict 2020-07-16 16:48:51 +02:00
ErikP0
44645fc926 Groth16 proof verification uses points in struct for verification 2020-07-16 14:53:36 +02:00
schaeff
3f2cc02d9e merge dev 2020-06-04 17:01:32 +02:00
schaeff
52d50d12ad fix conflicts 2020-06-04 16:15:10 +02:00
schaeff
7b13fb2233 update example to that of issue, bump version numbers 2020-06-04 12:34:13 +02:00
schaeff
c7503280b1 fix test 2020-06-03 15:43:52 +02:00
schaeff
6b691934f8 fix deps 2020-06-03 15:08:13 +02:00
schaeff
710f7dbffe fix bellman deps 2020-06-03 14:52:29 +02:00
schaeff
f37c28230c introduce strict lt check, test with modified interpreter 2020-06-03 13:47:46 +02:00
schaeff
c3228f81e1 implement constrained lt 2020-06-02 15:36:22 +02:00
schaeff
e4b5820722 add tests, refine uint optimizer 2020-05-28 15:28:47 +02:00
schaeff
23ffe25429 Merge branch 'develop' of github.com:Zokrates/ZoKrates into u8-playground 2020-05-19 12:54:57 +02:00
schaeff
1b942bae33 bump version niumbers for bellman tools 2020-05-18 17:40:40 +02:00
schaeff
0951d7d14c merge dev 2020-05-11 16:07:40 +02:00
schaeff
716f9e45ce merge dev 2020-05-07 17:18:22 +02:00
schaeff
84d3eb38e4 implement or 2020-05-05 14:30:24 +02:00
schaeff
5a145921d4 implement sub, clean 2020-05-04 19:39:44 +02:00
schaeff
2be4859b28 refactor uint optimizer, remove bitwidth 2020-04-29 14:20:38 +02:00
dark64
4dab919d92 merge dev, fix conflicts 2020-04-27 19:46:48 +02:00
schaeff
aabb9c5964 fix bellman version 2020-04-23 15:47:42 +02:00
schaeff
c802077b74 add macro to restrict compilation to a given curve 2020-04-22 19:53:10 +02:00
schaeff
ddc4c196bf merge dev 2020-04-21 13:19:18 +02:00
schaeff
d05ee17640 make add readjustment logarithmic 2020-04-21 09:34:24 +02:00
schaeff
12bfb538e1 cache bits when calling u32 from bits 2020-04-16 20:10:56 +02:00
dark64
edd7b5bbd1 merge dev, fix conflicts, remove base64 crate 2020-04-14 21:06:14 +02:00
schaeff
9ad7c6fe94 use crates.io bellman 2020-04-06 16:51:40 +02:00
schaeff
76ebc229c2 merge 2020-04-03 15:19:50 +02:00
dark64
1fc679a140 Merge branch 'develop' of github.com:Zokrates/ZoKrates into native-verifier 2020-03-19 19:44:24 +01:00
dark64
8cf3084186 Add verify test to g16 scheme 2020-02-24 17:55:34 +01:00
schaeff
f680a363b6 bump versions 2020-02-20 15:33:07 +01:00
dark64
b55f941831 g16 native verifier 2020-02-18 17:49:14 +01:00
schaeff
e8df5831c3 merge dev 2020-02-17 23:18:20 +01:00
schaeff
1ccf74670d merge dev 2020-01-20 17:52:20 +01:00
William Entriken
27e9385a18 Whitespace and spelling fixes 2020-01-06 14:07:40 -05:00
schaeff
27404c3b94 address review comments, fix helpers to be generic 2019-11-11 19:59:56 +01:00
schaeff
e7c911f73a integrate uint§ 2019-11-05 18:39:24 +01:00
schaeff
400a2205f3 merge dev, fix flags 2019-10-25 13:13:14 +02:00
schaeff
e5c5c33293 merge dev, implement partialeq by hand to work around wrong derived bounds 2019-10-22 13:29:28 +02:00
schaeff
cf5c2d5aff move serialization to core 2019-10-21 18:51:16 +02:00