114 Commits

Author	SHA1	Message	Date
Jack Grigg	de78186503	Store anchors as pallas::Base instead of [u8; 32] ... This matches what we store in `MerklePath`, and better enforces the required type.	2021-06-12 21:35:37 +01:00
Jack Grigg	dfa3fbb19b	Migrate to latest revision of halo2	2021-06-01 17:37:44 +01:00
Jack Grigg	cdfd2ab0f9	Remove clones from types that now impl Copy	2021-05-28 12:10:54 +01:00
Kris Nuttycombe	800e540875	Make the `Bundle` type implement `Clone` ... This is required for proptest generation that handles shrinking correctly in librustzcash.	2021-05-13 15:35:44 -06:00
Kris Nuttycombe	e72d74ccd6	Remove extraneous pub exports from the root.	2021-05-05 11:46:24 -06:00
Kris Nuttycombe	7ea8900a58	Implement AsRef for Proof	2021-05-05 11:39:07 -06:00
Kris Nuttycombe	25c90dda4b	Add fast generation for not-consensus-valid authorized bundles and actions.	2021-04-29 16:14:16 -06:00
Kris Nuttycombe	4d89d45332	Add proptest generators for action and bundle types.	2021-04-28 18:04:17 -06:00
Kris Nuttycombe	a5c9fb953b	Add accessors necessary for zip-225 write.	2021-04-28 18:02:36 -06:00
Kris Nuttycombe	e743198a50	Expose constructors required for ZIP-225 parsing.	2021-04-28 18:02:36 -06:00
Jack Grigg	52d87e257c	Return SpendingKey from Note::dummy ... We need the spending keys to create valid spendAuth signatures for Actions containing dummy spent notes.	2021-04-27 12:26:24 +12:00
Jack Grigg	4c4400cb63	Proving and verifying keys, and placeholder proof logic	2021-04-23 01:08:43 +12:00
Jack Grigg	bbf2dc271e	Add ECC gadgets and instructions ... Migrated from the halo2 crate; we may re-upstream them later (or move gadgets into their own crate) once we've stabilised them.	2021-02-25 18:11:46 +00:00
Jack Grigg	1b9f6450cb	Add skeleton for actions and bundles	2021-01-20 20:31:09 +00:00