Skip to content

Commit 86d2905

Browse files
committed
delete smallfp trait and tests
1 parent 234bd8f commit 86d2905

27 files changed

+4
-5850
lines changed

ff/Cargo.toml

Lines changed: 4 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
[package]
22
name = "ark-ff"
33
description = "A library for finite fields"
4-
keywords = ["cryptography", "finite-fields"]
4+
keywords = ["cryptography", "finite-fields" ]
55
documentation = "https://docs.rs/ark-ff/"
66
version.workspace = true
77
authors.workspace = true
@@ -28,24 +28,18 @@ num-bigint.workspace = true
2828
digest = { workspace = true, features = ["alloc"] }
2929

3030
[dev-dependencies]
31-
ark-test-curves = { workspace = true, features = [
32-
"bls12_381_curve",
33-
"mnt6_753",
34-
"secp256k1",
35-
] }
36-
ark-algebra-test-templates = { path = "../test-templates" }
37-
31+
ark-test-curves = { workspace = true, features = ["bls12_381_curve", "mnt6_753", "secp256k1"] }
32+
blake2.workspace = true
3833
sha3.workspace = true
3934
sha2.workspace = true
4035
libtest-mimic.workspace = true
4136
serde.workspace = true
4237
serde_json.workspace = true
4338
serde_derive.workspace = true
4439
hex.workspace = true
45-
criterion.workspace = true
4640

4741
[features]
4842
default = []
4943
std = [ "ark-std/std", "ark-serialize/std" ]
5044
parallel = [ "std", "rayon", "ark-std/parallel", "ark-serialize/parallel" ]
51-
asm = []
45+
asm = []

ff/README.md

Lines changed: 0 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -38,33 +38,6 @@ The above two models serve as abstractions for constructing the extension fields
3838
- [`Fp6_3over2`](https://github.com/arkworks-rs/algebra/blob/master/ff/src/fields/models/fp6_3over2.rs#L64) - Extension tower, similar to the above except that the towering order is reversed: it's a cubic extension on a quadratic extension field, i.e. `BaseField = Fp2`, but `BasePrimeField = Fp`. Only this latter one is exported by default as `Fp6`.
3939
- [`Fp12_2over3over2`](https://github.com/arkworks-rs/algebra/blob/master/ff/src/fields/models/fp12_2over3over2.rs#L66) - Extension tower: quadratic extension of `Fp6_3over2`, i.e. `BaseField = Fp6`.
4040

41-
## Instantiation
42-
43-
You can instantiate fields in two ways:
44-
45-
```rust
46-
use ark_ff::ark_ff_macros::SmallFpConfig;
47-
use ark_ff::fields::{Fp64, MontBackend, MontConfig};
48-
use ark_ff::{BigInt, SmallFp, SmallFpConfig, SqrtPrecomputation};
49-
50-
// Standard (big integer) field
51-
#[derive(MontConfig)]
52-
#[modulus = "18446744069414584321"]
53-
#[generator = "7"]
54-
pub struct F64Config;
55-
pub type F64 = Fp64<MontBackend<F64Config, 1>>;
56-
57-
// Small field (native integer backend):
58-
#[derive(SmallFpConfig)]
59-
#[modulus = "18446744069414584321"]
60-
#[generator = "7"]
61-
#[backend = "montgomery"] // or "standard"
62-
pub struct SmallF64ConfigMont;
63-
pub type SmallF64Mont = SmallFp<SmallF64ConfigMont>;
64-
```
65-
66-
The standard field implementation can represent arbitrarily large fields, while the small field implementation supports native integer types from `u8` to `u128` for faster arithmetic. The small field implementation requires that the modulus fits into u128.
67-
6841
## Usage
6942

7043
There are two important traits when working with finite fields: [`Field`],

0 commit comments

Comments
 (0)