Commit Graph - circ - AtHeartEngineering

github/circ

Fork 0

mirror of https://github.com/circify/circ.git synced 2026-01-13 15:47:56 -05:00

Commit Graph

Select branches

Hide Pull Requests

MASTER

aby_benchmark

builtin_c_fhe

c_benchmark_graphing_experimental

c_graphing_experimental

fhe

fix_add_c

func_with_mut

function_call

graph-partitioning

lp-modeler

master

mpc_aws

mut_graphing

ram

silph_open_source

vector_add

zsharp

zsharp-small-lc

#10

#100

#102

#103

#104

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#158

#159

#16

#160

#161

#162

#163

#164

#166

#167

#169

#17

#170

#171

#172

#174

#175

#176

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#19

#190

#193

#194

#195

#196

#197

#198

#199

#20

#200

#201

#202

#203

#204

#205

#205

#206

#206

#207

#209

#21

#211

#218

#219

#22

#221

#222

#224

#225

#225

#229

#230

#232

#232

#236

#236

#25

#26

#27

#30

#32

#33

#34

#35

#38

#4

#40

#41

#41

#42

#43

#44

#45

#46

#47

#48

#5

#50

#51

#52

#53

#54

#55

#56

#58

#59

#6

#60

#62

#63

#65

#66

#67

#68

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#78

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#96

#97

#98

