Jack Grigg

The `Sha256Digest` gadget type is opaque, but users of the `Sha256` gadget that produces it will need to be able to use it in the rest if their circuit. One...

Implement recursion circuit logic for handling public inputs

3

This will have two components: - Public input packing: Creating the commitment to the public inputs efficiently on one curve. - Unpacking the public inputs on the other curve.

Implement user-facing API for recursive proving of IVC

3

The user-facing layer is typed on a single application curve, and hides all of the underlying scaffolding (#247). In particular, the end user doesn't need to care about the existence...

A user was trying to implement a decomposition constraint, and wrote the following code: ```rs let q_decompose = meta.query_selector(q_decompose); let x = meta.query_advice(config.advice, Rotation::cur()); let x0 = meta.query_advice(config.advice, Rotation::next()); let...

Use smaller extended domains where possible during proving

6

We perform polynomial operations over an extended Lagrange basis that is large enough to contain the results of evaluating expressions on the largest polynomials: https://github.com/zcash/halo2/blob/18e13b1d093113c93387d38e188d7dc85c64e1ec/src/poly/domain.rs#L46-L52 However, not all of the...

The book is trying to cater to several groups of people simultaneously: - Developers who just want to use halo2 to write circuits, should only need to read sections 1...

Change the cache DB format for `zcash_client_sqlite`

2

Currently we store compact blocks in rows of a SQLite table (specifically `(height, blockbytes)`), in a database specifically for caching. @ccjernigan noted that this is quite inefficient when the compact...

Add a crate or feature flag for gRPC bindings

3

We currently expose Rust bindings for `compact_formats.proto` in the `zcash_client_backend` public API, because we need the types in various places. However, we've never added similar bindings for the light client...

Closes zcash/librustzcash#406.

Redesign Rust types for representing wallet key material

1

The key types in our Rust crates have evolved somewhat organically over time: - The Sapling key types were originally written for circuit usage, and extracted / extended from there....