Jack Grigg

Yep, that's a copy-paste bug. Good spot!

I'm interested in feedback around both the API itself and the way we expose and suggest using this functionality. In particular, how much free control should callers have over this?...

Actually, in the above sketch there's no need to reuse `StandardPlonk` for holding values; `StandardPlonk::assign_addition` is a concrete method, so it can just take the necessary values as parameters.

After discussing this more last week, I'm pretty sure that this would require several more changes from the above: - Value assignments need to use closures rather than `Option` to...

See also https://github.com/zcash/halo2/issues/509#issuecomment-1146025689 wrt value assignments.

During Office Hours today, while trying to figure out how to assign table rows inside regions, we noted that a nice way to do overlapping gate assignments would be to...

I had just started hacking on a Rust DNS seeder myself this evening for some downtime relaxation, and then while also trying to figure out `zebra_network` details I discovered the...

> I had seen the `SeedSpec6 pnSeed6_main[]` stuff in https://github.com/zcash/zcash/blob/master/src/chainparamsseeds.h#L10 that gets referred to in https://github.com/zcash/zcash/blob/master/src/net.cpp#L1505-L1512 Ah, that makes sense. And it doesn't work as an address-only seeder because that...

Notes from the Office Hours session in which we discussed this issue: # Halo Office Hours notes ## Dynamic tables We probably need to just implement this from scratch rather...

The distinction between `Instance` and `DynamicInstance` only needs to exist while we want to maintain backwards compatibility with existing circuits. When we get to the point of making breaking circuit...