Jack Grigg

Notes from discussion during Halo 2 Office Hours: - @daira suggested that instead of default-filling, we could try to alter the lookup argument equations to remove the need for it....

In the most recent Office Hours session, we briefly discussed this issue, and decided that it would be useful to first improve the instance column APIs (#636) so that we...

Notes from today's Office Hours, in which @moreSocratic asked whether we needed two APIs to define a dynamic lookup table, or whether we could get away with just one. As...

Notes from today's Office Hours are here: https://hackmd.io/@daira/Skvythiys Reproduced here for posterity: # Dynamic lookups ## Example Assume the following circuit layout: - Four columns $A, B, C, D$ used...

In Office Hours today, we discussed a question that had been asked in the Discord server, about whether the $U$ column was necessary, or whether we could just bake the...

The specific case we saw was the merge of zcash/orchard#217. The last commit to that PR passed CI, because the version of `main` it was tested against was compatible. But...

We don't want to run CI on all open PRs whenever there is a change to the `main` (currently `master` here) branch, because that leads to a thundering herd problem:...

This is definitely a case of "the `MockProver` is not smart enough yet", rather than a real restriction. In this case, it can't see that `q_enabled * (1 - q_first)`...

To expand on my previous comment: `MockProver` currently uses a very simple metric for gates, where if any selector in a gate is enabled, the gate's queried cells must all...

While implementing #556 I remembered that I'd implemented `Constraints::with_selector` in a way that technically allows you to pass anything as a selector (as it just takes an `Expression`). So it...