zcash/halo2

Issues

• Running Sum Appears Underconstrained for Certain Configurations

  #820 opened 3 months ago by shankarapailoor
  0

• Working with field elements

  #813 opened 7 months ago by parazyd
  0

• why no r_poly in prover's multipoint code

  #811 opened 7 months ago by hunjixin
  0

• [book] Add documentation and recommendations about circuit compatibility and upgrades

  #810 opened 7 months ago by daira
  0

• Do not include the fixed and instance column evaluations into the proof

  #806 opened 9 months ago by ConstanceBeguier
  0

• book/Makefile should be removed

  #801 opened 9 months ago by daira
  0

• Release halo2 0.3.1

  #756 opened a year ago by daira
  0

• Consider using the no-threads shim mode in rayon 1.7.0 instead of maybe-rayon

  #803 opened 10 months ago by daira
  0

• [book] The ⸭ incomplete addition operator is not rendering correctly on the Sinsemilla page

  #800 opened 10 months ago by daira
  0

• The https://p.z.cash documentation links in the source code are broken

  #799 opened a year ago by ntc2
  0

• ELI15:

  #797 opened a year ago by Angelo9138
  0

• `tracing` should be optional

  #794 opened a year ago by parazyd
  0

• Modify constraint in `decompose_running_sum`

  #789 opened a year ago by enricobottazzi
  0

• Circuit-layout example doesn't build

  #720 opened 2 years ago by gnull
  8

• How to get `AssignedCell` from a lookup table

  #786 opened a year ago by wangtsiao
  0

• What is the size of the vanishing polynomial domain?

  #783 opened a year ago by cx19981114
  0

• The code implementation does not match the description

  #780 opened a year ago by simplelins
  2

• ELI15: Update the list of packages in `circuit-visualizations`(Halo2 book)

  #745 opened a year ago by duguorong009
  0

• misleading comment description in verify_proof function

  #778 opened a year ago by levs57
  0

• `Circuit::configure()` forces you to know the circuit configuration at compile time

  #771 opened a year ago by georgwiese
  1

• Modify `query_instance` API to take an absolute row rather than a relative `Rotation`

  #768 opened a year ago by enricobottazzi
  2

• Why `K` doesn't need copy from fixed column?

  #766 opened a year ago by qy3u
  0

• Fix "simple example" book text to match code

  #765 opened a year ago by str4d
  0

• Change `pub(crate)` to `pub` for `enable_selector` method of `Region` type

  #764 opened a year ago by ElijahVlasov
  0

• Release halo2 0.3.0

  #744 opened a year ago by daira
  1

• Create a `TracingFloorPlanner` for debugging purposes

  #738 opened a year ago by str4d
  0

• halo2_proofs cost.rs bug

  #748 opened a year ago by Divide-By-0
  0

• More descriptive lookup failures

  #751 opened a year ago by Divide-By-0
  0

• cost.rs for proving time?

  #749 opened a year ago by Divide-By-0
  0

• Incompatibility using nightly Rust (1.69.0-nightly)

  #737 opened 2 years ago by teor2345
  4

• Add `Region::instance_value` method, or figure out how `RegionLayouter::instance_value` is made accessible

  #740 opened 2 years ago by str4d
  0

• MRSV prevents `jpeg-decoder` to compile when `test-dev-graph` feature is enabled

  #719 opened 2 years ago by CPerezz
  6

• Direct people towards `MockProver::assert_satisfied` in the documentation of `MockProver::verify`

  #725 opened 2 years ago by str4d
  1

• FPGA chip

  #729 opened 2 years ago by str4d
  1

• Separate `simple_example` into "simple circuit" and "simple gadget"

  #727 opened 2 years ago by str4d
  1

• Enable nested namespacing to be shown in `MockProver::assert_satisfied` output

  #726 opened 2 years ago by str4d
  0

• Upstream TODO fix for PoseidonCircuit instance Value

  #711 opened 2 years ago by CPerezz
  0

• Establish a mechanism or workflow for defining "code maintainers"

  #710 opened 2 years ago by str4d
  3

• Document the review policy for this repository

  #708 opened 2 years ago by str4d
  2

• Generate PDF version of book

  #692 opened 2 years ago by daira
  2

• SHA256 usage. Result not match

  #717 opened 2 years ago by liuxiaobleach
  1

• Establish workflow for developing features in-situ

  #707 opened 2 years ago by str4d
  3

• Add support for `Value::one()` and `Value::zero()` and maybe, `Value::<F::From>::from()`

  #698 opened 2 years ago by CPerezz
  7

• Support Column annotations for better debugging experience

  #705 opened 2 years ago by CPerezz
  7

• Establish a mechanism or workflow for external reviewers

  #709 opened 2 years ago by str4d
  1

• `SingleChipLayouter` must call `exit_region` after `enter_region` even if user code returns errors

  #704 opened 2 years ago by daira
  2

• Check whether our existing examples use `advice: [Column<Advice>; N]` style, and change if so

  #703 opened 2 years ago by str4d
  0

• Add `tracing` instrumentation to the APIs

  #702 opened 2 years ago by str4d
  0

• Error with running circuit-layout example.

  #691 opened 2 years ago by SuccinctPaul
  1

• Automate splitting of high-degree polynomial constraints to fit in the chosen circuit max degree

  #690 opened 2 years ago by daira
  0