Commit Graph

Select branches

Hide Pull Requests

365-gate-trait

643-split-constraintsystem

accumulation-schemes

book-layout-diagrams

counter-fft-msm

daira-book-fullwidth

dependabot/github_actions/actions/checkout-4

dev-cost

dev-json

dev-mockprover-multiple-assignments

double-and-add

dual-transcript

endoscale

endoscale-prep

feature/recursion

floor-planner-configure

full-width-var-base-mul

gh-pages

group-curveaffine

inline-error-conversion

main

mock-ivc-verif

multiset-equality-argument

nor-chip

patch-protocol-p-poly

prover-work-cost

rebase-dynamic-lookups

recursion-experiment

refactor-decompose-gadget

refactor-ecc

refactoring

region-shapes

remove-utilities-instructions

rescue

sha256/test-compress

test_proof_and_verify

update-rust-toolchain

use-double-and-add

value-const-traits

zk2

#1

#104

#105

#106

#107

#108

#109

#110

#111

#112

#113

#114

#115

#118

#119

#120

#121

#122

#123

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#139

#140

#141

#142

#143

#145

#146

#149

#150

#153

#154

#155

#156

#158

#159

#16

#163

#164

#166

#167

#168

#169

#169

#172

#173

#174

#176

#177

#178

#179

#180

#183

#184

#185

#187

#188

#191

#192

#193

#196

#197

#198

#199

#2

#20

#200

#202

#203

#204

#205

#206

#208

#209

#21

#211

#213

#214

#215

#215

#216

#217

#218

#219

#22

#221

#222

#223

#225

#226

#228

#229

#23

#233

#234

#236

#237

#238

#239

#24

#240

#241

#242

#243

#244

#253

#254

#255

#256

#259

#26

#260

#261

#262

#263

#263

#264

#264

#265

#265

#268

#269

#270

#272

#273

#274

#276

#278

#279

#281

#283

#284

#285

#286

#287

#289

#29

#290

#291

#292

#293

#298

#3

#30

#302

#303

#304

#305

#306

#309

#31

#310

#311

#314

#316

#319

#320

#321

#322

#330

#331

#336

#337

#338

#340

#341

#342

#343

#344

#347

#350

#351

#352

#353

#354

#355

#356

#358

#361

#361

#362

#363

#363

#368

#37

#370

#371

#374

#375

#376

#378

#38

#380

#382

#383

#385

#386

#387

#389

#394

#395

#396

#397

#399

#4

#401

#403

#405

#406

#408

#409

#410

#411

#413

#414

#415

#416

#417

#42

#421

#422

#424

#428

#43

#431

#432

#433

#442

#444

#445

#446

#447

#448

#450

#451

#46

#463

#464

#465

#467

#471

#472

#473

#474

#475

#476

#479

#48

#480

#481

#485

#485

#486

#487

#488

#489

#490

#492

#493

#495

#497

#497

#5

#50

#501

#502

#504

#505

#507

#508

#508

#51

#511

#52

#521

#522

#523

#524

#525

#529

#529

#53

#530

#530

#531

#532

#535

#537

#54

#540

#541

#542

#543

#544

#545

#549

#551

#552

#554

#556

#557

#558

#559

#559

#56

#560

#561

#563

#564

#565

#566

#568

#570

#573

#574

#574

#576

#576

#577

#58

#580

#581

#582

#582

#584

#586

#586

#587

#589

#59

#592

#592

#593

#593

#594

#594

#595

#595

#596

#596

#597

#598

#599

#60

#600

#601

#603

#607

#608

#61

#610

#611

#612

#615

#615

#616

#618

#618

#619

#619

#620

#622

#623

#624

#624

#625

#626

#628

#628

#631

#631

#633

#639

#640

#642

#644

#646

#647

#647

#649

#653

#654

#658

#660

#661

#661

#662

#663

#663

#664

#665

#666

#666

#667

#668

#669

#669

#670

#670

#671

#673

#677

#678

#682

#685

#687

#688

#689

#693

#693

#694

#695

#695

#696

#697

#699

#699

#7

#70

#700

#701

#706

#706

#71

#712

#713

#714

#715

#715

#716

#718

#721

#722

#723

#724

#728

#730

#731

#732

#733

#734

#735

#736

#739

#741

#742

#742

#743

#746

#747

#747

#750

#752

#753

#753

#754

#754

#755

#757

#758

#759

#760

#760

#761

#762

#763

#763

