jon-chuang
jon-chuang
This design is primarily based on the [original GLV paper](https://www.iacr.org/archive/crypto2001/21390189.pdf) and [Aztec's approach](https://github.com/AztecProtocol/barretenberg/blob/standardplonkjson/barretenberg/src/aztec/ecc/fields/field.hpp) of doing pre-division by n and a second round of approximate division by right shift. We do...
Personally, I find glob imports/reexporting in the root crate irksome. For instance, ff::fields::* is glob imported. It is rather annoying to have inconsistent import practices, so that one can write...
Currently, CUDA support is provided by accel. However, current maintainer is not very responsive and repo is not condusive for dev. Thus, I self-host my own accel. However, this seems...
cc: @kobigurk A few questions (for arkworks team): 1. Serialize: What happened to `impl_prime_field_serializer` and `impl_.._curve_serializer`? If they have now been migrated to derive, then why wasn't derive used previously?...
Why? 319-bit prime modulus reduces G1 cost by approx 1.44x vis a vis BLS12-381/377. Constructing curves from Cocks-Pinch method (only known method to generate pairing-friendly curves of prescribed order) doubles...
## Description Currently, this has some weird issues, although it largely works as intended, sometimes when running benchmarks a 2nd or 3rd time, the timings make no sense anymore, and...
We should standardise the use of the feature across all crates. This is required for macro based compilation in cuda kernels.
If we are considering a model in which a group of users are willing to trust a server to preserve their functional privacy, one could consider proof batching. Value privacy...
Currently, the tests are extremely scattershot. This is detrimental to code maintainability. We should try to refactor the tests to be more standardised (e.g. use test_rng() or XorshiftRng?), extract the...
## Summary My notes on how to implement Marlin + Plookup: https://hackmd.io/@gPH8I-Z5RcSMH2KTXLDeDg/BJcMTU9wO @Pratyush you may still recognize this. I don't think I'll have time to work on this; I'll let...