Taylor Hornby

https://github.com/defuse/sidechannels-public/issues/55#issuecomment-234114614

Incorporate mathematical definition of an input-distinguishing attack?

12

I just wrote this to James: ``` I came up with an idea while reading your paper that would appeal to USENIX. The idea is that the Flush+Reload side channel...

[ZIP 314] Privacy upgrades to the Zcash light client protocol

2

TODO: - [x] First pass at collecting requirements. - [ ] Find the other discussions that were on the forum. - [ ] List all of the features in the...

Publish a version of the spec where the protocol-specific text is distinguishable in black and white

2

This would be helpful so that I can read the spec easier on my black-and-white tablet. It might also help colorblind people. I have no idea how to do it...

Halo2 Proof Fixes

3

This fixes three problems: - The informal description of zero knowledge should worry about what the verifier learns, not the prover. - $\in$ is undefined for the transcript strings. -...

- [ ] In the definition of perfect completeness, it seems like there needs to be some reference to tie in R to P and V. It says "An interactive...