#767

#769

#769

#770

#772

#772

#773

#773

#774

#775

#776

#777

#777

#779

#781

#781

#782

#784

#784

#785

#785

#787

#787

#788

#790

#790

#791

#791

#792

#792

#793

#793

#795

#795

#796

#796

#798

#802

#804

#805

#807

#808

#808

#809

#81

#812

#812

#814

#815

#816

#816

#817

#817

#818

#819

#83

#84

#86

#87

#88

#89

#90

#91

#95

#96

#97

#98

halo2_gadgets-0.1.0

halo2_gadgets-0.2.0

halo2_gadgets-0.3.0

halo2_proofs-0.1.0

halo2_proofs-0.2.0

halo2_proofs-0.3.0

Mono Color

• 549232234f
  Finish comment on Proof::verify. Sean Bowe 2020-09-07 16:34:40 -0600
• 4572e809d1
  cargo fmt Sean Bowe 2020-09-07 13:09:25 -0600
• 116659c1ba
  Refactor module tree. Sean Bowe 2020-09-07 10:22:25 -0600
• 7250ac8252
  Merge pull request #4 from zcash/permutation ebfull 2020-09-07 12:24:31 -0600
• 21f02a73c2
  Don't mutate the witness during permutation argument. Also, adds parallelism and reduces state/multiplications. Sean Bowe 2020-09-07 09:37:49 -0600
• b65e75921b
  Remove stale comment Sean Bowe 2020-09-06 14:21:28 -0600
• 190242a4e9
  Remove redundant permutation_queries vector. Sean Bowe 2020-09-06 14:18:05 -0600
• eff149e734
  Fix incorrect indexing into advice_cosets during proving. Sean Bowe 2020-09-06 14:10:25 -0600
• e37d0c946b
  Add parallelism in various locations in the prover. Sean Bowe 2020-09-06 13:40:06 -0600
• 3157fdd7d0
  Batch inversions during domain setup. Sean Bowe 2020-09-06 12:44:36 -0600
• ff8f9eb20e
  Reduce number of inversions by batch inverting when possible. Sean Bowe 2020-09-06 12:24:55 -0600
• 45491a21c9
  Add .vscode to .gitignore. Sean Bowe 2020-09-06 11:33:47 -0600
• 624eb6a421
  Remove unnecessary computation of permutation length in prover. Sean Bowe 2020-09-06 11:33:09 -0600
• 503939db05
  Minor cleanups therealyingtong 2020-09-06 06:34:29 +0800
• 965362c1f5
  Don't precompute deltaomega; inline its computation. Sean Bowe 2020-09-05 14:44:13 -0600
• 937861c0b8
  Add implementation of daira's algorithm for copy constraint enforcement. Sean Bowe 2020-09-05 12:56:45 -0600
• d7132404ba
  Index into q_evals consistently between prover and verifier. Sean Bowe 2020-09-05 12:08:56 -0600
• 869aba389a
  Cleanups Sean Bowe 2020-09-05 11:40:25 -0600
• da9c24bcfa
  Obtain permutation product polynomial correctly. Sean Bowe 2020-09-05 10:52:40 -0600
• 114653f366
  Fix indexing for permutation argument. Sean Bowe 2020-09-04 14:45:05 -0600
• a128d5d9b3
  Undo unnecessarily complicated negation thing. Sean Bowe 2020-09-04 14:25:16 -0600
• c7c5cf4db6
  Rename tmp variables therealyingtong 2020-09-04 13:51:50 +0800
• 10a4b4252c
  Fix current_delta initialisation in verifier ying tong 2020-09-04 19:05:08 +0800
• 06a4cfe13b
  Use extended omega for coset in prover. Sean Bowe 2020-09-04 04:49:59 -0600
• 0651359cb8
  [WIP] Finish prover Sean Bowe 2020-09-03 17:21:44 -0600
• 6b9ea1dbeb
  Precompute deltaomega vector. Sean Bowe 2020-09-03 14:31:57 -0600
• 36d37002fe
  Remove unneeded exponentiation of x_3 Sean Bowe 2020-09-03 14:28:22 -0600
• 335b629724
  Avoid redundant wire queries by searching for an existing query. Sean Bowe 2020-09-03 14:26:00 -0600
• 4a88d52457
  Use the correct permutation values from the SRS. Sean Bowe 2020-09-03 14:21:13 -0600
• d601533bd7
  Commit to permutation product polynomial in the prover. Sean Bowe 2020-09-03 10:58:48 -0600
