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

• 521bc3d2d8 Split `ConstraintSystem` into a builder type and a verifying key type 643-split-constraintsystem Jack Grigg 2023-06-06 18:38:41 +0000
• ed2354c7da [book] More detailed description of synthetic blinding factor therealyingtong 2023-06-06 13:35:27 +0800
• a764a7fa77
  feat: send sync region (#180) dante 2023-06-01 09:22:27 +0100
• dec83010ae Formatting and copy fixes therealyingtong 2023-05-27 15:19:57 +0800
• 2038845fa0 changed challenge x to indeterminate X in step 19 Lasse Bramer Schmidt 2023-05-25 10:02:40 +0200
• ff9f5939d1 added f calculation to protocol Lasse Bramer Schmidt 2023-05-25 09:57:35 +0200
• 33c9ed4c8e add halo2 Benchmark (cargo) benchmark result for 76b3f892a9 github-action-benchmark 2023-05-23 18:45:28 +0000
• 3e2868e9d1 add halo2 Benchmark (cargo) benchmark result for cf0a2d16d7 github-action-benchmark 2023-05-23 18:30:50 +0000
• 62757bfa61 Fix step 14; fix v in step 18 therealyingtong 2023-05-24 02:02:22 +0800
• 8ad71466c7 deploy: 76b3f892a9 therealyingtong 2023-05-23 17:43:28 +0000
• 255a8369b1 deploy: cf0a2d16d7 therealyingtong 2023-05-23 17:43:10 +0000
• 76b3f892a9
  Merge pull request #774 from zhiqiangxu/fix_typo ying tong 2023-05-24 01:32:29 +0800
• cf0a2d16d7
  Merge pull request #762 from duguorong009/book-patch-user-dev-tools ying tong 2023-05-24 01:31:54 +0800
• 7d77466179
  Update book/src/design/protocol.md ying tong 2023-05-22 19:51:17 +0800
• 67fb6246c3 Update p_poly in protocol to match implementation therealyingtong 2023-05-21 12:18:58 +0800
• 4446c152fc
  Update step 19 in protocol to match implementation ying tong 2023-05-21 12:09:37 +0800
• 468a7523a2
  add a constructor (#164) Ethan-000 2023-05-18 16:49:53 +0100
• b2676f7d99
  Bump codecov/codecov-action from 3.1.1 to 3.1.4 dependabot[bot] 2023-05-16 10:59:10 +0000
• d3746109d7
  Merge pull request #181 from privacy-scaling-explorations/feature/more-getters Eduard S 2023-05-15 16:32:06 +0200
• 73b66d0687 Add more getters to expose internal fields Eduard S 2023-05-10 17:54:24 +0200
• 2185856f26 fix typo zhiqiangxu 2023-05-05 15:51:10 +0800
• be955686f8
  Merge pull request #179 from privacy-scaling-explorations/feature/revert-assign-overwrite-check Eduard S 2023-05-03 16:49:29 +0200
• 1a4df10071
  fix: Fix serialization for VerifyingKey (#178) Carlos Pérez 2023-05-03 16:25:08 +0200
• f82b201f1d Revert double-assignment mock prover check Eduard S 2023-05-03 15:31:58 +0200
• eb938d7415 [WIP] dev::tests: Failing example rebase-dynamic-lookups therealyingtong 2023-04-12 12:41:59 +0200
• edf0c84c93 book/dev/dynamic-lookups.md: Document dynamic lookups feature therealyingtong 2023-04-05 01:43:17 +0700
• a68c7a6525 CHANGELOG: <F: Field + From<u64> bound instead of <F: Field> therealyingtong 2023-03-12 10:03:57 +0700
• 162412700d Docfixes and minor refactors therealyingtong 2023-02-24 15:31:08 +0800
• 5548bdc515 halo2_proofs::examples::dynamic_lookup: Dynamic lookup example therealyingtong 2023-02-21 23:15:10 +0800
• 3cb9ab695b dev::tests: Add tests for dynamic lookups therealyingtong 2023-02-23 11:35:44 +0800
• 124a1e1d95 layout::CircuitLayout::render: Handle dynamic table tags therealyingtong 2023-02-23 11:30:27 +0800
• eff691740c cost::CircuitCost::measure: Account for dynamic table tags therealyingtong 2023-02-23 11:08:19 +0800
• 444b8a674c dev::MockProver::verify: Handle dynamic table errors therealyingtong 2023-02-23 10:58:45 +0800
• 58e797da93 feat: added `to/from_bytes` for `ProvingKey` and `VerifyingKey` * add `pack`/`unpack` helper functions between `&[bool]` and `u8`. Daira Emma Hopwood 2023-05-01 16:23:49 +0100
• 460674b2a9
  Update rust-toolchain.toml update-rust-toolchain ying tong 2023-05-01 17:18:00 +0200
• bae30538b5 Apply review suggestions for VerifyingKey serialization: * write an initial 0x01 version byte, and check it on read; * use little-endian byte order for lengths; * add length fields before the selectors and the permutation commitments, and check their consistency with the expected lengths on read; * do not write an extra byte for a selector bit vector if the number of bits is a multiple of 8; * ensure that original I/O errors are preserved. Daira Emma Hopwood 2023-05-01 10:41:40 +0100
• 3489dcde9e fix: add `num_fixed_commitments` to vkey serialization so correct number of fixed columns, post selector compression, are read Jonathan Wang 2022-10-08 15:55:42 -0700
• 0ca2296921 Vkey serialisation Nalin Bhardwaj 2022-09-16 11:45:52 +0530
• 5c84d46c89 simple-example: Fix without_witnesses() test_proof_and_verify therealyingtong 2023-04-28 19:20:54 +0200
• 01c2f62290 simple-example: Failing to verify real proof therealyingtong 2023-04-28 19:09:37 +0200
• dd4da393ba plonk::circuit::Circuit: test_prove_and_verify therealyingtong 2023-04-28 16:52:31 +0200
• 17e9765c19
  Implement Clone trait for Hash, Absorbing, and Sponge structs (#171) Enrico Bottazzi 2023-04-27 09:02:08 +0200
• 5f7cfcd4b6
  fix: compute `num_chunks` more precisely (#172) Han 2023-04-27 15:00:55 +0800
• 5a0525dc3d
  Improve halo2 query calls (#154) CeciliaZ030 2023-04-27 00:06:29 +0900
• 5a36501e8b
  Bump codecov/codecov-action from 3.1.1 to 3.1.3 dependabot[bot] 2023-04-21 10:58:46 +0000
• b739b543d6
  Allow halo2 constraint names to have non static names (#156) CeciliaZ030 2023-04-20 23:26:34 +0900
• 0d56c57a07
  Extend Circuit trait to take parameters in config (#168) Eduard S 2023-04-20 15:20:09 +0200
• 4d2c2f4e17
  Merge pull request #167 from han0110/fix/pin-halo2curves Han 2023-04-13 18:57:47 +0800
• 7d1814ce58 fix: pin `halo2curves` version to `0.3.2` han0110 2023-04-13 16:23:55 +0800
• 3892bf0bcd
  Bump codecov/codecov-action from 3.1.1 to 3.1.2 dependabot[bot] 2023-04-12 10:59:19 +0000
• c858bfd2f9
  Merge 59ed8b49e4 into 5678a506cb ying tong 2023-04-06 09:10:23 +0900
• 579741f885 dev::failure::VerifyFailure: DynamicTableCellNotAssigned variant therealyingtong 2023-02-23 10:56:32 +0800
• cfc1468951 dev::MockProver::run: Handle dynamic tables therealyingtong 2023-02-23 10:50:37 +0800
• f32fd2a4a0 plonk::keygen: Handle dynamic table tags in keygen_vk, keygen_pk therealyingtong 2023-02-23 10:40:03 +0800
• cc26963337 plonk::circuit::ConstraintSystem: compress_dynamic_table_tags() therealyingtong 2023-02-23 10:35:35 +0800
• 1c9424d166 circuit::compress_selectors: Extract exclusion_matrix() method therealyingtong 2023-02-23 10:34:54 +0800
• 8c2f2b18b2 plonk::circuit::ConstraintSystem: lookup_dynamic(), create_dynamic_table() therealyingtong 2023-02-23 10:26:43 +0800
• e713366c3e circuit::Region: Implement add_to_lookup() therealyingtong 2023-02-23 10:18:04 +0800
• 07655b9e7b circuit::layouter::RegionLayouter: Introduce add_to_lookup() method therealyingtong 2023-02-22 02:16:23 +0800
• fc71bba6ba plonk::circuit::Assignment: Introduce add_to_lookup() method therealyingtong 2023-02-22 02:08:17 +0800
• be3d62f930 plonk::circuit::Expression: Introduce TableTag variant therealyingtong 2023-02-22 01:37:35 +0800
• 78ea483f65 circuit::layouter::RegionColumn: Introduce TableTag variant therealyingtong 2023-02-22 01:00:52 +0800
• 77b18df089 plonk::circuit: DynamicTable, TableTag therealyingtong 2023-02-22 00:53:24 +0800
• 0d14709b8e halo2_proofs/Cargo.toml: Introduce "unstable-dynamic-lookups" flag therealyingtong 2023-02-23 18:01:41 +0800
• ded0ddd87c add halo2 Benchmark (cargo) benchmark result for 5678a506cb github-action-benchmark 2023-04-05 00:25:22 +0000
• 5678a506cb
  Merge pull request #755 from zcash/lookup-errors Daira Hopwood 2023-04-04 23:27:28 +0000
• 1ab16c319a No-ops on best_multiexp and best_fft when #[cfg(feature=counter)] counter-fft-msm therealyingtong 2023-04-05 03:27:19 +0700
• 72ce521084 circuit.rs: crate visibility modifications from code review therealyingtong 2023-04-04 09:27:32 +0700
• c3c57c6e07 circuit::table_layouter: Better table errors therealyingtong 2023-03-21 15:55:12 +0700
• 3f4710892a plonk::Error: Introduce TableError variant therealyingtong 2023-03-21 14:35:23 +0700
• 327b47524c table_layouter::compute_table_lengths: Extract helper function therealyingtong 2023-03-21 12:30:55 +0700
• a8aebdb848 [move-only] circuit::table_layouter: Move TableLayouter, SimpleTableLayouter therealyingtong 2023-03-21 12:23:37 +0700
• 6a8f28ce31 plonk::prover: Introduce counter feature for FFTs and MSMs therealyingtong 2023-04-03 23:23:49 +0700
• 47147c4ad7 Update "book/user/dev-tools.md" duguorong 2023-04-03 23:06:48 +0800
• 49468df83e ConstraintSystem::set_minimum_degree: use max degree ying tong 2023-04-03 16:39:33 +0700
• 2d4d95e739 dev: Add halo2::dev::render_to_json API dev-json Jack Grigg 2021-07-20 10:44:04 +0100
• 42ea7116a7 dev: Introduce Cell helper struct to CircuitLayout internals Jack Grigg 2021-07-20 10:43:12 +0100
• d5d222f5d4
  circuit: Derive PartialEq/Eq for RegionIndex, Cell, and Value. parazyd 2023-04-01 01:07:42 +0200
• 25c9dc9c1d add halo2 Benchmark (cargo) benchmark result for 2633567840 github-action-benchmark 2023-03-22 19:41:31 +0000
• 8204e9b123 deploy: 2633567840 ebfull 2023-03-22 18:44:42 +0000
• 2633567840
  Merge pull request #758 from zcash/release-0.3.0 halo2_proofs-0.3.0 halo2_gadgets-0.3.0 ebfull 2023-03-22 12:32:26 -0600
• 3ba777944f Release 0.3.0 of halo2_proofs and halo2_gadgets Sean Bowe 2023-03-21 17:45:12 -0600
• 8e095db534 add halo2 Benchmark (cargo) benchmark result for 81c7326bf2 github-action-benchmark 2023-03-22 00:41:13 +0000
• 6dee82a949 deploy: 81c7326bf2 ebfull 2023-03-21 23:49:23 +0000
• 81c7326bf2
  Merge pull request #757 from zcash/non-exhaustive-errors ebfull 2023-03-21 17:37:12 -0600
• 057de4874f add halo2 Benchmark (cargo) benchmark result for cae65c4b60 github-action-benchmark 2023-03-21 21:46:43 +0000
• 82dd2fb3f5 Make `Error` a non_exhaustive type. Sean Bowe 2023-03-21 15:06:43 -0600
• 06f69722c8 deploy: cae65c4b60 ebfull 2023-03-21 21:01:37 +0000
• cae65c4b60
  Merge pull request #741 from zcash/738-tracing-floor-planner ebfull 2023-03-21 14:48:15 -0600
• d09f2b9db1 dev::cost: Estimate prover work for a given circuit prover-work-cost therealyingtong 2023-03-20 17:53:49 +0700
• 6ece1c9537 add halo2 Benchmark (cargo) benchmark result for 1a53c0cbfb github-action-benchmark 2023-03-21 04:40:23 +0000
• 3836b6e327 dev: Measure verifier time cost dev-cost Jack Grigg 2022-05-08 22:02:19 +0000
• 002c07b535 deploy: 1a53c0cbfb str4d 2023-03-21 03:41:17 +0000
• 1a53c0cbfb
  Merge pull request #752 from zcash/cost-without-permutation str4d 2023-03-21 03:28:59 +0000
• 0e5c7a1bd5 dev::cost: Handle circuits with zero permutation_chunks() therealyingtong 2023-03-20 15:35:42 +0700
• 95ce948cf9 dev::cost: Minimal failing example for circuit without permutation therealyingtong 2023-03-20 15:23:52 +0700
• 66ac9b6a25 halo2_proofs/CHANGELOG.md: Add Error::TableCellsNotAssigned therealyingtong 2023-03-20 10:37:31 +0700
• cd4588305b error::Error::TableCellsNotAssigned: better error for unassigned table cells therealyingtong 2023-03-16 19:19:32 +0700
• a845b81f10 Introduce multiset equality argument multiset-equality-argument therealyingtong 2022-09-26 20:06:37 +0800
• f6f7a4ba3d Add documentation and example to `TracingFloorPlanner` Jack Grigg 2023-03-02 19:41:43 +0000