Commit Graph

2478 Commits

Author SHA1 Message Date
Daira-Emma Hopwood 7df93fd855
Merge pull request #814 from adria0/fix/mdbook
Fix MD book generation
2024-02-26 23:50:17 +00:00
adria0 daaa638966 fix(mdbook): fix generation 2024-02-22 22:28:36 +01:00
Daira-Emma Hopwood 81729eca91
Merge pull request #809 from daira/remove-empty-halo2-crate-from-readme
Remove references to the empty `halo2` crate from the README
2024-02-06 15:25:48 +00:00
Daira-Emma Hopwood 4a8e640afd Remove references to the empty `halo2` crate from the README, and link
to the `halo2_proofs` and `halo2_gadgets` READMEs.

Signed-off-by: Daira-Emma Hopwood <daira@jacaranda.org>
2024-02-06 12:54:21 +00:00
Daira Emma Hopwood ae52332c77
Merge pull request #802 from daira/book-remove-makefile
Remove obsolete book `Makefile` and `edithtml.sh`
2023-12-19 22:46:19 +00:00
Daira Emma Hopwood 2e617ae1da Add `/book/book` to `.gitignore`.
Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>
2023-11-29 21:54:04 +00:00
Daira Emma Hopwood de1d237013 Revert "Add book/Makefile for local HTML generation."
This reverts commit 591ab49266.

Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>
2023-11-29 21:54:04 +00:00
Daira Emma Hopwood 3eb4ec5c19 Change Daira Emma's name in `authors` fields.
Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>
2023-11-29 21:54:04 +00:00
Daira Emma Hopwood 7fd2ce259e
Merge pull request #805 from zcash/check-in-lockfile
Add `Cargo.lock` to repository
2023-11-29 21:52:01 +00:00
Daira Emma Hopwood 8db248786b .gitignore: Add files generated by tests/benches and editor temporary files.
Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>
2023-11-23 14:17:31 +00:00
Daira Emma Hopwood 3cd1bed5a2 The test-dev-graph features needs plotters/ttf to be able to draw text.
Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>
2023-11-23 14:17:31 +00:00
Daira Emma Hopwood 44f7002288 Set `rust-version` to 1.60 in `{halo2,halo2_proofs,halo2_gadgets}/Cargo.toml`.
It was already 1.60 in `rust-toolchain.toml` in the workspace root, but
that is not used when building in the subdirectories.

Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>
2023-11-23 14:17:31 +00:00
Jack Grigg 9c0a6bf380 cargo update
Some dependency updates are ignored because they bump MSRV.
2023-11-22 19:14:53 +00:00
Jack Grigg 6ca3b0a6cf Add `Cargo.lock` to repository
This is currently "whatever lockfile happened to last work for str4d",
but going forward will be the lockfile we use for testing our MSRV. See
https://blog.rust-lang.org/2023/08/29/committing-lockfiles for rationale
on this change.
2023-11-22 19:07:50 +00:00
str4d f9838c127e
Merge pull request #788 from zcash/fix-msrv-1.60
halo2_proofs: Pin dev-dependencies to versions compatible with MSRV
2023-07-30 15:26:56 +01:00
Jack Grigg 6626aa6b83 halo2_proofs: Pin dev-dependencies to versions compatible with MSRV 2023-07-30 13:05:06 +00:00
str4d c05547a70f
Merge pull request #782 from TomTaehoonKim/fix/typo
Fix typo
2023-06-27 18:59:16 +01:00
str4d eec65ead3b
Merge pull request #646 from zcash/fix-pow5-pad
`halo2_gadgets::poseidon`: Fix loading of padding words.
2023-06-27 18:37:11 +01:00
str4d 88ede7f1c6
Merge pull request #775 from zcash/dependabot/github_actions/codecov/codecov-action-3.1.4
Bump codecov/codecov-action from 3.1.1 to 3.1.4
2023-06-27 18:24:17 +01:00
therealyingtong f4293c2962 Revert commit zcash/halo2@65a89f099b 2023-06-21 11:32:17 +08:00
therealyingtong 496887bb75 poseidon_hash_longer_input: Test real proof generation.
This test passes the MockProver, but fails to generate a real proof.
2023-06-21 11:32:17 +08:00
김태훈 1f6aaae00b Fix typos 2023-06-20 20:45:14 +09:00
ying tong 76b3f892a9
Merge pull request #774 from zhiqiangxu/fix_typo
fix typo
2023-05-24 01:32:29 +08:00
ying tong cf0a2d16d7
Merge pull request #762 from duguorong009/book-patch-user-dev-tools
[book] Update `book/user/dev-tools.md`
2023-05-24 01:31:54 +08:00
dependabot[bot] b2676f7d99
Bump codecov/codecov-action from 3.1.1 to 3.1.4
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3.1.1 to 3.1.4.
- [Release notes](https://github.com/codecov/codecov-action/releases)
- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)
- [Commits](https://github.com/codecov/codecov-action/compare/v3.1.1...v3.1.4)

---
updated-dependencies:
- dependency-name: codecov/codecov-action
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-05-16 10:59:10 +00:00
zhiqiangxu 2185856f26 fix typo 2023-05-05 15:51:10 +08:00
Daira Hopwood 5678a506cb
Merge pull request #755 from zcash/lookup-errors
`plonk::Error::TableError`: Better lookup errors
2023-04-04 23:27:28 +00:00
therealyingtong 72ce521084 circuit.rs: crate visibility modifications from code review
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
Co-authored-by: ebfull <ewillbefull@gmail.com>
2023-04-04 09:32:08 +07:00
therealyingtong c3c57c6e07 circuit::table_layouter: Better table errors 2023-04-04 09:32:08 +07:00
therealyingtong 3f4710892a plonk::Error: Introduce TableError variant 2023-04-04 09:32:08 +07:00
therealyingtong 327b47524c table_layouter::compute_table_lengths: Extract helper function 2023-04-04 09:32:08 +07:00
therealyingtong a8aebdb848 [move-only] circuit::table_layouter: Move TableLayouter, SimpleTableLayouter 2023-04-04 09:32:08 +07:00
duguorong 47147c4ad7 Update "book/user/dev-tools.md" 2023-04-03 23:06:48 +08:00
ebfull 2633567840
Merge pull request #758 from zcash/release-0.3.0
Release 0.3.0 of halo2_proofs and halo2_gadgets
2023-03-22 12:32:26 -06:00
Sean Bowe 3ba777944f Release 0.3.0 of halo2_proofs and halo2_gadgets 2023-03-21 19:35:30 -06:00
ebfull 81c7326bf2
Merge pull request #757 from zcash/non-exhaustive-errors
Make `Error` a non_exhaustive type.
2023-03-21 17:37:12 -06:00
Sean Bowe 82dd2fb3f5 Make `Error` a non_exhaustive type. 2023-03-21 15:17:22 -06:00
ebfull cae65c4b60
Merge pull request #741 from zcash/738-tracing-floor-planner
Create a `TracingFloorPlanner` for debugging purposes
2023-03-21 14:48:15 -06:00
str4d 1a53c0cbfb
Merge pull request #752 from zcash/cost-without-permutation
`dev::cost`: Handle cost calculation for circuits without permutation
2023-03-21 03:28:59 +00:00
therealyingtong 0e5c7a1bd5 dev::cost: Handle circuits with zero permutation_chunks() 2023-03-20 15:35:42 +07:00
therealyingtong 95ce948cf9 dev::cost: Minimal failing example for circuit without permutation 2023-03-20 15:23:52 +07:00
Jack Grigg f6f7a4ba3d Add documentation and example to `TracingFloorPlanner` 2023-03-14 19:34:29 +00:00
Jack Grigg 7d4aafe3f6 Add debug `tracing` spans and events to `TracingFloorPlanner` 2023-03-14 19:34:29 +00:00
Daira Hopwood 642924d614
Merge pull request #739 from daira/fix-sort-nondeterminism
Fix a nondeterminism bug: we were depending on sort order
2023-03-11 01:43:52 +00:00
Daira Hopwood ab1cae34e1
Apply suggestions from code review (changelog and comments only)
Co-authored-by: Greg Pfeil <greg@technomadic.org>
2023-03-11 00:21:03 +00:00
Daira Hopwood 8231d8ffab Fix a nondeterminism bug: we were depending on sort order.
Co-authored-by: Jack Grigg <jack@electriccoin.co>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2023-03-10 22:03:05 +00:00
str4d 35eb268e20
Merge pull request #736 from CarloModicaPortfolio/sha256_update
Sha256 update
2023-03-07 17:51:31 +00:00
Jack Grigg 38222cba76 cargo fmt 2023-03-07 17:30:03 +00:00
str4d 2016154118
Merge pull request #746 from zcash/test-32-bit
CI: Run tests on 32-bit target
2023-03-07 17:26:05 +00:00
str4d a1034169bc
Merge pull request #743 from zcash/740-expose-instance-value
halo2_proofs: Add `Region::instance_value`
2023-03-07 17:19:11 +00:00