9d3dd64da9 adding in parameter parsing and completed ast for simple add program Edward Chen 2021-09-16 21:21:02 -04:00
3f87762dfa not sure if circify frontend for c is implemented correctly.. Edward Chen 2021-09-16 19:20:59 -04:00
c2851e8152 binops Edward Chen 2021-09-16 17:06:56 -04:00
00b867445c return stmt Edward Chen 2021-09-16 01:30:36 -04:00
12166687a9 parsing statements Edward Chen 2021-09-16 01:11:12 -04:00
72b44eec00 adding in fn def Edward Chen 2021-09-15 20:54:57 -04:00
af4107afea adding cterms and types Edward Chen 2021-09-15 17:52:16 -04:00
c078fa464a Fixed compiler warnings in lowering to ABY (#21) Edward Chen 2021-09-15 13:12:37 -04:00
49c2696362 initial commit for c-frontend, parsing c files works! Edward Chen 2021-09-08 18:32:09 -04:00
be0f59a2cd Merge branch 'master' of https://github.com/circify/circ Edward Chen 2021-09-07 12:09:48 -04:00
02e4c448a5 fixing array tests cases Edward Chen 2021-09-07 12:09:32 -04:00
991c710cea Support lowering loops to ABY (#19) Edward Chen 2021-09-03 11:24:53 -04:00
db6e1a08f9 loops for ABY! Edward Chen 2021-09-03 10:56:56 -04:00
fa547d58c7 Merge branch 'master' into lower_to_aby Edward Chen 2021-09-03 09:50:04 -04:00
561483a875 merged Edward Chen 2021-09-03 09:49:30 -04:00
92cff0a119 Integrated EZPC helper file (#18) Edward Chen 2021-09-02 18:08:08 -04:00
95205f773b Merge branch 'lower_to_aby' of https://github.com/circify/circ into lower_to_aby Edward Chen 2021-09-02 17:10:32 -04:00
ea3a6ee747 Added EZPC helper file, updated output, added shift tests Edward Chen 2021-09-02 16:58:47 -04:00
d9d66896b3 Added support for multiple outputs in test cases (#17) Edward Chen 2021-08-31 19:24:14 -07:00
be62a46e08 merging test file Edward Chen 2021-08-31 20:54:06 -04:00
e4c49c5e3a merged Edward Chen 2021-08-31 17:38:40 -04:00
fb4c08e151 added function call tests Edward Chen 2021-08-31 17:38:03 -04:00
62282de0a4 Added support for multiple outputs in test cases Edward Chen 2021-08-31 17:18:14 -04:00
17c19fc6f5 Added support for multiple outputs in test cases Edward Chen 2021-08-31 17:18:14 -04:00
fd2a7e4bf2 Added Conversion Gates & Integrated with OPA SharingMap (#16) Edward Chen 2021-08-25 22:38:50 -07:00
5579b99888 Revert "Added conversion gates and integrated SharingMap" Edward Chen 2021-08-25 16:48:07 -04:00
bd022fad38 Added conversion gates and integrated SharingMap Edward Chen 2021-08-25 16:45:24 -04:00
3b964f0bd3 OPA-by-ILP benchmark example Alex Ozdemir 2021-08-24 10:01:19 -07:00
2226ad901f Draft OPA implementation (#15) Alex Ozdemir 2021-08-24 08:29:54 -07:00
3691bb91b8 Sharing assignment types Alex Ozdemir 2021-08-23 16:34:59 -07:00
df8cdeece9 More efficient comparison calls (#14) Edward Chen 2021-08-20 07:25:52 -07:00
0528353296 Tested ite (#13) Edward Chen 2021-08-19 09:35:38 -07:00
8848bfee6f Updated parameter passing for ABY test cases (#12) Edward Chen 2021-08-18 20:14:32 -07:00
3b0bbc9fff added const value translation for ABY (#11) Edward Chen 2021-08-16 22:54:41 -07:00
fa711e6900 ZoKrates->ILP toolchain and tests (#10) Alex Ozdemir 2021-08-07 00:08:46 -07:00
cbcbf2e195 Optimization unit tests for BV->ILP Alex Ozdemir 2021-08-05 15:32:51 -07:00
ac732a647b Most of BV->ILP Alex Ozdemir 2021-08-05 15:01:03 -07:00
56ce319d4d format Alex Ozdemir 2021-08-05 10:05:48 -07:00
41082b58c4 Resolve warnings Alex Ozdemir 2021-08-05 10:05:34 -07:00
3e3da8c028 SHA-MAJ elimination rewrite Alex Ozdemir 2021-08-04 21:42:59 -07:00
6c0374b944 Dependencies update & scripts Alex Ozdemir 2021-08-04 21:42:45 -07:00
51d802813f Bool->ILP (#9) Alex Ozdemir 2021-08-04 18:22:15 -07:00
39c9c6ae00 CBC dependency for LPs (#8) Alex Ozdemir 2021-08-04 14:03:26 -07:00
d7dfe956e1 updated submodules (#7) Edward Chen 2021-08-04 00:24:13 -07:00
61b011998c updated time cmd for both OSX and LINUX (#6) Edward Chen 2021-08-04 00:01:35 -07:00
01120bfa74 WIP lp-modeler Alex Ozdemir 2021-08-03 15:26:03 -07:00
68da42993c Zok to ABY pipeline (#4) Edward Chen 2021-07-28 21:33:21 -07:00
22a5e508fe Don't use equality assertions pervasively. Alex Ozdemir 2021-07-07 11:47:41 -07:00
2fc86af5d3 src::ir::term::garbage_collect doc Alex Ozdemir 2021-07-02 23:41:33 -07:00
44c2700073 Add profile script Alex Ozdemir 2021-07-02 22:41:27 -07:00
3a6e6462ee Update hashconsing dependency to ahash-based version. Alex Ozdemir 2021-07-01 23:35:35 -07:00
e08c9d9119 run CI on ci branch Alex Ozdemir 2021-06-29 23:37:14 -07:00
aa11f4df74 try CI Alex Ozdemir 2021-06-26 00:55:01 -07:00
35496f84c9 Add parser for (_ bvVAL WIDTH) bit-vec model format Alex Ozdemir 2021-06-29 23:34:20 -07:00
b13cb383fd Add note about nightly compiler Alex Ozdemir 2021-06-29 23:31:24 -07:00
ce3dac53b1 Also look for the ZoK stdlib in third_party/ZoKrates/zokrates_stdlib/stdlib subdirs Alex Ozdemir 2021-06-29 23:15:09 -07:00
54edb052e7 fix MPC tests to actually use MPC generation.. Alex Ozdemir 2021-06-26 00:46:04 -07:00
1247e2cf6f ZoKrates MPC party numbers Alex Ozdemir 2021-06-26 00:40:13 -07:00
fad440db7f Tests Alex Ozdemir 2021-06-25 23:56:51 -07:00
ab2a687ef5 ZoKrates stdlib Alex Ozdemir 2021-06-25 23:07:16 -07:00
edd12ca69f link to the thesis Alex Ozdemir 2021-06-18 13:12:20 -07:00
811166cb56 Generalize Constraints to Computation. Alex Ozdemir 2021-06-18 12:37:58 -07:00
3e2c7a23df bg reading Alex Ozdemir 2021-05-23 13:09:42 -07:00
ddc67dce61 fmt Alex Ozdemir 2021-05-22 10:08:33 -07:00
f7146bdd03 term! doc Alex Ozdemir 2021-05-22 09:59:32 -07:00
a31d0907a2 tuple note Alex Ozdemir 2021-05-22 09:30:41 -07:00
0955b5cb62 clean up tuple stuff in R1CS Alex Ozdemir 2021-05-22 00:40:09 -07:00
737056b686 Add header to term module Alex Ozdemir 2021-05-22 00:33:48 -07:00
2ce8d4887e shortcuts for common compound ops Alex Ozdemir 2021-05-22 00:24:20 -07:00
3c72c98ff5 fix flattening test Alex Ozdemir 2021-05-21 22:41:58 -07:00
98b57a5b48 Remove Op::Let Alex Ozdemir 2021-05-21 21:32:13 -07:00
6ab4e71964 Doc fix Alex Ozdemir 2021-05-21 14:47:57 -07:00
0bf137a49e Better tuple support (as an IR pass) Alex Ozdemir 2021-05-17 21:57:29 -07:00
0e2e9e10cc Fix model parsing by updating rsmt2 Alex Ozdemir 2021-04-27 19:59:39 -07:00
96f5894add Doc everything. Alex Ozdemir 2021-04-27 14:41:56 -07:00
0138e15001 more TODOs Alex Ozdemir 2021-04-26 23:16:58 -07:00
52dc046a1b a little warning cleanup Alex Ozdemir 2021-04-26 23:14:34 -07:00
12440bb9dd Tuple -> R1CS & simple test Alex Ozdemir 2021-04-26 23:12:17 -07:00
6dd718eae0 Starting tuples Alex Ozdemir 2021-04-26 21:40:00 -07:00
ae05a657a9 more README Alex Ozdemir 2021-04-26 17:11:08 -07:00
3769b0ec31 architecture description Alex Ozdemir 2021-04-14 10:49:21 -07:00
03a1fd9510 more ahash Alex Ozdemir 2021-04-14 10:32:57 -07:00
c24e543507 Update all hash sets Alex Ozdemir 2021-04-04 19:46:51 -07:00
38b6593cb9 Opts Alex Ozdemir 2021-03-15 02:01:50 -07:00
6ce38360ef Better letifier. Alex Ozdemir 2021-03-07 15:58:36 -08:00
3eda1991c0 Basic bellman backend Alex Ozdemir 2021-02-28 15:57:24 -08:00
c56c78313e Add Circify::assign Alex Ozdemir 2021-02-27 14:54:19 -08:00
fcfe7e84f0 Misc ZoKrates opts Alex Ozdemir 2021-02-27 09:20:40 -08:00
ed3da1061d Eliminate dead 1 in mult Alex Ozdemir 2021-02-26 23:43:40 -08:00
f564cf0dfa Zokrate & perf improvements Alex Ozdemir 2021-02-26 20:26:50 -08:00
6c896af58f Update todos Alex Ozdemir 2021-02-24 14:10:18 -08:00
b757b5c14c Tune optimizer Alex Ozdemir 2021-02-24 14:04:33 -08:00
366fd9099f better inlining algorithm Alex Ozdemir 2021-02-22 17:55:04 -08:00
23fd01f823 eq elim ckpt Alex Ozdemir 2021-02-22 16:37:42 -08:00
984b4e915e ZoKrates: generalize builtins Alex Ozdemir 2021-02-20 13:08:06 -08:00
8c5dfdcbbd Zokrates gen, draft 1 complete. Not really tested Alex Ozdemir 2021-02-20 12:37:57 -08:00
5b05971808 ZoKrates: stmt span fn Alex Ozdemir 2021-02-20 12:07:13 -08:00
3b155a7aab start interpreting ZoKrates Alex Ozdemir 2021-02-19 00:56:46 -08:00
2a46dde869 Zokrates term finish Alex Ozdemir 2021-02-17 23:12:37 -08:00
8157d40a00 fix test build Alex Ozdemir 2021-02-17 15:31:49 -08:00

... 6 7 8 9 10 ...