Commit Graph

Select branches

Hide Pull Requests

assigned-constants

lower-number-of-limbs

master

nev@fix/logic-ops

nev@fix/sign

nevado@fix-assign-bit

v2

#10

#11

#12

#13

#14

#15

#16

#18

#19

#2

#20

#21

#22

#22

#24

#25

#26

#29

#3

#30

#31

#32

#33

#34

#35

#36

#38

#4

#40

#45

#46

#48

#49

#5

#50

#51

#54

#55

#56

#57

#61

#62

#63

#65

#67

#68

#69

#7

#70

#72

#73

#76

#78

#79

#8

#80

#81

#81

#82

#82

#84

#85

#86

#87

#88

#89

#90

#91

#92

#93

#93

#94

#94

#95

#95

v2022_05_13

v2022_06_03

v2022_08_24

v2022_09_09

v2022_10_22

v2023_01_18

v2023_01_20

v2023_02_02

v2023_04_20

v2024_01_31

Mono Color

• 0e33c7fe25 add external ecc traits kilic 2021-11-19 16:19:39 +03:00
• 3318843bbe Add bit assertions kilic 2021-11-16 19:56:31 +03:00
• 72165fe8e6 Merge pull request #7 from genfengDog/heng/optimize-inversion kilic 2021-11-16 19:37:48 +03:00
• 336d53f9c5 Merge pull request #5 from genfengDog/xgao/assert_not_zero kilic 2021-11-15 19:28:58 +03:00
• 7b27e24c0c place invert with is_zero in assert_not_zero Heng Zhang 2021-11-12 17:39:14 +08:00
• 8667ba403d Optimize inversion by reducing 2 rows Heng Zhang 2021-11-11 19:23:20 +08:00
• a59a0d8149 Merge branch 'master' of github.com:kilic/halo2-playground kilic 2021-11-11 11:10:34 +03:00
• 03407fec26 Merge pull request #4 from genfengDog/heng/div_invert kilic 2021-11-11 11:09:39 +03:00
• c4a520b1e8 Make inversion pass synthesis time w/o panic kilic 2021-11-10 22:31:19 +03:00
• 0593920ceb implement assert_not_zero Xin Gao 2021-11-09 18:45:53 +08:00
• c531cbfa3c Update invert() according to review Heng Zhang 2021-11-09 01:18:09 +08:00
• 28ecab6a01 Add cond on invert zero and divide zero Heng Zhang 2021-11-06 01:24:02 +08:00
• e4fff8db8f Add inverse and division for wrong field on big integer Heng Zhang 2021-11-04 18:03:54 +08:00
• d45752d7b0 Add inverse and division for rns Heng Zhang 2021-11-04 16:29:38 +08:00
• 7797a570b4 add safe base field division and inversion kilic 2021-11-03 19:53:17 +03:00
• 210c7ae9e6 add unimplemented div and invert instructions kilic 2021-11-03 16:32:12 +03:00
• 78d82c5f97 tidy kilic 2021-11-03 16:30:44 +03:00
• d3a46e6a84 add unimplemented ecc instructions kilic 2021-11-03 15:51:51 +03:00
• 8a25f58bac Merge pull request #2 from kilic/equality_assertions kilic 2021-11-03 13:07:07 +03:00
• 1f698fb03d Add assert_not_equal and assert_non_zero for big integer kilic 2021-11-02 19:36:09 +03:00
• c9767ebac5 Add equality assertions and zero checks of base field elements kilic 2021-11-02 18:28:01 +03:00
• df2a8df570 Remove mutable assigned value propagation kilic 2021-11-01 18:47:12 +03:00
• a457e4ae86 Add squaring kilic 2021-11-01 17:51:11 +03:00
• c20d2d148f add *_mut tag to mutable functions kilic 2021-11-01 17:48:24 +03:00
• 969696a33f change package name kilic 2021-11-01 17:35:30 +03:00
• 7486c8f522 remove minus_one use -one instead kilic 2021-11-01 15:55:51 +03:00
• 4188049b4a Merge fine tuning cases in range proof kilic 2021-11-01 13:47:06 +03:00
• 3ffbb8feeb Untroduce Assigned trait for assingned values kilic 2021-10-31 20:28:18 +03:00
• 84eefc05eb rename CombinationTerm to Term kilic 2021-10-23 14:15:05 +03:00
• 3aaffa9537 use MainGate::combine in multiplicative gadgets kilic 2021-10-23 14:11:52 +03:00
• 06f4490f79 progress on combine metdot kilic 2021-10-23 01:36:10 +03:00
• 92bf6a1192 introduce combination with two witness mul kilic 2021-10-22 12:31:22 +03:00
• 458e24ee6e add field element assertation kilic 2021-10-22 12:07:58 +03:00
• 74d2ae73f9 add combination for assigned values kilic 2021-10-22 12:07:05 +03:00
• e2fc542928 add bitness check test kilic 2021-10-20 17:49:52 +03:00
• 652badd605 move addition assignments to main gate kilic 2021-10-20 17:49:26 +03:00
• c3b0467047 add fine tune flows to range gate kilic 2021-10-19 22:06:26 +03:00
• cafff81dce add more main gate utilities kilic 2021-10-19 22:05:19 +03:00
• bcccc5a876 add main gate combine function kilic 2021-10-19 18:06:23 +03:00
• 5356f384bd add assigned value getters kilic 2021-10-18 14:56:56 +03:00
• d0a4b71c04 use mutable operands kilic 2021-10-15 17:52:53 +03:00
• 6cc8a2f31f assert unreduced equality kilic 2021-10-09 21:06:16 +03:00
• 897e47ae0b fix permutation fail kilic 2021-10-09 19:21:17 +03:00
• cf4efc50f4 introduce native value limb kilic 2021-10-08 18:45:30 +03:00
• 7ed6ccb6f8 new main_gate instructions cond swap, bitness check kilic 2021-10-06 19:43:46 +03:00
• 9f60e5d3b5 add readme kilic 2021-09-30 19:55:56 +03:00
• c0a83aff10 add multiplication circuit tests kilic 2021-09-30 19:52:59 +03:00
• c0ba08584f test reduction circuit kilic 2021-09-30 18:18:31 +03:00
• 094d2347fc start testing circuits kilic 2021-09-29 21:41:53 +03:00
• 7d05dcf389 overflow control in range circuit api kilic 2021-09-29 17:39:55 +03:00
• d997b604ab bit len input for rand rns integers kilic 2021-09-29 17:39:35 +03:00
• a8f9674748 simplify aux calculation kilic 2021-09-29 17:38:14 +03:00
• 351b9174fa move constants kilic 2021-09-28 16:56:59 +03:00
• 44dd05e10c change aux strategy kilic 2021-09-28 16:54:01 +03:00
• f0258c2494 progress to spec kilic 2021-09-25 01:38:20 +03:00
• 5317d56bff introduce assigned values kilic 2021-09-09 15:16:52 +03:00
• 3ab56107b9 use latest halo2 locally kilic 2021-09-09 15:15:11 +03:00
• 2668507c08 add range tests with overflow value kilic 2021-09-08 22:31:53 +03:00
• 45e84d550c add main gate test kilic 2021-09-08 17:13:44 +03:00
• 450970a972 allow overflow in range constraint kilic 2021-09-08 14:57:21 +03:00
• 76ce544f20 rename mul selector kilic 2021-09-08 14:56:33 +03:00
• 42c4c4c423 add integer tests kilic 2021-09-07 20:50:18 +03:00
• 5ef8d3929a test rns constants kilic 2021-09-06 16:20:03 +03:00
• 08023d9e83 make sizes constant kilic 2021-09-06 13:13:13 +03:00
• 644674f864 remove unused imports kilic 2021-09-06 12:37:53 +03:00
• ae56b48e22 roll multiplication steps kilic 2021-09-06 12:12:29 +03:00
• 4c394f01ee rm main gate instructions kilic 2021-09-06 12:11:58 +03:00
• c3c614d193 add subtraction kilic 2021-09-01 23:17:48 +03:00
• b470b29f79 add reduction kilic 2021-09-01 21:19:25 +03:00
• 5fec8596ba wip, better rns struct kilic 2021-08-30 18:39:53 +03:00
• ca4545eb79 use main gate kilic 2021-08-25 05:07:29 +03:00
• 8f3665ee43 add bigint traits kilic 2021-08-24 11:58:12 +03:00
• 6a1118b09b move columns out of range chip kilic 2021-08-17 22:51:08 +03:00
• 750959ddeb instructions take a Region instead of a Layouter kilic 2021-08-17 22:23:07 +03:00
• 9c3b49fa14 most simple range proof with decomposition kilic 2021-08-17 19:52:26 +03:00
• c290f4466c fix offsets kilic 2021-08-17 14:16:38 +03:00
• c12555a399 try summing cells kilic 2021-08-17 10:18:55 +03:00
• efab549941 init kilic 2021-08-16 21:15:28 +03:00