Jeff Burdges
Step 1. Pattern for opaque non-canonical de/serializer At present, arkworks only serializes affine points never projective: https://github.com/arkworks-rs/algebra/blob/master/ec/src/models/short_weierstrass_jacobian.rs#L754 We thus require non-canonical de/serialization with scary methods names: ``` pub trait NonCanonicalSerialize...
We'll discuss this publicly while in progress but maybe on a fork, not here, not sure, so urban will give this a 100 day snooze.
Yes. It's flexibility and pain reduction. :) A native groth16 verifier would only be slightly faster than four separate native calls for the multi-scalar multiplication, point preperation, Miller loop, and...
At this point @ashutoshvarma has written much of the wrapper types in https://github.com/ashutoshvarma/algebra/tree/wasm/ec/src/models/wrapped but we still need both an initial stub WASM boundary interface with a mechanism to call from...
@Pratyush We'd love to discuss @ashutoshvarma progess so far, which you'll find in his wasm-patch branch: https://github.com/ashutoshvarma/algebra/tree/wasm-patch We'll chat and telegram and maybe work out a time for a quick...
We're paying Ashutosh Varma's gitcoin bounty now since the bounty covered only a first draft. Ashutosh will work for us as an intern for finishing this up. :)
Issues to discuss: - Avoid passing precomputed tables. - Arkworks exposes considerable details of windowed multiplication, so I'm curious where this comes up.
I think serde makes little sense for lower level cryptography crates, given serde's complexity. Anyone doing higher level protocols could implement serde for their own composite structures using the lower...
A priori, cryptographic protocols should specify bitwise layout for serialization formats, well above the layer where arkworks operates, and not permit serde like reinterpretation. Also, multi-target serialization formats like serde...
It's just fragile and likely to break. There is a whole messy standard for canonicalizing and signing XML documents specifically because it doesn't make much sense to sign XML documents...