Isis Lovecruft
4270d4ff5f
Fix two typos in FieldElement::invsqrt documentation.
2019-01-22 01:01:08 +00:00
Henry de Valence
353e3fe81a
Merge pull request #215 from hdevalence/ifma
...
Restructure vector backends and add a new IFMA backend
2019-01-19 21:51:13 -08:00
Isis Lovecruft
1249fcccee
Merge branch 'master' into develop
2019-01-20 00:49:49 +00:00
Isis Lovecruft
f9c9c5e558
Merge branch 'release/0.4.3'
2019-01-20 00:49:42 +00:00
Isis Lovecruft
ee359f6100
Bump x25519-dalek version to 0.4.3.
2019-01-20 00:45:31 +00:00
isis agora lovecruft
e61b620059
Merge pull request #24 from isislovecruft/fix/23-katex-header
...
Fix link to now-missing katex header.
2019-01-20 00:43:34 +00:00
Henry de Valence
e3ca8961fc
Fix rustdoc feature flags to compile on stable.
2019-01-18 14:19:39 -08:00
Henry de Valence
9ddbf1ba83
Add notes on the IFMA implementation.
2019-01-18 14:19:39 -08:00
Henry de Valence
dc8431429f
Refactor documentation to use doc_cfg.
2019-01-18 14:19:39 -08:00
Henry de Valence
5700add507
Clean up warnings.
2019-01-18 14:19:30 -08:00
Henry de Valence
fa42708257
Change naming scheme for multiplication accumulators.
2019-01-18 14:19:30 -08:00
Henry de Valence
a84f9eafe4
Allow non_snake_case in the IFMA field and edwards modules.
2019-01-18 14:19:30 -08:00
Henry de Valence
06766bfdea
Delay shuffles that cross the "Great Wall of Intel".
2019-01-18 14:19:30 -08:00
Henry de Valence
33aa544cf4
Add IFMA constants file.
2019-01-18 14:19:30 -08:00
Henry de Valence
f825426ff4
Add impl Default, Identity for ExtendedPoint, CachedPoint.
2019-01-18 14:19:30 -08:00
Henry de Valence
da62569355
Add lookup table support.
2019-01-18 14:19:30 -08:00
Henry de Valence
6cec313f16
Add impl of Sub and Neg for Edwards points.
2019-01-18 14:19:30 -08:00
Henry de Valence
6faaef21df
Add mul_by_pow_2 for IFMA
2019-01-18 14:19:30 -08:00
Henry de Valence
8e38ff2859
Add Edwards doubling implementation.
2019-01-18 14:19:30 -08:00
Henry de Valence
c4617b28a9
Add squaring implementation.
2019-01-18 14:19:30 -08:00
Henry de Valence
a62571b003
Reduce field elements during conversion to vector form.
...
The IFMA types have tighter bounds than the u64 types.
2019-01-18 14:19:30 -08:00
Henry de Valence
3f21bb3b58
Add skeleton of parallel Edwards formulas.
2019-01-18 14:19:30 -08:00
Henry de Valence
5880fced2b
Add skeleton of shuffle and blend functions.
2019-01-18 14:19:30 -08:00
Henry de Valence
d90bb779ca
Delay all computations using x[0], y[0]
...
Since computation of the 0 term in reduction requires a multiplication with a
4-cycle latency, this ensures that the rest of the computation can start before
the 0 term is finished
2019-01-18 14:19:30 -08:00
Henry de Valence
c925c76342
Change the strategy for reducing the high half of the product.
2019-01-18 14:19:30 -08:00
Henry de Valence
607b839032
Change size of limbs in the reduction test.
2019-01-18 14:19:30 -08:00
Henry de Valence
14163131f9
Lift the reduction state of the field elements into the type system.
...
This splits the `FieldElement51x4` type into two types:
- `F51x4Reduced` (with reduced limbs)
- `F51x4Unreduced` (with unreduced limbs)
The reduction is implemented as a `From` impl to convert one type to the other.
The output of a multiplication is now a `F51x4Unreduced`. The reason is that
the inputs to IFMA operations must be at most 52 bits, so it's not possible to
perform an addition of (51+epsilon)-bit values and still be small enough to be
used as an input to multiplication. So, it doesn't make sense to perform a
reduction at the end of a multiplication, because the reduced values will be
fed into an addition or subtraction, which then needs to be re-reduced.
2019-01-18 14:19:30 -08:00
Henry de Valence
ff49673214
Add impl Mul<(u32, u32, u32, u32)> for FieldElement51x4.
2019-01-18 14:19:30 -08:00
Henry de Valence
70199d6094
Add impl Mul<FieldElement51x4> for FieldElement51x4.
2019-01-18 14:19:30 -08:00
Henry de Valence
aa73d7b1bc
Add a FieldElement51x4 type.
2019-01-18 14:19:30 -08:00
Henry de Valence
3233e2eac6
Fix: cfg_target_feature is stable since 1.27.
2019-01-18 14:19:20 -08:00
Henry de Valence
be77af1cd8
Remove unnecessary feature gate.
...
The vector backend doesn't generate constants in build.rs, so this isn't necessary.
2019-01-18 14:18:55 -08:00
Henry de Valence
e91cc685b1
Don't generate unused constants in build.rs.
2019-01-18 14:15:28 -08:00
Henry de Valence
47a164da4d
Replace avx2_backend with simd_backend (autoselects AVX2/IFMA)
2019-01-18 01:52:17 -08:00
Henry de Valence
9ed2128a10
Add stub code for IFMA intrinsics in Rust.
2019-01-18 01:52:17 -08:00
Henry de Valence
0a97f5fe8c
Don't compile the serial scalar_mul when using the vector one.
2019-01-18 01:52:07 -08:00
Henry de Valence
f1d2b5182b
Restructure source tree into serial and vector backends.
...
This begins to attempt to restructure the source tree so that the common parts
are common and the different parts are different.
The backend is now split into two parts:
- serial (containing the implementation using serial formulas and mixed-model arithmetic).
- vector (containing the implementation using parallel formulas and single-model arithmetic).
The serial scalar_mul tree is now under backend::serial::scalar_mul.
The avx2 scalar_mul tree is now under backend::avx2::scalar_mul.
2019-01-18 01:49:40 -08:00
Henry de Valence
94cb3e7842
Rename field types based on radix.
...
`FieldElement32` -> `FieldElement2625`
`FieldElement64` -> `FieldElement51`
`Scalar32` -> `Scalar29`
`Scalar64` -> `Scalar52`
This naming is more accurate and would let us add an ADX backend later.
2019-01-17 22:21:55 -08:00
Isis Lovecruft
f5f79f56c8
Fix link to now-missing katex header.
...
This fixes https://github.com/dalek-cryptography/x25519-dalek/issues/23 as
reported by @DebugSteven.
2019-01-18 06:13:15 +00:00
Isis Lovecruft
ebd9ad6a6e
Merge branch 'master' into develop
2019-01-18 05:58:49 +00:00
Isis Lovecruft
a65683accd
Merge branch 'release/1.0.0-pre.1'
2019-01-18 05:58:42 +00:00
Isis Lovecruft
e527280d2e
Remove TravisCI test for the sha2 feature which was removed.
2019-01-18 04:59:12 +00:00
Isis Lovecruft
ae8764fbef
Update copyright year to 2019 and destroy capitalism.
2019-01-18 04:59:12 +00:00
Isis Lovecruft
131fc2b07f
Bump ed25519-dalek version to 1.0.0-pre.1.
2019-01-18 04:59:12 +00:00
Isis Lovecruft
6d1d3ff5ea
Remove outdated comment about Fuchsia dependencies from Cargo.toml.
2019-01-18 04:59:12 +00:00
Isis Lovecruft
adf4c0ea03
Merge branch 'master' into develop
2019-01-18 04:57:49 +00:00
Isis Lovecruft
14e093925f
Merge branch 'release/0.9.1'
2019-01-18 04:50:45 +00:00
Isis Lovecruft
d447efbd59
Bump ed25519-dalek to 0.9.1.
2019-01-18 04:47:54 +00:00
Isis Lovecruft
84abd4855a
Update curve25519-dalek dependency to 1.0.
2019-01-18 04:45:23 +00:00
Henry de Valence
4814242d00
Merge branch 'master' into develop
2019-01-17 19:26:50 -08:00
