orchard

Commit Graph

Author	SHA1	Message	Date
Daira-Emma Hopwood	f90e52df92	Update the doc for `struct Action`. This was originally written when the Orchard design had not yet been finalized. Signed-off-by: Daira-Emma Hopwood <daira@jacaranda.org>	2024-02-06 21:39:47 +00:00
Jack Grigg	70b6eb3623	Simplify witness synthesis for `v_net` `NoteValue - NoteValue` is always guaranteed to produce a valid `ValueSum`, so we make that infallible and introduce a new helper method `ValueSum::magnitude_sign` that we use for circuit synthesis.	2022-04-29 20:03:17 +00:00
Jack Grigg	5c5c999439	Move `orchard::bundle::Action` to its own module The `Bundle` struct is variable in size and requires allocations, but `Action` is not. This split will make it cleaner to disable the bundle logic for no-std support.	2022-04-28 22:59:07 +00:00

Author

SHA1

Message

Date

Daira-Emma Hopwood

f90e52df92

Update the doc for `struct Action`. This was originally written when the

Orchard design had not yet been finalized.

Signed-off-by: Daira-Emma Hopwood <daira@jacaranda.org>

2024-02-06 21:39:47 +00:00

Jack Grigg

70b6eb3623

Simplify witness synthesis for `v_net`

`NoteValue - NoteValue` is always guaranteed to produce a valid
`ValueSum`, so we make that infallible and introduce a new helper method
`ValueSum::magnitude_sign` that we use for circuit synthesis.

2022-04-29 20:03:17 +00:00

Jack Grigg

5c5c999439

Move `orchard::bundle::Action` to its own module

The `Bundle` struct is variable in size and requires allocations, but
`Action` is not. This split will make it cleaner to disable the bundle
logic for no-std support.

2022-04-28 22:59:07 +00:00

3 Commits