Markulf Kohlweiss
Markulf Kohlweiss
Given that it is 1 of only 4 configuration options, I am sure that this would improve the user experience.
It would be ideal to use `ModelParameters` instead of `TEModelParameters` (so that short weierstrass inner curves can be used) but it's difficult to do in a fully generic way. The...
Template that can be used for feature requests. Shamelessly copied from https://github.com/dfinity/examples/issues/120. **Is your feature request related to a problem? Please describe.** A clear and concise description of what the...
We can consider that `q_arith` is hierarchically at a higher level. `q_l, q_r, q_c, q_m, q_o, q_4` could be considered wire selectors in arithmetic gates, and auxiliary values in other...
There are some merge artefacts in https://github.com/ZK-Garage/plonk/blob/master/plonk-book/src/chapter_2.md I also noticed some formatting problems. I would also like to have more cross pointers between the book and the code, and between...
This is a big issue, lets put more details and sub tasks here: - [ ] Treatment of extensions, extensions carry cryptographic values like key shares. How do we treat...
The goal is to get at least everything needed to support ECDHE-RSA-AES256-GCM-SHA256.
Our low* based crypto provider for [AEAD](https://github.com/FStarLang/FStar/blob/master/examples/low-level/crypto/Crypto.AEAD.fst) does not currently separate betweeen integrity (authentication) and confidentiality: It would be nice to add this but it would require proving the same...
I am running Windows 10, and already have Cygwin installed, though not with the right packages. I should have admin rights, but didn't run it in admin mode. Worked on...