Commit Graph - circ - AtHeartEngineering

github/circ

Fork 0

mirror of https://github.com/circify/circ.git synced 2026-01-12 07:08:28 -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

5e36d4ba03 features: add bellman, spartan, aby (#139) Alex Ozdemir 2023-01-19 00:13:09 -08:00
d11b92ae0f Add rounds & challenges to Computation (#138) Alex Ozdemir 2023-01-18 12:03:26 -08:00
d15db74f04 change metadata serialization & representation (#137) Alex Ozdemir 2023-01-18 11:22:43 -08:00
b28123115b lazy debitification in r1cs::trans (#136) Alex Ozdemir 2023-01-17 10:58:41 -08:00
62ee97b240 missed a datalog feature (#135) Alex Ozdemir 2023-01-17 09:49:42 -08:00
5f3d2b95fe Split hash-consing into its own crate & reimplement (#134) Alex Ozdemir 2023-01-17 02:17:58 -08:00
c4cfa50cf9 retarget bellman dependency to our fork (mirage impl) (#132) Alex Ozdemir 2023-01-12 12:13:21 -08:00
500b9157f4 Upload Braun's thesis & fix link (#133) Alex Ozdemir 2023-01-12 12:04:01 -08:00
838b8a6791 Include Anna's test cases and fix (#131) Alex Ozdemir 2023-01-09 23:00:35 -08:00
006fe80520 Merge branch 'master' into zsharp Alex Ozdemir 2023-01-06 09:33:32 -08:00
ebfd6853d3 Avoid R1CS copy (#130) Alex Ozdemir 2023-01-06 09:11:27 -08:00
1a1cdc5858 Add option to panic on OOB PfToBv (#129) Alex Ozdemir 2023-01-05 19:57:04 -08:00
f9bedf0787 Alternative formatter (#128) Alex Ozdemir 2023-01-03 21:51:28 -08:00
be8741c615 Configuration system. Kill DFL_T (#127) Alex Ozdemir 2022-12-25 20:53:27 -08:00
c95b92f60e Revert "Bugfixes: R1CS lowering (includes a soundness bugfix) (#124)" Alex Ozdemir 2022-12-20 09:55:57 -08:00
f9bd0d2191 add tests that detect the issue Alex Ozdemir 2022-12-20 09:52:48 -08:00
3804dfd431 trace: print computation between opts Alex Ozdemir 2022-12-19 19:59:32 -08:00
093000b868 Merge branch 'master' into zsharp-master-merge Alex Ozdemir 2022-12-19 09:36:51 -08:00
05b793d565 Bugfixes: R1CS lowering (includes a soundness bugfix) (#124) Alex Ozdemir 2022-12-19 09:35:57 -08:00
466dc9586c Merge branch 'master' into zsharp-try-merge Alex Ozdemir 2022-12-13 09:54:19 -08:00
65e8bd1de9 Better serde impl for bellman keys (#122) Alex Ozdemir 2022-12-10 16:55:18 -08:00
052fff8f24 Slightly better serde implementation for Term (#123) Alex Ozdemir 2022-12-10 16:29:32 -08:00
0a20e14615 fix kmeans Ubuntu 2022-12-09 20:30:31 +00:00
3b108a91fc improve k factor for css Clive2312 2022-11-25 19:51:10 +00:00
69ef048b30 update cost model Clive2312 2022-11-25 00:11:18 +00:00
04fca21cd6 update k factor ilp Clive2312 2022-11-21 23:13:48 +00:00
78c5d10fb2 bump deps to avoid yanked packages ; fix some clippy lints in circ_fields (#121) Riad S. Wahby 2022-11-17 11:21:19 -08:00
051809a554 Better serde for Computation, PreComp, R1cs (#120) Alex Ozdemir 2022-11-08 15:47:51 -08:00
25773910e5 Spartan Backend (#70) Jess Woods 2022-11-07 13:11:58 -05:00
90f6b2ff35 Unsigned (#115) Edward Chen 2022-11-01 23:46:08 -04:00
1fa5d91580 working taint analysis function_call William Seo 2022-11-01 21:12:57 +00:00
1290ad09f8 Function Abstraction, end-to-end testing with MPC backend (#114) Edward Chen 2022-10-31 15:33:36 -04:00
66829d1934 fix two primitives Clive2312 2022-10-28 04:50:29 +00:00
03a45266d3 remove one more binary() Clive2312 2022-10-28 04:10:23 +00:00
76019fe05f update opa ilp Clive2312 2022-10-28 03:52:23 +00:00
a8f512aff3 Improve conditional matrix mult with 3 opts (#116) Alex Ozdemir 2022-10-27 13:02:44 -07:00
ca80064002 documentation on pub members kwantam 2022-10-27 12:27:27 -04:00
d5c4381c1b ZoK: DecimalNumber should store value as String kwantam 2022-10-27 12:27:17 -04:00
3add8910ed make R1cs and Lc members pub kwantam 2022-10-12 18:11:03 -04:00
1cf941cc9f zxe: write output as a value map kwantam 2022-06-27 11:25:29 -04:00
e1866ab9b7 fmt kwantam 2022-06-26 17:27:37 -04:00
a4dab252b4 zxe: evaluate precomp and print results kwantam 2022-06-26 17:19:28 -04:00
df84fa78e0 zxc: write both prover_data and verifier_data kwantam 2022-06-26 17:04:40 -04:00
466e04ed48 to_r1cs memory savings, zxc cleanup kwantam 2022-06-26 16:29:45 -04:00
4cbad187cf note kwantam 2022-05-10 14:50:46 -07:00
30f2bce615 add ability to dump value map from consts kwantam 2022-06-26 12:16:30 -04:00
439973f241 tiny cleanup kwantam 2022-06-24 14:45:52 -04:00
bda8675164 Merge commit '84b2f33e5f9b6006fadfd28a4f3fa91831209f03' into ram ram Evan Laufer 2022-10-24 08:05:24 -07:00
65afa14da8 Add bellman modifications to tree Evan Laufer 2022-10-24 07:55:30 -07:00
f1dbab65ab Function Abstractions (#113) Edward Chen 2022-10-18 21:27:58 -04:00
fbbef279e0 Refactored C Frontend to use helper functions to interact with Circify methods (#112) Edward Chen 2022-10-18 13:04:21 -04:00
a6bedd4f2d Boilerplate for C AstWalker (#109) Edward Chen 2022-10-18 10:14:03 -04:00
84b2f33e5f Update pest parsers to use PrattParser (#108) Evan Laufer 2022-10-13 11:25:46 -07:00
e2edbadd0d Clone audit of the C frontend (#106) Edward Chen 2022-10-12 14:55:44 -04:00
ee30c0c958 Fix mirage feature flags Evan Laufer 2022-10-10 13:45:44 -07:00
37faf3055c Merge branch 'master' of github.com:emlaufer/circ into ram Evan Laufer 2022-10-10 13:35:30 -07:00
afa6618670 Add public coins and mirage prover Evan Laufer 2022-10-10 09:57:40 -07:00
39eb5cd508 fixed rotation logic builtin_c_fhe Edward Chen 2022-10-09 22:30:44 -04:00
f991a4477b extended vector operations to frontend Edward Chen 2022-10-09 21:48:26 -04:00
59f989b191 builting Edward Chen 2022-10-09 21:38:57 -04:00
8d9dae1f04 added builtin Edward Chen 2022-10-09 21:35:04 -04:00
b686a674ac updated builtin calls Edward Chen 2022-10-09 21:32:13 -04:00
a37344e30d Merge branch 'master' into c_front Edward Chen 2022-10-09 21:26:08 -04:00
d909bf0fc7 Implemented vismap generation William Seo 2022-10-09 04:57:05 +00:00
30c88d55f3 Rotation IR intrinsic for SIMD FHE operations (#107) Edward Chen 2022-10-09 00:11:17 -04:00
89661acd75 Fix if with array and add biomatches Clive2312 2022-10-05 01:50:56 +00:00
18b4112f05 Added test case generation for testing batched vs naive fhe William Seo 2022-09-30 01:02:18 +00:00
b0c7f0b3a3 assign unsigned support Edward Chen 2022-09-27 16:32:09 -04:00
f0eacc548b lint Edward Chen 2022-09-19 01:59:32 -04:00
367f290f4a lint Edward Chen 2022-09-19 01:36:08 -04:00
337ba94d75 merged with master Edward Chen 2022-09-18 22:20:16 -04:00
601af2f4e7 merged Edward Chen 2022-09-18 22:16:20 -04:00
7009df7610 initial clone audit Edward Chen 2022-09-14 18:57:20 -04:00
2dd421869f initial clone audit Edward Chen 2022-09-14 18:57:20 -04:00
c1bac11486 Broader SHA bitwise ITE optimization (#104) Alex Ozdemir 2022-09-12 17:20:20 +02:00
f6c37b505b R1CS scalability bugfix (#102) Alex Ozdemir 2022-09-12 16:56:19 +02:00
15eadb6110 Fix Linter Warnings (#103) Alex Ozdemir 2022-09-12 16:04:23 +02:00
bb7a4579c4 wrapping up per func ilp Clive2312 2022-09-06 02:44:04 +00:00
63d993fd79 merge Clive2312 2022-08-18 13:28:12 +00:00
fd66cbbaee Merge branch 'mpc_aws' of clivehaha.github.com:circify/circ into mpc_aws Clive2312 2022-08-18 13:26:20 +00:00
6c1eaa7531 add calculate global cost Clive2312 2022-08-18 13:25:56 +00:00
fec70ff925 minor bug fixes Edward Chen 2022-08-18 07:14:51 -04:00
9e72b344ba updated cost model: Edward Chen 2022-08-18 06:53:37 -04:00
8618e5dadd added synthetic case and cost model Edward Chen 2022-08-18 06:51:20 -04:00
9dd4fe3b44 roll back histogram Clive2312 2022-08-18 01:03:26 +00:00
5699911e1d Update histogram Clive2312 2022-08-18 00:54:08 +00:00
b0d362ce9c FIx CSS and cryptonet Clive2312 2022-08-18 00:38:13 +00:00
2a0b949275 fix script Clive2312 2022-08-17 01:31:56 +00:00
a66dbfffa4 fix mnist Clive2312 2022-08-17 01:25:13 +00:00
8e31a92802 fix mnist bug Clive2312 2022-08-16 23:02:48 +00:00
da1409fc7b WAN cost model Clive2312 2022-08-16 16:25:54 +00:00
b5e3560233 WAN cost model Clive2312 2022-08-16 02:48:45 +00:00
76cb7762e9 Update LAN costmodel Clive2312 2022-08-16 02:02:01 +00:00
480ef73243 update test suite Clive2312 2022-08-16 00:34:51 +00:00
c55aed68fd roll back biomatch size Clive2312 2022-08-16 00:05:43 +00:00
8ccce57b8c opt for dusg extend Clive2312 2022-08-16 00:04:14 +00:00
0db9f974b6 Update shift in cost model Clive2312 2022-08-15 17:12:33 +00:00
91f0308d50 test script Clive2312 2022-08-15 04:51:10 +00:00
638ce924d2 update WAN cost model Clive2312 2022-08-15 04:41:09 +00:00
749dfe1f0c Update number of nodes Clive2312 2022-08-14 16:51:43 +00:00

1 2 3 4 5 ...