mirror of
https://github.com/luxfi/crypto.git
synced 2026-10-30 16:59:13 +00:00
zeekay
0e189bf8af
One Rust crate per algorithm, plus an `lux-crypto` umbrella that re-exports
each per-algorithm crate behind a Cargo feature.
5 working crates with verified spec vectors:
- lux-crypto-keccak (Ethereum keccak256)
- lux-crypto-secp256k1 (ecrecover precompile + batch)
- lux-crypto-sha256 (FIPS 180-4)
- lux-crypto-ripemd160 (Bitcoin/Ethereum address derivation)
- lux-crypto-blake2b (RFC 7693)
15 wired-but-NOTIMPL crates (canonical Rust binding shipped, body returns
CRYPTO_ERR_NOTIMPL today; spec-vector tests gated `#[ignore]` with FIXME):
blake3, ed25519, slhdsa, mldsa, mlkem, bls, kzg, bn254, aead, ipa,
pedersen, lamport, ntt, poly-mul, evm256.
cargo check --release --workspace --all-features OK
cargo test --release --workspace 55 pass / 0 fail / 25 ignored
cargo doc --no-deps --workspace clean
cargo publish --dry-run --no-verify OK for all 20 leaf crates
Workspace docs added at rust/{README,PUBLISHING,RUST_CRATE_STATUS}.md.
Per-crate README.md and `Cargo.toml` metadata (description, license,
repository, keywords, categories, readme) wired for crates.io publish.
Build directives normalized: link both `lib<alg>.a` (C-ABI shim) and
`lib<alg>_cpu.a` (CPU body); brand-neutral C symbols (no lux_ prefix) per
the prefix-uniform audit.
34 lines
963 B
Rust
34 lines
963 B
Rust
// Copyright (c) 2024-2026 Lux Industries Inc.
|
|
// SPDX-License-Identifier: BSD-3-Clause-Eco
|
|
|
|
use lux_crypto_ipa::{commit, verify, Error};
|
|
|
|
#[test]
|
|
#[ignore = "luxcpp ipa c-abi NOTIMPL — tracked at #ipa-c-abi-impl"]
|
|
fn empty_commitment_is_g1_identity() {
|
|
// Committing the all-zero polynomial yields the BLS12-381 G1 identity.
|
|
let coeffs = vec![0u8; 32 * 256];
|
|
let c = commit(&coeffs, 256).expect("commit");
|
|
assert_eq!(c[0] & 0xc0, 0xc0, "compressed G1 identity prefix");
|
|
}
|
|
|
|
#[test]
|
|
fn binding_returns_error_when_c_abi_unimpl() {
|
|
let coeffs = vec![0u8; 32];
|
|
match commit(&coeffs, 1) {
|
|
Ok(_) => {}
|
|
Err(Error::InternalError(rc)) => {
|
|
assert_eq!(rc, -5);
|
|
}
|
|
Err(other) => panic!("unexpected: {:?}", other),
|
|
}
|
|
}
|
|
|
|
#[test]
|
|
fn verify_rejects_bogus_proof() {
|
|
let c = [0u8; 48];
|
|
let p = [0u8; 64];
|
|
let res = verify(&c, &p);
|
|
assert!(res.is_err(), "verify must not silently accept");
|
|
}
|