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

Mono Color

• 291af0bf48 build: add r1cs flag to zxc example (#230) master Alex Ozdemir 2025-06-02 23:55:46 -07:00
• 9c6d7ffbe3 format (#229) Alex Ozdemir 2025-03-25 13:04:45 -07:00
• e3ce784967 readme zkp (#224) Alex Ozdemir 2025-02-13 12:08:07 -08:00
• 56c07d44e7 Add support for ZoKrates with curly brackets (wip) (#211) Stefanos Chaliasos 2025-02-12 19:07:15 +02:00
• 38f585ecdf Extend input declarations in Z# to support structs (#219) Lorenzo Rota 2025-02-11 18:07:34 +01:00
• 87acf0dd85 Fix the build (#221) Alex Ozdemir 2025-02-10 14:01:27 -08:00
• b201ecfbcb locating libcrypto in ci machine MASTER Edward Chen 2025-02-09 17:13:02 -05:00
• a36eb1faa5 fmt Alex Ozdemir 2025-02-07 14:29:38 -08:00
• eab55b6722 more fmt Alex Ozdemir 2025-02-07 14:25:46 -08:00
• 2e7c0aac6d Start fixing the build Alex Ozdemir 2025-02-07 14:10:27 -08:00
• 589ae00f3f README: rm circom, add pointer to old implementation Alex Ozdemir 2025-02-06 10:36:44 -08:00
• 8140b1369e reduce traversal memory usage through iterators (#209) Alex Ozdemir 2024-09-29 13:27:26 -07:00
• d3e1f6817e Z# integers Chad Sharp 2024-09-05 10:23:24 -04:00
• 152d5ad531 Opt: memory: linear for [group] const values (#207) Alex Ozdemir 2024-08-19 14:51:01 -04:00
• 2b54efa5a4 Reduce the number of rounds in ROM checking to 2. (#204) Alex Ozdemir 2024-07-08 16:54:14 -07:00
• 1224730215 bugfix: type error in obliv (#203) Alex Ozdemir 2024-07-01 15:09:41 -07:00
• 347926501f Eliminate tuples in preprocessing (#202) Alex Ozdemir 2024-06-27 11:35:18 -07:00
• 913da600ab fix doc gen and add to CI (#201) Alex Ozdemir 2024-06-24 19:14:04 -07:00
• 4c3a1a5ac5 Arc<> in Sort (#200) Alex Ozdemir 2024-06-24 10:30:12 -07:00
• 4aa36e479f Decrease the size of Op and Sort. (#199) Alex Ozdemir 2024-06-24 08:35:05 -07:00
• ce5ce47a33 move op Display impls to ir::term::fmt (#198) Alex Ozdemir 2024-06-23 10:48:01 -07:00
• 61059d716b Move term eval to new module (#197) Alex Ozdemir 2024-06-23 10:21:29 -07:00
• 2cdc019b86 Merge updates needed for SHA with lookups. (#196) Alex Ozdemir 2024-06-19 13:09:43 -07:00
• aa318e55a5 opts and tests from the memory project (#195) Alex Ozdemir 2024-06-11 16:50:35 -07:00
• ca70537b68 bugfix: opt::mem::obliv (#194) Alex Ozdemir 2024-06-02 13:31:05 -07:00
• 9ac4c26546 further fix OOB indices in lin (#193) Alex Ozdemir 2024-05-31 01:58:43 -07:00
• 2bf4f8252a handle CStore in linearization pass (#190) Alex Ozdemir 2024-05-24 13:28:21 -07:00
• 7f6d0a00fe Make the IR1CS optimizer more aggressive (#188) Alex Ozdemir 2024-04-16 23:43:29 -07:00
• 3ba1be4653 array v->k lookups, membership assertions, and witness computation in Z# (#186) Alex Ozdemir 2024-04-05 11:55:02 -07:00
• 41361e4dc6 Document zokrates_test.zsh Alex Ozdemir 2024-03-31 09:44:04 -07:00
• 0b88154ceb Implement ROM-checking based on Haboeck's lookup argument (#185) Alex Ozdemir 2024-02-22 22:40:11 -08:00
• 2ebd0a11fa Fix spartan (and include its tests in CI) (#184) Alex Ozdemir 2024-01-31 16:20:16 -08:00
• d0b529bc8b optimize prover: buffered IO (#183) Alex Ozdemir 2024-01-03 17:13:56 -08:00
• cafb02b848 optimize bellman ZK prover backend (#182) Alex Ozdemir 2024-01-03 16:39:05 -08:00
• 6133414b44 lint (#181) Alex Ozdemir 2023-12-13 08:17:41 -08:00
• 697c240148 mem notes Alex Ozdemir 2023-12-12 19:24:05 -08:00
• a26533baad zxi now takes optional inputs (#180) Alex Ozdemir 2023-11-15 13:46:09 -08:00
• fca98ddc5a add sample_challenge builtin (#179) Alex Ozdemir 2023-11-15 09:59:29 -08:00
• 7a805323d0 Optimized transcript checking for covering ROMs (#178) Alex Ozdemir 2023-11-14 18:20:39 -08:00
• 68b0b45556 User-directed transcript-based RAM checking. (#176) Alex Ozdemir 2023-11-02 23:50:16 -07:00
• c0355299df r1cs optimization bugfix: use tracking (#175) Alex Ozdemir 2023-10-31 11:41:38 -07:00
• 805a7f424f RAM for non-scalar values (#174) Alex Ozdemir 2023-10-17 22:04:38 -07:00
• 4c5dafee95 A Waksman-based RAM permutation argument (#171) Alex Ozdemir 2023-09-19 02:39:24 -07:00
• 64dcc18175 Improve RAM: oblivious & volatile (#170) Alex Ozdemir 2023-09-18 11:07:19 -07:00
• fb198eeadd ram structure example (#169) Alex Ozdemir 2023-09-14 13:34:27 -07:00
• a586f7f95d GC after each optimization (#167) Alex Ozdemir 2023-08-11 16:37:46 -07:00
• d7217e559e Optimize GC (#166) Alex Ozdemir 2023-07-09 14:45:14 -07:00
• bf3d9c601e Remove dead r1cs vars after opt (#164) Alex Ozdemir 2023-06-22 19:44:35 -07:00
• 079eea1ae9 r1cs: fix boolean majority (#163) Alex Ozdemir 2023-06-14 15:14:05 -07:00
• bd9cec31fb Replaced third party dependencies with binaries to reduce CI build times (#162) Edward Chen 2023-06-14 14:58:39 -04:00
• 961fda6fb3 Fix bug in r1cs lowering for bv cmps (#161) Alex Ozdemir 2023-06-14 09:53:10 -07:00
• e404c13468 Access array without it cloning it. (#160) Alex Ozdemir 2023-05-26 15:33:05 -07:00
• 90e1cfe3e7 add kahip silph_open_source Clive2312 2023-05-22 16:22:42 +00:00
• e149272f8f udate script Clive2312 2023-05-21 03:07:24 +00:00
• c1b64f8056 code cleaning Clive2312 2023-05-21 03:05:30 +00:00
• 4c7ba23d6b merge with array fix graph-partitioning Clive2312 2023-05-11 14:51:56 +00:00
• ea32745f08 script change Clive2312 2023-05-11 14:50:42 +00:00
• ef645c58ee remove unused var in css Clive2312 2023-05-11 14:49:31 +00:00
• 29e9b2f648 updated c frontend to support ordered arguments, fixed array init bug Edward Chen 2023-05-01 13:20:27 -04:00
• 41bd3ad83c move graph into aby Clive2312 2023-04-22 16:05:09 +00:00
• 5fb10edfaa refactor def_use Clive2312 2023-04-22 04:09:12 +00:00
• bf3346bc19 remove functions struct Clive2312 2023-04-07 03:36:51 +00:00
• aa543ec4b1 fixed lowering Clive2312 2023-04-07 03:31:32 +00:00
• f76f122e27 Smaller linear combinations. zsharp-small-lc Alex Ozdemir 2023-03-31 08:42:49 -07:00
• 7d5b2884df working test cases, but ilp reader broken Edward Chen 2023-03-28 15:02:05 -04:00
• 4865ce6b93 Special-case multiply-by-constant in R1CS lowering zsharp Alex Ozdemir 2023-03-27 16:11:07 -07:00
• eb6f98755b passes rust check Edward Chen 2023-03-21 14:45:01 -04:00
• 274d817de7 Inline small elements in FieldV. (#156) Alex Ozdemir 2023-03-20 08:59:23 -07:00
• f4245ebd0e convert array::store -> tuple::field (#157) algoidan 2023-03-21 20:06:02 +02:00
• 9d3e3041bc merge Edward Chen 2023-03-21 00:00:40 -04:00
• 18990d079e Inline small elements in FieldV. (#156) Alex Ozdemir 2023-03-20 08:59:23 -07:00
• ba4043f05d add fn: dump_op_stats Alex Ozdemir 2023-03-16 10:59:39 -07:00
• 2e2bf85399 Linker Optimization Pass Documentation clean-up (#155) Edward Chen 2023-03-15 22:27:25 -04:00
• 706405fd4f Committed witnesses & randomness in Z# (& tests) (#154) Alex Ozdemir 2023-03-15 16:28:19 -07:00
• a49e03abfb Linker Optimization Pass clean-up (#153) Edward Chen 2023-03-15 15:21:19 -04:00
• 06a34c8cc5 Linker Optimization Pass (#152) Edward Chen 2023-03-15 15:03:51 -04:00
• cd1be1ea1c Optimizations for interaction, randomness and RAM (#151) Alex Ozdemir 2023-03-14 11:15:42 -07:00
• 450c37b896 Add extension operators and new operators (#150) Alex Ozdemir 2023-03-14 01:09:46 -07:00
• 155794c2bf Committed witnesses, CP link implementation (#149) Alex Ozdemir 2023-03-13 14:39:35 -07:00
• 9813eef19c working through def-use-graph and linker Edward Chen 2023-03-13 12:55:44 -04:00
• ad11eb311e Update dependencies (#148) Alex Ozdemir 2023-03-09 15:54:24 -08:00
• 70bd9f18a7 cache zsharp::term::unwrap_array_ir Alex Ozdemir 2023-02-28 09:45:24 -08:00
• 1fd95f0313 Cache pf_lit_ir Alex Ozdemir 2023-02-25 20:38:34 -08:00
• e71cac11a6 Op::Array Alex Ozdemir 2023-02-25 20:28:29 -08:00
• 30b9624a13 added call site similarity Edward Chen 2023-02-27 22:50:01 -05:00
• 6789689920 removed warnings from defusegraph Edward Chen 2023-02-27 22:38:16 -05:00
• 1c68ae6b28 merged Edward Chen 2023-02-27 21:58:21 -05:00
• bb8e6e3673 KaHIP and kahypar binaries for MPC backend (#147) Edward Chen 2023-02-27 12:31:35 -05:00
• 1cfbf87cfa Optimize garbage collection Alex Ozdemir 2023-02-23 16:36:36 -08:00
• bd64e95bf6 adding kahypar dependency Edward Chen 2023-02-13 18:37:50 -05:00
• 424e334811 initial port Edward Chen 2023-02-12 17:44:10 -05:00
• 33747dde61 Add zxc & zxe example Alex Ozdemir 2023-02-08 14:24:01 -08:00
• 77e7040047 Mirage, variable rounds, randomness, zk opt (#146) Alex Ozdemir 2023-02-06 09:58:19 -08:00
• c900b79afb challenge operator (#145) Alex Ozdemir 2023-01-29 21:09:34 -08:00
• e4d19b358a Operator statistics (#144) Alex Ozdemir 2023-01-29 19:39:02 -08:00
• 63f950a795 eval_op (#143) Alex Ozdemir 2023-01-29 19:38:51 -08:00
• 8608e03e90 Option to hide all fields when printing IR (#142) Alex Ozdemir 2023-01-29 19:16:42 -08:00
• c06e938c41 Introducing SV Comp-style tests for C Frontend (#140) Edward Chen 2023-01-29 21:30:55 -05:00
• 20b91a6601 Clippy: uninlined_format_args (#141) Edward Chen 2023-01-29 21:05:15 -05:00
• ec9ef12415 SV Comp-style tests for C front-end. (#100) mpc_aws Alex Ozdemir 2023-01-22 11:18:08 -08:00