Commit Graph

1280 Commits

Author SHA1 Message Date
str4d 3faab98e9e
Merge pull request #342 from zcash/release-0.2.0
Release 0.2.0
2022-06-24 17:23:22 +01:00
Jack Grigg 597f37a869 orchard 0.2.0 2022-06-24 15:37:35 +00:00
Jack Grigg 9cc142ea3b pprof 0.9 2022-06-24 15:36:19 +00:00
Jack Grigg 5f7f1afd46 Update changelog 2022-06-24 15:36:12 +00:00
str4d baabe3d7e2
Merge pull request #340 from zingolabs/enable_compact_action_and_orchard_domain_creation_without_action
Add OrchardDomain::for_nullifier and CompactAction::from_parts
2022-06-24 16:32:34 +01:00
str4d 1a77930f5f
Merge pull request #341 from zcash/minor-fixes
Minor fixes
2022-06-24 00:24:04 +01:00
Jack Grigg e76a91adff Document how to obtain inputs for `Builder::add_spend`
Closes zcash/orchard#244.
2022-06-23 22:51:05 +00:00
Jack Grigg 1a1c3c30b0 book: Finish incomplete sentence on nullifier page
Closes zcash/orchard#195.
2022-06-23 22:46:45 +00:00
Jack Grigg da7358a48c Fix incorrect namespaces in circuit debug code
Closes zcash/orchard#329.
2022-06-23 22:33:10 +00:00
str4d 6c0532776c
Merge pull request #338 from zcash/batch-validation
Add `orchard::bundle::BatchValidator`
2022-06-23 23:10:52 +01:00
str4d 4bed67218a
Add note about relationship between signatures and proofs
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
2022-06-23 22:33:40 +01:00
Jack Grigg 81626b3b28 Add batch-verification of proofs to `orchard::bundle::BatchValidator` 2022-06-23 19:45:42 +00:00
Jack Grigg 35a76f03b8 Add `orchard::bundle::BatchValidator`
Adapted from the `BatchValidator` in `zcashd`, that only handles
RedPallas signatures.
2022-06-23 19:45:25 +00:00
str4d b448f3f4c5
Merge pull request #336 from zcash/halo2_proofs-0.2.0
Migrate to `halo2_proofs 0.2.0`
2022-06-23 20:44:47 +01:00
Hazel OHearn 22b77c028f
Remove unneeded generic type from for_nullifier 2022-06-23 16:29:55 -03:00
Jack Grigg be69324b9c Migrate to `halo2_proofs 0.2.0` 2022-06-23 19:24:57 +00:00
Hazel OHearn 6956c18d31
Add CompactAction::nullifier getter fn 2022-06-23 16:06:37 -03:00
Hazel OHearn 4e12b4e90a
Add OrchardDomain::for_nullifier and CompactAction::from_parts 2022-06-22 17:41:24 -03:00
Daira Hopwood 8aba4c59fd
Merge pull request #333 from zcash/bosl-copyright
Change copyright attribution for the LICENSE-BOSL file
2022-06-17 00:02:50 +01:00
str4d 36d263fb19
Merge pull request #321 from zcash/protocol-rule-links
Add protocol rule links for the Orchard circuit constraints
2022-05-27 17:03:05 +01:00
Jack Grigg 07239e50a8 Add protocol rule links for the Orchard circuit constraints
Part of zcash/zcash#3957.
2022-05-25 22:10:29 +00:00
Daira Hopwood 6fd7ecfca8
Line wrapping 2022-05-19 15:45:33 -07:00
Daira Hopwood ee1f66c701
Change copyright attribution for the BOSL license
fixes #330
2022-05-19 15:43:51 -07:00
Steven 4f3f0eaa2d
Merge pull request #331 from steven-ecc/update-bosl-exceptions
Add exception text. Comments noted for future iterations of the exception text.
2022-05-19 15:23:13 -07:00
Steven Smith 21ad1ea5cb Add exception text 2022-05-18 09:46:23 -07:00
str4d de37f1cdbc
Merge pull request #328 from zcash/release-0.1.0
Release 0.1.0
2022-05-11 00:05:04 +01:00
Jack Grigg a412148865 orchard 0.1.0
Closes zcash/orchard#232.
2022-05-10 22:51:55 +00:00
Jack Grigg e2eb75c869 reddsa 0.3 2022-05-10 22:51:33 +00:00
Jack Grigg e2c24fcd5c halo2_proofs 0.1 2022-05-10 22:44:53 +00:00
Jack Grigg 82bd5a5446 incrementalmerkletree 0.3 2022-05-10 22:23:41 +00:00
str4d 43ec911841
Merge pull request #327 from zcash/halo2_gadgets-api-changes
Migrate to final `halo2_gadgets` pre-release revision
2022-05-10 23:11:29 +01:00
Jack Grigg 311190c2d6 Migrate to final `halo2_gadgets` pre-release revision
Includes API changes made in zcash/halo2#573.
2022-05-10 21:55:20 +00:00
str4d b1a5c1a635
Merge pull request #326 from zcash/fix-note-decryption-benchmark
Make note decryption benchmark reliable
2022-05-06 23:50:43 +01:00
Jack Grigg 6b5905880d Make note decryption benchmark reliable
The benchmark assumed that the first action in the bundle was for the
recipient it had added, but we've started shuffling recipients within
actions, and the builder pads to a minimum of two actions. This meant
that 50% of benchmark runs would fail to start, but would proceed fine
if they did start (as the bundle is cached for the entire test).