• 441dcf0ecc
  Compute permutation_evals in prover therealyingtong 2020-09-03 12:29:38 +0800
• 1bc90c4fec
  Remove advice_shifted_evals from prover therealyingtong 2020-09-03 12:25:55 +0800
• 160dabe9c5
  Cleanups for verifier of permutation argument Sean Bowe 2020-09-02 13:15:40 -0600
• c44a020de7
  Permutation checks in verifier therealyingtong 2020-09-03 00:45:03 +0800
• bdd48f6037
  Add advice_shifted_evals to Proof struct therealyingtong 2020-09-02 16:45:34 +0800
• 2472ec3291
  WIP permutation checks in verifier therealyingtong 2020-09-01 13:06:25 +0800
• 0bf73c5d08
  Minor fixes to srs.rs therealyingtong 2020-09-02 23:18:43 +0800
• 2b547558ad
  Merge pull request #5 from rex4539/typos ebfull 2020-09-02 08:32:13 -0600
• c0444f8c31
  Fix typos Dimitris Apostolou 2020-09-01 20:45:20 +0300
• a2fca8a02d
  Add comments to clarify implementation of permutation argument in SRS generator. Sean Bowe 2020-08-31 10:18:55 -0600
• c427795bf5
  Reverse endianness of delta constants Sean Bowe 2020-08-31 10:10:05 -0600
• dc5df10832
  Update structured reference string and API for permutation argument. Sean Bowe 2020-08-31 10:01:09 -0600
• 85fd924b15
  WIP implement copy() on Variables therealyingtong 2020-08-31 13:58:00 +0800
• 4f8570db95
  Add DELTA generator of t-order multiplicative subgroup to Fp, Fq therealyingtong 2020-08-29 13:51:42 +0800
• 4c9a05ba74
  Merge pull request #2 from zcash/universal-circuits ebfull 2020-08-27 15:21:44 -0600
• b453b845b8
  Clean up prover implementation Sean Bowe 2020-08-27 14:03:43 -0600
• 154568c387
  Clean up verification implementation Sean Bowe 2020-08-27 13:52:55 -0600
• 35c4bd4dd9
  Improve naming of offsets/indexes and mappings. Sean Bowe 2020-08-27 13:27:24 -0600
• 378c56b952
  Sample of abstraction for writing PLONK circuits Sean Bowe 2020-08-27 11:43:08 -0600
• 9852913a32
  Add some comments and documentation. Sean Bowe 2020-08-27 10:46:54 -0600
• 1b6c0e9a8b
  Remove _x suffix from variable names Sean Bowe 2020-08-27 10:25:36 -0600
• 9099e9d9ba
  Properly invert when computing expected opening. Sean Bowe 2020-08-27 10:16:42 -0600
• ad106f1119
  (WIP) broken implementation of generalized PLONK Sean Bowe 2020-08-27 10:10:55 -0600
• 07c76f17b0
  Introduce names for indices (RowIdx, WireIdx, RowOffset, QueryIdx therealyingtong 2020-08-25 15:52:07 +0800
• 6051814c4b
  Split coset step up so that we can query wires at multiple spots. Sean Bowe 2020-08-24 13:50:52 -0600
• c59513eb28
  Minor adjustments for CI Sean Bowe 2020-08-24 13:34:59 -0600
• 44613ebd33
  Merge pull request #1 from zcash/actions ebfull 2020-08-24 13:26:08 -0600
• 24b7e6cc7c
  Run SRS synthesis on an empty circuit in test. Sean Bowe 2020-08-24 08:36:41 -0600
• 36f9e87056
  Implementation of gate/query API Sean Bowe 2020-08-24 08:28:42 -0600
• c20f3fdf1a
  Give fixed and advice wires separate types Sean Bowe 2020-08-23 13:26:04 -0600
• 7edffe0197
  Allow commitments to generic advice wire polynomials Sean Bowe 2020-08-22 16:10:27 -0600
• c16141be9a
  Introduce `Variable` type Sean Bowe 2020-08-22 15:15:39 -0600
• 9dfc6ac379
  Add first pieces of the API. Sean Bowe 2020-08-22 15:09:47 -0600
• 68ef6fdc09
  Draft of github actions workflow for CI Sean Bowe 2020-08-22 14:32:28 -0600
• dd1ad9f114
  Initial commit Sean Bowe 2020-08-22 14:15:39 -0600