e11c20b1eb
OpenPay (1 crate, 3277 LOC, 18 tests)
op-ewallets-asia APAC e-wallet rail adapters. Alipay Cross-Border v3,
WeChat Pay (JSAPI/Native/H5/MicroPay) with constant-time
HMAC notify, UPI 2.0 (collect/intent/mandate/VPA),
Paytm, GrabPay, GoPay (Midtrans), Touch'n Go.
EMVCo MPM TLV + CRC-16/CCITT-FALSE encoder for
PromptPay (TH), PayNow (SG), DuitNow (MY), QRIS (ID).
Transport-free traits — operators inject HTTP + RSA-SHA256
signers (keeps POS firmware / WASM consumers reqwest-free).
Smart Byte (1 crate, 1310 LOC, 15 tests)
smart-byte-zk Selective-disclosure ZK primitives.
Real: Bulletproofs over Ristretto255 (range proofs at
8/16/32/64-bit), RangePredicate / InequalityPredicate /
SetMembershipPredicate all delegating to Bulletproofs.
Stubs (documented): Groth16, PLONK — deterministic
placeholder proofs satisfying ZkScheme trait for future
arkworks integration. AnonCred sketch + VerifiablePresentation
builder.
EOC (1 crate, ~3000 LOC, 36 tests)
eoc-rag RAG orchestrator. Naive (Lewis 2020), HyDE (Gao 2022),
RAG-Fusion + RRF (Cormack 2009), Self-RAG (Asai 2023)
with Retrieve/ISREL/ISSUP/ISUSE critique tokens,
Corrective RAG (Yan 2024) with retrieval evaluator
+ external fallback, Adaptive RAG (Jeong 2024)
complexity router. Chunking: sentence-window, semantic,
recursive, late-chunking. Span-backed citations with
3-mode enforcement. SelfCheckGPT consistency guard.
Co-Authored-By: Claude Opus 4.7 <[email protected]>
40 lines
1.2 KiB
Rust
40 lines
1.2 KiB
Rust
//! Predicate proof: prove `age ≥ 18` via Bulletproofs range proof.
|
|
|
|
use smart_byte_zk::predicates::{
|
|
prove_inequality, prove_range_predicate, verify_inequality, verify_range_predicate,
|
|
InequalityPredicate, RangePredicate,
|
|
};
|
|
|
|
#[test]
|
|
fn age_at_least_18_verifies() {
|
|
let predicate = InequalityPredicate {
|
|
threshold: 18,
|
|
bit_length: 8,
|
|
};
|
|
let actual_age: u64 = 21;
|
|
let (proof, commitment) = prove_inequality(actual_age, &predicate).expect("prove");
|
|
assert!(verify_inequality(&predicate, commitment, &proof).expect("verify"));
|
|
}
|
|
|
|
#[test]
|
|
fn age_under_18_rejected_at_prove_time() {
|
|
let predicate = InequalityPredicate {
|
|
threshold: 18,
|
|
bit_length: 8,
|
|
};
|
|
let actual_age: u64 = 16;
|
|
let result = prove_inequality(actual_age, &predicate);
|
|
assert!(result.is_err());
|
|
}
|
|
|
|
#[test]
|
|
fn age_within_range_18_120_verifies() {
|
|
let predicate = RangePredicate {
|
|
lower: 18,
|
|
upper: 120,
|
|
bit_length: 8,
|
|
};
|
|
let actual_age: u64 = 42;
|
|
let (proof, commitment) = prove_range_predicate(actual_age, &predicate).expect("prove");
|
|
assert!(verify_range_predicate(&predicate, commitment, &proof).expect("verify"));
|
|
}
|