Psi Vesely

> There would have to be some conditional logic to utilize pip install the first round and then utilize pip-sync for subsequent runs. Why wouldn't `pip-sync` work the first time?...

> Or maybe you're referring to something else ? Yes, deprecated as in deprecated for use by the SD project. Say we don't use a top-level dependency anymore, or one...

> Well so you gotta install pip-tools first to use pip-sync. Obviously we could do that globally if no virtualenv already exists. Yeah, okay - I guess its not really...

>All that said, is there any reason we wouldn't just use a pip wheel archive, like we already do for securedrop? See my concerns in https://github.com/freedomofpress/securedrop/issues/1800#issuecomment-308534943 re #856.

The short list seems to contain fewer words that may be considered difficult to spell or that users, especially non-native English speakers, may not be familiar with and would find...

> It should of course be optional in case an admin has their own ssh key they would like to drop in place. I think that we should only support...

Responding "double in-line" to add some more comments. > > What fields do we need to verify a proof? > > * Verification key: []byte (global - ideally I’d like...

One thing missing from discussion here is batch verification. Batch verification refers to using a modified version of a verification algorithm to verify multiple SNARKs/ signatures/ etc. together faster than...

Just wanted to correct something: the *honest* non-zk-variant groth16 prover will produce the same proof for an instance x, but anyone can randomize any valid proof for x to create...

> @kobigurk Can you explain if it's possible with the new circuit that allows "dummy epoch messages" to create a proof covering any number of epochs up to some limit....