Commit Graph

Select branches

Hide Pull Requests

bryan/zkp-backend

debugger

debugger-macros

debugger-merge

deployment

docs

example

frontend

hpu-to-spf

invariantNoise

lint

main

mliu-backend

nsingal-patch-1

opencl

opencltest

paper

playground

ravital-patch-1

ravital-patch-2

refactor

refactorWIP

release

rwber/example

rweber/CUDA

rweber/WIP

rweber/assumptions

rweber/badge

rweber/bsk

rweber/bugFixes

rweber/bump

rweber/bumpo

rweber/ci

rweber/cipher

rweber/crateupdate

rweber/cross

rweber/crossbeam

rweber/debug

rweber/deployment

rweber/deps

rweber/div

rweber/doc

rweber/docs

rweber/emscripten

rweber/example

rweber/field

rweber/fieldSpec

rweber/fix

rweber/fixes

rweber/glev_cmux

rweber/high_level

rweber/linux

rweber/logging

rweber/maint

rweber/mdBood

rweber/mean

rweber/model

rweber/multiprogram

rweber/node

rweber/noprint

rweber/offline

rweber/opencl

rweber/overlay

rweber/overlay_size

rweber/packages

rweber/perf

rweber/pfks

rweber/pir

rweber/playground

rweber/pr

rweber/release

rweber/release-0.7

rweber/releaseStuff

rweber/rlev

rweber/serde

rweber/serializePrivate

rweber/simd

rweber/syn

rweber/tests

rweber/tfhe_mem

rweber/transparent

rweber/trivialggsw

rweber/twisties

rweber/typo

rweber/updateSEAL

rweber/wasi

rweber/website

rweber/workflow

rweber/zint

rweber/zkp

rweber/zq

samtay/avoid-ci-extra-builds

samtay/bench

samtay/bench-fhe-rs

samtay/compiler-params

samtay/factor

samtay/fix-mdbook

samtay/hack-decrypt-statements

samtay/linked-docs

samtay/playground-bump

samtay/sdlp-section

samtay/unsigned-shared

samtay/v8-patch

samtay/wip

st/remove-annotations

sunscreen

typed-fhe-arguments

wasm

webgpu

website

#1

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#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

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#166

#167

#168

#169

#17

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#209

#21

#210

#211

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#224

#225

#23

#230

#231

#232

#233

#234

#235

#236

#237

#238

#239

#24

#240

#241

#242

#243

#244

#245

#246

#248

#249

#25

#250

#251

#252

#253

#254

#255

#256

#258

#259

#26

#260

#262

#263

#264

#265

#266

#267

#268

#269

#27

#270

#271

#272

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#295

#296

#297

#298

#299

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#312

#313

#314

#315

#317

#32

#320

#322

#323

#324

#325

#326

#327

#328

#329

#33

#331

#332

#333

#334

#335

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#354

#355

#356

#357

#357

#358

#359

#36

#360

#361

#362

#362

#363

#364

#365

#366

#367

#368

#369

#37

#370

#371

#372

#373

#374

#375

#377

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#386

#387

#388

#388

#389

#39

#390

#391

#392

#393

#394

#395

#396

#397

#398

#399

#4

#40

#400

#401

#401

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

v0.1.0

v0.1.1

v0.3.0

v0.4.0

v0.7.0

v0.8.0

v0.8.1

Mono Color

