therealyingtong
|
9d8fee29c7
|
chip::witness_point: Refactor witness_point::Config.
|
2021-12-02 14:51:33 -05:00 |
ebfull
|
53b68ea799
|
Merge pull request #249 from zcash/241-spendingkey-ct_eq
Replace `PartialEq, PartialOrd` with `ConstantTimeEq` on `{Extended}SpendingKey`
|
2021-12-02 11:45:44 -07:00 |
str4d
|
d8690b8985
|
Merge pull request #236 from zcash/bench-poseidon-2
Benchmark Poseidon gadget for rates {2, 8, 11}
|
2021-12-01 15:57:55 +00:00 |
ying tong
|
b02628d263
|
Apply suggestions from code review
Co-authored-by: str4d <jack@electriccoin.co>
|
2021-12-01 09:31:53 -05:00 |
therealyingtong
|
76c8bb9711
|
utilities::cond_swap: Use ternary helper in cond_swap.
Co-authored-by: Jack Grigg <jack@electriccoin.co>
|
2021-11-30 20:36:13 -05:00 |
Jack Grigg
|
37f1bba998
|
Remove `PartialEq, PartialOrd` impls from `{Extended}SpendingKey`
|
2021-11-30 23:25:35 +00:00 |
Jack Grigg
|
674ceb54c8
|
`impl ConstantTimeEq for {Extended}SpendingKey`
|
2021-11-30 23:24:50 +00:00 |
str4d
|
32b3eb9840
|
Merge pull request #235 from zcash/n_minus_x
circuit: Use `N - x` instead of `x - N`.
|
2021-11-30 20:39:30 +00:00 |
therealyingtong
|
1a7a1255c8
|
mul::complete.rs: Use ternary helper in complete addition part of variable-base scalar mul.
|
2021-11-30 13:02:25 -05:00 |
therealyingtong
|
9513efd6f3
|
ecc::chip::mul.rs: Use ternary helper in variable-base scalar mul.
|
2021-11-30 12:52:15 -05:00 |
therealyingtong
|
ba75da27bb
|
gadget::utilities: Introduce ternary expression helper.
|
2021-11-30 10:39:01 -05:00 |
therealyingtong
|
421891f065
|
Benchmark proof creation and verification for RATE = 2, 8, 11.
|
2021-11-30 10:03:49 -05:00 |
therealyingtong
|
9b76556503
|
poseidon: Make gadget tests generic over WIDTH, RATE
|
2021-11-30 10:03:49 -05:00 |
therealyingtong
|
b63c868591
|
poseidon: Make Spec trait methods not take (&self) parameter.
|
2021-11-30 10:02:16 -05:00 |
therealyingtong
|
e0a0a0d509
|
book: Introduce RangeCheck macro.
|
2021-11-30 09:30:43 -05:00 |
therealyingtong
|
409bbf36a0
|
mul::complete: Replace k_minus_one with one_minus_k.
|
2021-11-29 21:45:49 -05:00 |
therealyingtong
|
303bdc3f65
|
Replace local bool_check expressions with utilities::bool_check().
|
2021-11-29 21:45:48 -05:00 |
therealyingtong
|
4fb434f88d
|
gadget::utilities: Use range_check in bool_check.
|
2021-11-29 20:50:31 -05:00 |
therealyingtong
|
36f1d18705
|
gadget::utilities: Use N - x in range_check.
|
2021-11-29 20:50:31 -05:00 |
str4d
|
aa251befbc
|
Merge pull request #240 from zcash/update-halo2
Migrate to latest halo2 revision
|
2021-11-29 20:19:58 +00:00 |
str4d
|
68b790c7da
|
Merge pull request #239 from nuttycom/di_from_bytes
Add construction of DiversifierIndex directly from bytes.
|
2021-11-29 17:46:44 +00:00 |
Jack Grigg
|
99d03e0d25
|
Migrate to latest halo2 revision
|
2021-11-26 16:24:26 +00:00 |
str4d
|
01ec8dca1d
|
Merge pull request #220 from zcash/bench-poseidon
Generalise Poseidon gadget over `WIDTH`, `RATE`
|
2021-11-26 16:22:52 +00:00 |
Kris Nuttycombe
|
14c4b40dfc
|
Add construction of DiversifierIndex directly from bytes.
|
2021-11-24 18:09:25 -07:00 |
therealyingtong
|
9bb29018ac
|
poseidon::pow5: Undo circuit change.
Co-authored-by: str4d <jack@electriccoin.co>
|
2021-11-23 15:38:55 -05:00 |
ying tong
|
79123629da
|
Docfixes and minor refactors.
Co-authored-by: str4d <jack@electriccoin.co>
|
2021-11-23 15:29:56 -05:00 |
str4d
|
067e26822d
|
Merge pull request #238 from zcash/reddsa-0.1.0
Use reddsa 0.1 instead of the git dependency
|
2021-11-23 14:12:19 +00:00 |
Jack Grigg
|
1cd9e7d4d4
|
Use reddsa 0.1 instead of the git dependency
|
2021-11-19 23:10:46 +00:00 |
str4d
|
faae7ac2ea
|
Merge pull request #224 from zcash/poseidon-api
Allow passing `CellValue` as input to Poseidon gadget.
|
2021-11-19 17:25:25 +00:00 |
therealyingtong
|
fe1bc97ab4
|
Generalise Pow5T3 chip to be generic over WIDTH, RATE.
|
2021-11-19 00:50:04 -05:00 |
therealyingtong
|
0417e233c3
|
poseidon: Return CellValue from squeeze()
|
2021-11-19 00:04:27 -05:00 |
therealyingtong
|
de37248749
|
Allow passing CellValue as input word to Poseidon gadget.
Update circuit description.
|
2021-11-18 23:47:57 -05:00 |
ying tong
|
dfcea20569
|
Merge pull request #218 from zcash/zcash_note_encryption-batchdomain
Migrate to `zcash_note_encryption::BatchDomain`
|
2021-11-17 15:13:57 +01:00 |
str4d
|
465afd162e
|
Merge pull request #229 from zcash/228-fix-ivk-to_bytes
Fix `IncomingViewingKey::to_bytes`
|
2021-11-17 13:30:54 +00:00 |
Jack Grigg
|
8c018eff7e
|
Migrate to `zcash_note_encryption::BatchDomain`
|
2021-11-17 12:15:21 +00:00 |
Jack Grigg
|
235cd791b4
|
Fix `IncomingViewingKey::to_bytes`
`slice::copy_from_slice` panics if the source and destination slices are
not the same length.
Closes zcash/orchard#228.
|
2021-11-17 12:12:20 +00:00 |
str4d
|
d43ad00b8d
|
Merge pull request #223 from dconnolly/patch-1
Add `orchard::circuit::Instance::from_parts()`
|
2021-11-17 11:12:16 +00:00 |
Deirdre Connolly
|
568e24cd5f
|
Derive Clone for circuit::Instance
|
2021-11-04 23:30:57 -04:00 |
Deirdre Connolly
|
7412dfe79a
|
Update src/circuit.rs
Co-authored-by: str4d <thestr4d@gmail.com>
|
2021-11-04 17:54:30 -04:00 |
Deirdre Connolly
|
e51e92e848
|
Add `orchard::circuit::Instance::from_parts()`
|
2021-11-03 23:24:54 -04:00 |
ebfull
|
4f9c0be42e
|
Merge pull request #187 from zcash/poseidon-fq
primitives::poseidon: Add constants for Fq field modulus.
|
2021-10-15 08:29:01 -06:00 |
therealyingtong
|
c61524ea29
|
p128pow5t3::tests: Extract verify_constants_helper.
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
|
2021-10-12 11:58:27 +02:00 |
therealyingtong
|
2c97e56da7
|
Add hash() and permute() test vectors for Poseidon over Fq.
|
2021-10-12 11:58:27 +02:00 |
therealyingtong
|
f5775b6c6d
|
p128pow5t3.rs: Test against reference input for Fq field modulus.
|
2021-10-12 11:58:27 +02:00 |
therealyingtong
|
4eb4c57827
|
Impl Spec for P128Pow5T3 over Fq.
|
2021-10-12 11:58:27 +02:00 |
therealyingtong
|
764c445a81
|
Rename poseidon::nullifier -> poseidon::p128pow5t3.
|
2021-10-12 11:58:27 +02:00 |
therealyingtong
|
8e00f69d63
|
primitives::poseidon: Add constants for Fq field modulus.
|
2021-10-12 11:58:27 +02:00 |
str4d
|
2c8241f25b
|
Merge pull request #209 from zcash/circuit-bugfixes
Circuit bugfixes
|
2021-09-29 10:06:25 +13:00 |
Jack Grigg
|
631182fb77
|
Update selector columns in expected-failure tests
The addition of the non-identity selector caused the layouter to reorder
some of the selectors in the ECC gadget test circuit.
|
2021-09-28 21:49:06 +01:00 |
str4d
|
41066a310a
|
Merge pull request #208 from zcash/halo2-beta-1
Switch to halo2 0.1.0-beta.1
|
2021-09-29 09:12:15 +13:00 |