Jack Grigg
706cee42f5
Migrate to `ff 0.12`
2022-05-05 17:15:03 +00:00
Jack Grigg
8c7bb5b95d
Rename `RangeConstrained::subset_of` to `bitrange_of`
2022-05-04 23:54:16 +00:00
Jack Grigg
b46e4822d2
Update comments on `gadget::note_commit`
2022-05-04 03:01:17 +00:00
Jack Grigg
903f9e8160
Adjust APIs of NoteCommit circuit impl to separate gadget and chip
...
The separation isn't quite complete, as we removed the `GateCells`
abstraction, but it makes the outer APIs clearer.
2022-05-04 03:01:17 +00:00
Jack Grigg
8f15db1d01
Inline `NoteCommitConfig::assign_gate`
...
After the previous refactors, the `GateCells` struct now serves no
purpose. We also make a few type safety improvements at the same time.
2022-05-04 02:05:57 +00:00
Jack Grigg
bf99f13282
Refactor NoteCommit message piece decompositions onto per-region structs
2022-05-04 02:05:57 +00:00
Jack Grigg
3ced2c9c0b
Refactor NoteCommit region assignment onto per-region structs
2022-05-04 02:05:57 +00:00
Jack Grigg
f7ed302547
Refactor NoteCommit gate configuration into per-region structs
2022-05-03 23:31:17 +00:00
Jack Grigg
c4bf8105f2
Use `AssignedCell<NoteValue, _>` for circuit note values
2022-05-03 23:24:48 +00:00
Jack Grigg
0bad10d3eb
Replace `UtilitiesInstructions` usage with a dedicated helper
...
The new helper enables returning typed `AssignedCell`s, rather than only
`AssignedCell<F, F>`.
2022-05-03 23:24:48 +00:00
Jack Grigg
bd104360a7
Migrate to `halo2_gadgets::utilities::RangeConstrained` newtype
2022-05-03 23:24:48 +00:00
Jack Grigg
b1ce38405a
Use `core` instead of `std` where possible
2022-04-28 20:20:23 +00:00
Jack Grigg
52449ef88f
Migrate to `halo2::plonk::Constraints` helper
2022-04-28 19:52:55 +00:00
Jack Grigg
4574d4793a
Migrate to 2021 edition
2022-04-28 17:23:30 +00:00
therealyingtong
f74cb9e4d3
Delete gadgets and their primitives; add `halo2_gadgets` dependency.
2022-01-29 01:57:01 +08:00
therealyingtong
1a3cbeb896
Refactor src/constants and primitives::sinsemilla::constants.
2022-01-19 00:46:12 +08:00
therealyingtong
06ad0b6925
ecc: Introduce FixedPoints trait with Full, Base, Short associated types.
2022-01-19 00:43:52 +08:00
therealyingtong
5f8716d66a
gadget::sinsemilla: Move Orchard-specific inputs into src/circuit.
...
The sinsemilla submodules note_commit and commit_ivk are tailored
for input lengths specific to Orchard. They have been moved out of
the gadget folder and into the circuit folder.
This also involves changing the visibility of some getter functions
to be usable outside gadget::sinsemilla.
2022-01-19 00:43:52 +08:00