• e7f93b0fb7 Go over User before Chain Sam Tay 2024-02-29 15:08:46 -05:00
• 269945ba1a Docs: SDLP section (#361) Sam Tay 2024-02-29 14:37:34 -05:00
• ce45dd460a Add section on solo SDLP samtay/sdlp-section Sam Tay 2024-02-28 15:36:11 -05:00
• 066adbc82b Verification builder (#358) Sam Tay 2024-02-29 14:36:03 -05:00
• 5e305c4dfa Add metal feature to TFHE logproof (#363) Ryan Orendorff 2024-02-29 10:40:11 -07:00
• 11e5625947 Allow specifying FHE params without FHE programs samtay/compiler-params Sam Tay 2024-02-28 17:13:10 -05:00
• 0c4be5335a Fix zkp_var!(u128::MAX) Sam Tay 2024-02-28 11:04:58 -05:00
• fce705a4f1 Remove comments addressed elsewhere Sam Tay 2024-02-28 10:53:47 -05:00
• 799605f281 Fix u64/u128 examples to make more sense Sam Tay 2024-02-28 10:53:10 -05:00
• 7d79357a2f Document compiling with existing FHE params Sam Tay 2024-02-28 10:49:03 -05:00
• dc13077632 Make it clear where transfer properties are proved Sam Tay 2024-02-28 10:44:31 -05:00
• 08e456e6f1 Nsingal patch 1 (#360) nsingal 2024-02-27 23:00:43 -08:00
• ddf0962a62 Update prove.md nsingal-patch-1 nsingal 2024-02-27 22:57:44 -08:00
• d3489ff51a Update private_tx.md nsingal 2024-02-27 22:56:29 -08:00
• 92151d955c Update compiling.md nsingal 2024-02-27 22:54:47 -08:00
• 68f8a4a067 Update types.md nsingal 2024-02-27 22:52:42 -08:00
• c64dccff84 Update intro.md ravital 2024-02-27 12:37:22 -08:00
• 0a350d9a9d Fix syntax highlighting in private tx example Sam Tay 2024-02-26 20:05:36 -05:00
• 1ccb0e051d Fix serde impl for 32-bit targets Sam Tay 2024-02-26 19:36:36 -05:00
• d84a29f581 generalized mod switch rickwebiii 2024-02-26 16:39:39 -07:00
• 50f3d9e3b5 Impl serde for linked proofs Sam Tay 2024-02-26 17:01:27 -05:00
• b29227dd01 Fix compile Sam Tay 2024-02-26 15:55:54 -05:00
• 433acabc56 Get docs compiling Sam Tay 2024-02-26 15:49:21 -05:00
• 0a447c9d2c Add some shorthand methods for creating builders off runtimes Sam Tay 2024-02-26 12:31:58 -05:00
• da1fa12e9a Rename encrypt_msg -> reencrypt Sam Tay 2024-02-26 12:19:13 -05:00
• d98d2b5d21 Stub FAQ Sam Tay 2024-02-25 22:51:36 -05:00
• 039ec072b4 Advanced chapters Sam Tay 2024-02-25 22:50:54 -05:00
• 5e46fc2336 Finish private tx docs Sam Tay 2024-02-24 19:25:16 -05:00
• 6fb7a63ecf Progress on private tx docs Sam Tay 2024-02-23 16:50:27 -05:00
• 4a0b90ee44 Progress on private tx docs Sam Tay 2024-02-23 15:49:09 -05:00
• 6657866c34 I forgot deposits can be plaintext values Sam Tay 2024-02-23 15:48:19 -05:00
• 9a42f58068 Fix tests Sam Tay 2024-02-22 22:02:54 -05:00
• 54b7443112 Doc progress Sam Tay 2024-02-22 12:46:51 -05:00
• 1135ef7805 Names Sam Tay 2024-02-22 12:46:27 -05:00
• 7dc3147c40 Fix typos Ryan Orendorff 2024-02-21 18:56:05 -07:00
• 5a53198849 Remove todo chapter Ryan Orendorff 2024-02-21 18:55:19 -07:00
• d172f6c7b3 how.md same ZKP program precisely Ryan Orendorff 2024-02-21 18:53:48 -07:00
• e2ec696b10 Fix running the FHE program in how.md Ryan Orendorff 2024-02-21 18:37:00 -07:00
• f17fc81334 Add intro for how to performed linked proof Ryan Orendorff 2024-02-21 18:28:01 -07:00
• 34109747ce Starting on linked docs Sam Tay 2024-02-19 19:56:56 -05:00
• 20c3b1a09a Add fresh encoding constraints (#356) Sam Tay 2024-02-22 21:36:15 -05:00
• a46a20d2f1 Parallelize cbs pfksk generation (#355) rickwebiii 2024-02-22 14:04:39 -08:00
• 49cd3e96ae bump to 16 core runner rweber/pfks rickwebiii 2024-02-22 13:49:11 -08:00
• 92d6b80449 Parallelize cbs pfksk generation rickwebiii 2024-02-22 13:41:47 -08:00
• 3c4e08b0cb Parallel iteration (#354) rickwebiii 2024-02-21 18:33:17 -08:00
• c0e5760f6e Parallel iteration rweber/bsk rickwebiii 2024-02-20 16:10:10 -08:00
• c4c8d112f7 Much higher accuracy security approximation (#352) Ryan Orendorff 2024-02-21 13:11:36 -07:00
• cb20e8d030 Decrypt statements (#348) Sam Tay 2024-02-20 17:55:49 -05:00
• cadb800481 Fix error bound to delta/2 not q/2 samtay/hack-decrypt-statements Sam Tay 2024-02-20 17:37:34 -05:00
• 10e74e170b Favor checked arithmetic in the bounds sum as well Sam Tay 2024-02-20 16:46:44 -05:00
• 76138c2607 Dont calculate modulus within ZqRistretto Sam Tay 2024-02-20 16:45:39 -05:00
• 4db46f0967 Rweber/high level (#351) rickwebiii 2024-02-20 13:42:06 -08:00
• 029ee4993b Fix overflow in bounds calculation Sam Tay 2024-02-20 16:39:37 -05:00
• 9592bd9721 CR rweber/high_level rickwebiii 2024-02-20 13:25:29 -08:00
• a3acc7f191 clippy rickwebiii 2024-02-20 12:54:06 -08:00
• a016d70f89 More assertions rickwebiii 2024-02-20 12:53:33 -08:00
• f7a4ca0055 Rm unnecessary cast Sam Tay 2024-02-20 15:38:47 -05:00
• 3470df35b7 Rm unnecessary cast Sam Tay 2024-02-20 15:35:28 -05:00
• 53abd43e08 Rm todo Sam Tay 2024-02-20 15:32:43 -05:00
• d898ad2dfb Make the example running time more reasonable Sam Tay 2024-02-20 15:28:05 -05:00
• e2e6211422 Add sample_extract rickwebiii 2024-02-20 12:05:18 -08:00
• 621a41b82a Rm old lock file Sam Tay 2024-02-20 14:45:33 -05:00
• e385b2c435 Rm unused dep Sam Tay 2024-02-20 14:45:25 -05:00
• a49b09106f Fixup private tx example now that decryptions are fixed Sam Tay 2024-02-20 14:45:13 -05:00
• fd70d9b318 Update TFHE logproof bounds to use bits Sam Tay 2024-02-20 13:27:40 -05:00
• 1d2c5b668a Ensure that CI checks on sunscreen_tfhe's logproof usage Sam Tay 2024-02-20 12:42:57 -05:00
• 3a4c6fd9b9 Revert debugging and seal updates Sam Tay 2024-02-20 12:37:53 -05:00
• 4d1dbcc417 Re-enable test now that it is fixed Sam Tay 2024-02-20 12:25:33 -05:00
• cd9f36a79c Remove the ability to decrypt existing messages Sam Tay 2024-02-20 12:23:07 -05:00
• 3c81995e46 Fix repeated messages after decryption bug Sam Tay 2024-02-20 12:18:41 -05:00
• 95910387ef Merge remote-tracking branch 'origin/main' into samtay/hack-decrypt-statements Sam Tay 2024-02-19 10:44:09 -05:00
• 37e884ef48 Bump cargo deps (#350) Ryan Orendorff 2024-02-16 22:44:40 -07:00
• dc8fdeab81 Sunscreen's TFHE implementation (#349) Ryan Orendorff 2024-02-16 15:29:35 -07:00
• 9f888aba76 Export noise from seal and add assertions Sam Tay 2024-02-16 14:50:12 -05:00
• 559bcbd963 Fix infinity norm Sam Tay 2024-02-16 14:45:48 -05:00
• 43508ed913 Let Log2 take self Sam Tay 2024-02-15 15:54:47 -05:00
• 1efca11c94 Fix ledger output Sam Tay 2024-02-15 15:40:57 -05:00
• b2c34cb4d1 Demonstrate decryption statement proof error Sam Tay 2024-02-15 15:38:38 -05:00
• 562ceb7a17 Dont unnecessarily compile programs twice Sam Tay 2024-02-15 15:38:18 -05:00
• bf5ce9bb8e Make linkedproof example much more detailed Sam Tay 2024-02-15 15:36:44 -05:00
• 5e2cb55a30 Isolate the hack to logproof::bfv_statement Sam Tay 2024-02-14 15:47:14 -05:00
• 647343fb0b Add decryptions to log proof builder Sam Tay 2024-02-14 15:17:16 -05:00
• 180cc491d4 Fix bug in matrix serialization Sam Tay 2024-02-14 15:09:23 -05:00
• f255a430e3 Add decryption statements to logproof Sam Tay 2024-02-14 15:07:14 -05:00
• ab6a01e0b2 Add lwe_std_to_security_level (#347) Ryan Orendorff 2024-02-14 12:56:43 -07:00
• 14ce61f5bf Diverge link methods (#346) Sam Tay 2024-02-13 11:24:01 -05:00
• e9125df70d Allow insecure params for tests (#344) Sam Tay 2024-02-11 16:03:00 -05:00
• ae42ab7199 Disallow repeating linked inputs (#345) Sam Tay 2024-02-11 16:01:58 -05:00
• b0df5e7c37 Expose symmetric encryptions (#343) Sam Tay 2024-02-11 10:14:57 -05:00
• 0b83b55e15 Try to support duplicate shared indices samtay/wip Sam Tay 2024-02-08 10:39:39 -05:00
• 26559b417d Fix build samtay/bench-fhe-rs Sam Tay 2024-02-07 19:58:24 -05:00
• 01b1f0cace Merge remote-tracking branch 'origin/main' into samtay/bench-fhe-rs Sam Tay 2024-02-07 19:43:57 -05:00
• 191536e5e7 Avoid extra CI builds (#340) Sam Tay 2024-02-07 19:22:36 -05:00
• 466c64b30f Avoid extra CI builds samtay/avoid-ci-extra-builds Sam Tay 2024-02-01 19:49:09 -05:00
• c3cbf3781e Fix linked proof commitments (#342) Sam Tay 2024-02-07 17:46:00 -05:00
• a4f1cf6647 Link unsigned and rational FHE types (#341) Sam Tay 2024-02-05 14:22:10 -05:00
• 18ea59b542 Proof linking (#339) Sam Tay 2024-02-03 15:01:24 -05:00
• ad47ef0a13 WIP sanity tests samtay/unsigned-shared Sam Tay 2024-02-02 19:40:08 -05:00
• 6793d167b4 WIP Sam Tay 2024-01-31 19:34:57 -05:00
• ddbd026677 Address PR comments Sam Tay 2024-02-02 14:01:29 -05:00