Jeff Burdges

We've three-ish choices for `Poly1305`: - `Poly1305 : Mac + !MacPlus`, - `Poly1305 : MacOnce + !Mac`, - `impl Poly1305 for Mac { const Plus : bool = false; ......

I agree with Tony that AEADs need all-of-nothing APIs. We're talking about 16 byte MACs in the case of Poly1305, and never more than 32 bytes, so you can afford...

I suppose the dynamic scheme would keep the runtime key size, but separate it from a type level bound on key size? Is there any reason to preserve a dynamic...

I'd think a `large_key_sizes` feature could support https://github.com/rpgp/rpgp/ then, so everyone except gpg users gets crypto-bigint, and gpg gets num-bigint or whatever. If you want gpg using crypto-bigint then one...

If I understand @tarcieri you envision types and routines here gain a `` and work directly with `&UInt` and `&mut UInt`, yes? Any actual enum would live inside https://github.com/rpgp/rpgp/, yes?...

I agree 1.0 should be blocked on const generics. Appears progress is being made. :)

Are there any tools that "assign blame" to dependencies for their compiler resoruce usage?

You could just have several "useful example" crates that each provide a FFI for C, and eventually aid for JS usage. In that way, anyone could adapt a project by...

@james-darkfox Algebra is kinda a graveyard for programming language abstractions even at the best of times, but.. ZCash's curve arithmetic has a trait and crate hierarchy already, which includes some...

Issues like this matter primarily for consensus protocols with implementations in other languages. There are other reasons the ed25519-dalek is not ideal for consensus, so the best place maybe https://github.com/ZcashFoundation/ed25519-zebra...