issues
search
zcash
/
halo2
The Halo2 zero-knowledge proving system
https://zcash.github.io/halo2/
Other
712
stars
487
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump codecov/codecov-action from 3.1.1 to 3.1.4
#775
dependabot[bot]
closed
1 year ago
0
fix typo
#774
zhiqiangxu
closed
1 year ago
0
Update rust-toolchain to 1.61.0
#773
therealyingtong
opened
1 year ago
1
helper function: `Circuit::test_proof_and_verify()`
#772
therealyingtong
opened
1 year ago
0
`Circuit::configure()` forces you to know the circuit configuration at compile time
#771
georgwiese
opened
1 year ago
1
Bump codecov/codecov-action from 3.1.1 to 3.1.3
#770
dependabot[bot]
closed
1 year ago
1
Zsa functionalities
#769
PaulLaux
closed
1 month ago
1
Modify `query_instance` API to take an absolute row rather than a relative `Rotation`
#768
enricobottazzi
opened
1 year ago
2
Bump codecov/codecov-action from 3.1.1 to 3.1.2
#767
dependabot[bot]
closed
1 year ago
1
Why `K` doesn't need copy from fixed column?
#766
qy3u
opened
1 year ago
0
Fix "simple example" book text to match code
#765
str4d
opened
1 year ago
0
Change `pub(crate)` to `pub` for `enable_selector` method of `Region` type
#764
ElijahVlasov
opened
1 year ago
0
plonk::prover: Introduce `counter` feature for FFTs and MSMs
#763
therealyingtong
opened
1 year ago
1
[book] Update `book/user/dev-tools.md`
#762
duguorong009
closed
1 year ago
0
ConstraintSystem::set_minimum_degree: do not overwrite existing larger degree
#761
therealyingtong
closed
1 year ago
1
dev: Add `halo2_proofs::dev::render_to_json` API
#760
str4d
opened
1 year ago
1
circuit: Derive PartialEq/Eq for RegionIndex, Cell, and Value.
#759
parazyd
closed
1 year ago
4
Release 0.3.0 of halo2_proofs and halo2_gadgets
#758
ebfull
closed
1 year ago
1
Make `Error` a non_exhaustive type.
#757
ebfull
closed
1 year ago
0
Release halo2 0.3.1
#756
daira
opened
1 year ago
0
`plonk::Error::TableError`: Better lookup errors
#755
therealyingtong
closed
1 year ago
1
dev: Measure verifier time cost
#754
str4d
opened
1 year ago
0
`dev::cost`: Estimate prover work for a given circuit
#753
therealyingtong
opened
1 year ago
0
`dev::cost`: Handle cost calculation for circuits without permutation
#752
therealyingtong
closed
1 year ago
0
More descriptive lookup failures
#751
Divide-By-0
opened
1 year ago
0
`error::Error::TableCellsNotAssigned`: better error for unassigned table cells
#750
therealyingtong
closed
1 year ago
1
cost.rs for proving time?
#749
Divide-By-0
opened
1 year ago
0
halo2_proofs cost.rs bug
#748
Divide-By-0
closed
1 year ago
0
Add `no_floating_points` feature flag.
#747
mpapierski
opened
1 year ago
0
CI: Run tests on 32-bit target
#746
str4d
closed
1 year ago
0
ELI15: Update the list of packages in `circuit-visualizations`(Halo2 book)
#745
duguorong009
closed
1 year ago
0
Release halo2 0.3.0
#744
daira
closed
1 year ago
1
halo2_proofs: Add `Region::instance_value`
#743
str4d
closed
1 year ago
0
chore: Speed up random poly generation
#742
CPerezz
opened
1 year ago
2
Create a `TracingFloorPlanner` for debugging purposes
#741
str4d
closed
1 year ago
1
Add `Region::instance_value` method, or figure out how `RegionLayouter::instance_value` is made accessible
#740
str4d
closed
1 year ago
0
Fix a nondeterminism bug: we were depending on sort order
#739
daira
closed
1 year ago
8
Create a `TracingFloorPlanner` for debugging purposes
#738
str4d
closed
1 year ago
0
Incompatibility using nightly Rust (1.69.0-nightly)
#737
teor2345
closed
1 year ago
4
Sha256 update
#736
CarloModicaPortfolio
closed
1 year ago
0
update of SHA256 to pull #654
#735
CarloModicaPortfolio
closed
1 year ago
0
Constrain `inferno` transitive dependency to our MSRV
#734
str4d
closed
1 year ago
0
Bump MSRV to 1.60
#731
str4d
closed
1 year ago
0
Bump MSRV to 1.59
#730
str4d
closed
1 year ago
1
FPGA chip
#729
str4d
opened
1 year ago
1
Add feature "multicore" and you can disable rayon by disabling the "multicore" feature.
#728
nagatoism
closed
1 year ago
9
Separate `simple_example` into "simple circuit" and "simple gadget"
#727
str4d
opened
1 year ago
1
Enable nested namespacing to be shown in `MockProver::assert_satisfied` output
#726
str4d
opened
1 year ago
0
Direct people towards `MockProver::assert_satisfied` in the documentation of `MockProver::verify`
#725
str4d
opened
1 year ago
1
Fix book rendering
#724
str4d
closed
1 year ago
0
Previous
Next