penumbra

penumbra copied to clipboard

plaidfinch

plaidfinch

Implement accelerated construction for TCT client sync

3

There are four sub-tasks that could be performed under this header: - [x] block-level serial acceleration using roots (implemented in https://github.com/penumbra-zone/penumbra/pull/921) - [ ] epoch-level serial acceleration using roots -...

plaidfinch

Compact serialization of TCT frontier for use in `pd`

4

In `pd`, we need to serialize and deserialize the frontier of the tree in a sidecar table in RocksDB. Currently we use the derived serde implementation for this, but that...

plaidfinch

**Is your feature request related to a problem? Please describe.** Currently, the view service uses the Tendermint RPC's status endpoint to find out about what block height it should expect...

hdevalence

For #1095 and #1089 (maybe more?) we'll need to support flow crypto in-circuit: https://protocol.penumbra.zone/main/crypto/flow.html (see also #1058)

redshiftzero

**Describe the bug** `pcli addr show --help` reports: ``` pcli-addr-show Show the address with the given index USAGE: pcli addr show [OPTIONS] [INDEX] ARGS: The index of the address to...

hdevalence

We need to check value commitment integrity in circuit - i.e. computing `C = v * G_v + blinding * H` and then checking the equality of C against the...

redshiftzero

This ticket is for implementing a zk version of the `SpendProof`. It requires #711 such that `SpendProof`s can be generated in `pcli` and verified in `pd`. It also requires #714...

redshiftzero

We need to verify TCT proofs of inclusion in circuit. This requires #714.

redshiftzero