Henry de Valence
9698435e38
Add note on point validity and "make illegal states unrepresentable".
...
Remove references to Montgomery conversions, as a prelude to putting the
Montgomery/Edwards conversion docs in the Montgomery module.
2018-01-30 12:31:53 -08:00
Henry de Valence
7bf091ab13
Fix custom CSS rules to cover pre.rust
2018-01-30 12:31:29 -08:00
Henry de Valence
2d5dc5079f
Add type to X25519 basepoint doc
2018-01-29 14:39:37 -08:00
Henry de Valence
1d480a8a71
Rename X25519 basepoint to X25519_BASEPOINT_MONTGOMERY
2018-01-29 14:36:45 -08:00
Henry de Valence
ae46ecd445
Rename BASE_CMPRSSD to ED25519_BASEPOINT_COMPRESSED.
2018-01-29 12:38:58 -08:00
Henry de Valence
06994e8139
Tidy docs for public constants in backends
2018-01-29 12:38:58 -08:00
Henry de Valence
739755cb1c
Fix up constants docstrings
2018-01-29 12:38:58 -08:00
Henry de Valence
d3a8ee0d7b
Remove BASEPOINT_ORDER_MINUS_* constants
...
These were originally added in 32da4c7d50
to implement Scalar negation in terms of multiply-add.
But we have a full implementation of scalar arithmetic now, so it's not
necessary to keep the constants around.
2018-01-29 12:38:58 -08:00
Henry de Valence
690637e368
Prevent precomputed points from appearing in the rendered docs.
2018-01-29 12:38:58 -08:00
Isis Lovecruft
26c217de2a
Add PNG logo version with clear background.
2018-01-27 01:19:34 +00:00
Henry de Valence
31dbb9e434
Fix no_std build failure
2018-01-26 16:36:42 -08:00
Henry de Valence
04506bbca2
Consolidate Cargo.toml and document the weird build hack
2018-01-26 16:29:23 -08:00
Henry de Valence
3b5a8f84a8
Add an is_torsion_free function and document cofactor-related functions.
2018-01-26 16:07:52 -08:00
Henry de Valence
3d2cf74261
Add docs on Edwards points
2018-01-26 15:36:06 -08:00
Henry de Valence
d4d9d86d72
Fix up coffee/ristretto reference
2018-01-26 15:35:51 -08:00
Henry de Valence
12e658401c
Reword Ristretto intro
2018-01-26 14:53:31 -08:00
Henry de Valence
52904b5c3e
Use math for multiscalar docs
2018-01-26 13:39:11 -08:00
Henry de Valence
4b47087b40
Refactor Ristretto notes into doc and doc-internal sections.
2018-01-26 13:35:30 -08:00
Henry de Valence
576e27982f
Tweak module header names
2018-01-26 10:44:48 -08:00
Henry de Valence
80f77bbc8a
Add more contributors
2018-01-26 10:44:48 -08:00
Henry de Valence
fbd84af767
Ristretto API docs fixups
2018-01-25 17:34:57 -08:00
Henry de Valence
d04d3719a5
Add logo to sidebar
2018-01-25 17:34:20 -08:00
Henry de Valence
e83a32639b
Add Ristretto note to intro
2018-01-25 17:34:06 -08:00
Henry de Valence
a887908419
Add note on yolocrypto stability
2018-01-25 16:26:05 -08:00
Henry de Valence
99921de6f3
Use README.md for the crate docs, and rewrite it.
2018-01-25 16:26:05 -08:00
Henry de Valence
61a818c038
Merge remote-tracking branch 'origin/feature/rename-extendedpoint' into develop
2018-01-25 13:34:31 -08:00
Henry de Valence
ce45cfec8e
This isn't true after renaming the struct
2018-01-25 12:16:11 -08:00
Henry de Valence
3f7923b628
Keep the AVX2 point type named as ExtendedPoint.
2018-01-25 12:00:40 -08:00
Henry de Valence
5a3f0a0fbb
Merge remote-tracking branch 'origin/feature/subtle-0.5' into develop
2018-01-25 10:31:41 -08:00
Isis Lovecruft
cdcd93b55f
Merge branch 'master' into develop
2018-01-25 05:41:59 +00:00
Isis Lovecruft
54626bbbf3
Merge branch 'release/0.14.4'
2018-01-25 05:41:50 +00:00
Isis Lovecruft
3b7399a06f
Bump curve25519-dalek version to 0.14.4.
2018-01-25 02:58:00 +00:00
Isis Lovecruft
4f37785f0e
Rename ExtendedPoint to EdwardsPoint.
2018-01-25 02:56:38 +00:00
Isis Lovecruft
2f3d1e77a2
Enable subtle feature for using generic ConditionallySwappable and ConditionallyNegatable.
2018-01-25 02:11:12 +00:00
Isis Lovecruft
a6680838b3
Revert "Revert "Bump subtle dependency to 0.5.0.""
2018-01-25 02:11:03 +00:00
Isis Lovecruft
9cb915126e
Merge remote-tracking branch 'dalek/feature/borrow-operators' into develop
2018-01-25 02:00:52 +00:00
Isis Lovecruft
53908798a7
Remove Travis notifications from #curve25519-dalek channel.
2018-01-24 22:20:53 +00:00
Isis Lovecruft
7f3e82bab5
Revert "Bump subtle dependency to 0.5.0."
...
This reverts commit 460355d5e0 .
2018-01-24 21:25:03 +00:00
Isis Lovecruft
937c420968
Merge remote-tracking branch 'dalek/feature/optimize-64-bit' into develop
2018-01-24 20:44:37 +00:00
Henry de Valence
86fd06db00
s/eps/epsilon/ for clarity
2018-01-24 12:42:57 -08:00
Henry de Valence
52d600db95
Implement public-facing ops traits on all combos of &T/T
...
The public-facing types with arithmetic operations are:
- `Scalar`s
- `ExtendedPoint`s
- `RistrettoPoint`s
For these types we define operators with all combinations of borrowed and
non-borrowed inputs, to avoid forcing API consumers to write extra ampersands.
Since all of the operations involved with these types are expensive relative to
the cost of an unnecessary copy, this isn't a big deal.
The `MontgomeryPoint` struct isn't included in the above because it's only
useful for scalar multiplication.
This commit is based on work by @UnlawfulMonad.
2018-01-24 11:05:06 -08:00
Isis Lovecruft
460355d5e0
Bump subtle dependency to 0.5.0.
2018-01-20 02:30:33 +00:00
Henry de Valence
0e9b8e0a6e
Refactor multiply implementation to eliminate reduce() call
2018-01-19 18:23:41 -08:00
Henry de Valence
ec50ec96f7
Use parallel carry-ins and carry-outs in FieldElement64::reduce()
2018-01-19 17:50:48 -08:00
Henry de Valence
d8d235fb48
Move pow2k into the backends and use it to implement square()
2018-01-19 17:50:48 -08:00
Henry de Valence
ed7345f40b
Merge branch 'feature/batch_inversion' into develop
2018-01-19 17:49:06 -08:00
Henry de Valence
1f821d34a5
Feature-gate batch inversion and compression on alloc
2018-01-19 17:22:28 -08:00
Henry de Valence
b20ccbd685
Implement batched encoding for RistrettoPoints
2018-01-19 17:22:28 -08:00
Henry de Valence
59837c6ecf
Update ristretto.sage to match goldilocks b0af87
2018-01-19 17:22:28 -08:00
Henry de Valence
de377290ee
Implement batch inversion using a product tree.
2018-01-19 17:22:28 -08:00