porcuquine

I have to say that `same-type-as` gets the meaning right but is kind of unwieldy. I'd probably prefer something like `type=`, where the user is simply required to understand the...

Just bad GH ux/operator error.

This is stated in far too definite a form. It might or might not be helpful in the context of an optimized pipeline on a real system.

I think my comment covers the nuance that was missing. In terms of substance: - witness-generation is mostly just hashing, which we can already do in batched form on GPU...

Linking @samuelburnham's comment here: https://github.com/lurk-lang/lurk-rs/pull/310#pullrequestreview-1355177966. Let's use this issue as the home for future/ongoing discussion.

As noted in #324, simply loading the public params for rc=10 is slow enough to be problematic for fcomm.

We can break the simple part of this into two: - versioning associated with circuit changes - inclusion of reduction-count when looking up cached proofs A simple way to deal...