open-standards/smart-byte/smart-byte-rs/crates/smart-byte-ilp/tests/condition_fulfillment.rs
Transaction Science 8180ee8c71 ingest wave D: 3 crates · op-fraud-graph + smart-byte-ilp + eoc-quantize
OpenPay (1 crate, 2487 LOC, 33 tests)
  op-fraud-graph    Graph-based fraud detection. EntityKind (card/email/
                    device/IP/address/phone/BIN+last4/account) with
                    canonicalization + hashed EntityKey + billing↔shipping
                    mismatch detection. Adjacency-list FraudGraph with
                    idempotent upsert + edge-merge. Double-hashing Bloom
                    filter (capacity+FPR-sized). Union-find connected
                    components. PageRank with dangling-sink handling.
                    Louvain community detection. Shared-instrument hub
                    rings. Sliding ring-buffer velocity counters. Synthetic
                    identity heuristics (freshness + heavy-use + mail-drop).
                    Structuring / smurfing / mule-chain DFS. EntityRisk +
                    TransactionRisk + RiskBand combiner.

Smart Byte (1 crate, ~1844 LOC, 44 tests)
  smart-byte-ilp    Interledger Protocol v4. OER codec (length-determinant,
                    var-octet-string, BE u32/u64). Prepare/Fulfill/Reject
                    packet roundtrip with all 19 IL-RFC-27 reject codes.
                    SHA-256 Condition + Fulfillment with constant-time
                    verify. ILP address validator (7 schemes, 1-128 char
                    segments, 1023-byte cap, segment-aligned prefix match).
                    STREAM (15 frame types). BTP. SPSP payment-pointer
                    resolver. Open Payments API. Longest-prefix routing
                    Connector with fixed-point quote conversion + balance +
                    rate-limit checks.

EOC (1 crate, 1921 LOC, 36 tests)
  eoc-quantize      Quantization primitives. int8 (symmetric/asymmetric
                    with zero-inclusion fix), int4 (GPTQ + AWQ group quant),
                    int2 (BitNet), fp8 (E4M3/E5M2), nf4 (QLoRA). GGUF v3
                    header parse. safetensors read sketch. Calibration
                    datasets + per-channel scales. KV-cache quant. Energy
                    tradeoff curves (joules-per-token across schemes).

Co-Authored-By: Claude Opus 4.7 <[email protected]>
2026-05-24 16:10:10 -04:00

41 lines
1.1 KiB
Rust

//! Condition + fulfillment binding tests: round-trip, mismatch, and a
//! cross-check against a hand-computed SHA-256.
use sha2::{Digest, Sha256};
use smart_byte_ilp::{Condition, Fulfillment, Result};
#[test]
fn random_fulfillment_opens_its_condition() -> Result<()> {
let f = Fulfillment::new([0x42; 32]);
let c = f.condition();
f.verify(&c)?;
Ok(())
}
#[test]
fn mismatched_condition_rejected() {
let f = Fulfillment::new([0x01; 32]);
let wrong = Condition::new([0x02; 32]);
assert!(f.verify(&wrong).is_err());
}
#[test]
fn condition_matches_external_sha256() {
let preimage = [0xab; 32];
let f = Fulfillment::new(preimage);
let c = f.condition();
let mut h = Sha256::new();
h.update(preimage);
let expected = h.finalize();
assert_eq!(c.as_bytes(), expected.as_slice());
}
#[test]
fn fulfillment_bit_flip_invalidates() {
let secret = Fulfillment::new([0xa5; 32]);
let cond = secret.condition();
let mut bad = secret.0;
bad[0] ^= 0x01;
let tampered = Fulfillment::new(bad);
assert!(tampered.verify(&cond).is_err());
}