We now add two recipients, to cancel out the effect of the padding and
shuffle.
2022-05-06 21:22:51 +00:00
str4d 15007026b1
Merge pull request #325 from zcash/fix-lints
Fix lints
2022-05-06 20:51:43 +01:00
Jack Grigg 07a88ae9f9 Fix rustdoc lint 2022-05-06 19:33:10 +00:00
Jack Grigg 6d6832f3f1 Fix clippy lints 2022-05-06 19:33:10 +00:00
str4d c71de550ed
Merge pull request #313 from zcash/full-width-var-base-mul
Use new halo2 `FixedPoint` API.
2022-05-06 20:19:03 +01:00
therealyingtong 2f2bab5627 circuit.rs: Use BaseFitsInScalarInstructions for variable-base mul. 2022-05-06 18:58:18 +00:00
therealyingtong 4e6200796e Implement new FixedPoint trait for OrchardFixedBasesFull. 2022-05-06 18:58:18 +00:00
therealyingtong ed53070ada Cargo.toml: Switch to halo2 revision with refactor 2022-05-06 18:58:10 +00:00
ying tong 8f5ac0f36c
Merge pull request #324 from zcash/fix-reddsa-patch-rev
Fix patch revision for `reddsa` crate
2022-05-06 22:39:51 +08:00
Jack Grigg 2d6187aaac Fix patch revision for `reddsa` crate
https://github.com/ZcashFoundation/reddsa/pull/22 was merged with a
squash-commit, which caused the revision in the branch we were patching
with to no longer exist.
2022-05-06 14:05:31 +00:00
str4d c7361e8a8a
Merge pull request #299 from jarys/external-signatures
Support externally computed signatures
2022-05-06 15:02:03 +01:00
ebfull 7929ac5af7
Merge pull request #322 from zcash/ff-0.12
Migrate to `ff 0.12`
2022-05-05 13:08:45 -06:00
Jack Grigg 706cee42f5 Migrate to `ff 0.12` 2022-05-05 17:15:03 +00:00
Tomas Krnak e47abb8018 Support externally computed signatures
Co-authored-by: str4d <thestr4d@gmail.com>
2022-05-05 18:12:27 +02:00
ebfull 93ad4a6952
Merge pull request #318 from zcash/str4d/circuit-review
Changes from circuit review
2022-05-05 09:24:12 -06:00
Jack Grigg 0603d602d0 Rename `anchor` to `root`, and `pub_input_anchor` to `anchor`
This ensures that we are consistent in the circuit in referring to the
public bundle anchor as `anchor`, and the calculated Merkle tree root as
`root`.
2022-05-04 23:57:26 +00:00
Jack Grigg 8c7bb5b95d Rename `RangeConstrained::subset_of` to `bitrange_of` 2022-05-04 23:54:16 +00:00