Math Documentation about algebra HOT 6 OPEN

Hmm I disagree somewhat. See, for example: https://doc-internal.dalek.rs/bulletproofs/notes/index.html

from algebra.

I have some in-progress documentation for the curve constants, but more information about the underlying constants would definitely be useful!

I think it would be best to add these as doc-comments, because this should show up in documentation generated by cargo doc.

from algebra.

To give an example of what I have in mind, check out spinning up's docs, e.g. for PPO. As you can see, there is fairly lengthy exposition which is not suitable for doc-comments. I think doc-comments are more suitable for API documentation.

Perhaps I should add a docs folder, I'll see what nice tools there are to generate suitable docs.

from algebra.

Actually, those docs are generated by files in a docs folder, see https://doc-internal.dalek.rs/src/bulletproofs/lib.rs.html. Nevertheless, I like the dalek docs too.

Where can they be hosted? https://docs.rs/ is available only if you are on crates.io. Apparently one can use Travis CI + github pages

from algebra.

I double-checked the constants for (almost all) Zexe implemented curves using Wolfram Mathematica. I plan to translate these to either sage or Magma in near future, and can add the files to the Zexe repo, too.

from algebra.

Cool, that would be greatly appreciated =)

from algebra.