💳 Hyperion-EMV
Hyperion-EMV is a fully open-source EMV Level 2 kernel written in Rust — the first of its kind on the continent. Certification variables live in signed JSON bundles rather than compiled source, enabling payment terminals to achieve EMV lab certification without proprietary kernel dependencies.
Key Features
A specification-correct, memory-safe EMV kernel — built in Rust, open to inspect, ready for lab submission.
Rust for Correctness
Written in safe Rust throughout. Memory safety guaranteed by the compiler — no buffer overflows, no use-after-free. The EMV state machine is modelled as an algebraic type system: invalid states are compile errors, not runtime panics. Zero unsafe blocks in the kernel core.
JSON Certification Bundles
All certification-sensitive variables — terminal action codes, issuer action codes, AIP / AFL parsing rules, CVM lists — live in externally-signed JSON bundles rather than compiled source. Terminals load a new bundle to update certification behaviour. Lab retesting requires no recompilation.
Stable C ABI
The kernel exposes a stable C FFI — callable from C, C++, Python (ctypes/cffi), Java (JNI), Swift, and any language with C interop. Terminal manufacturers integrate once; the C interface is versioned and backward-compatible across major releases.
100% Line Coverage Target
Every line of kernel code has a corresponding test. EMV is a specification-driven protocol — test cases derived directly from EMV Book 3 and Book 4 test vectors. Mutation testing run on every PR to catch surviving mutants.
Lab Readiness
Designed to achieve EMVCo Level 2 type approval. Hyperion-EMV generates deterministic, reproducible build artifacts — a requirement for EMV lab submissions. The test harness speaks the EMVCo Level 2 test scripts directly. Lab report package auto-generated.
African Terminal Ecosystem
Pre-integrated with NIBSS (Nigeria), Kenswitch (Kenya), TANZIPS (Tanzania), and UEMOA (West Africa) scheme requirements. Supports M-Pesa and Airtel Money card-present flows. The missing piece for African terminal manufacturers building without proprietary kernel fees.
Technical Specifications
Implementation
- Rust (stable toolchain)
- Zero unsafe blocks in kernel core
- no_std compatible (embedded targets)
cargo add hyperion-emv
EMV Compliance
- EMV Book 2, 3, 4 (2023 edition)
- Contact (ISO 7816) + Contactless (ISO 14443)
- Visa (qVSDC), Mastercard (M/Chip), AMEX
- African scheme extensions (NIBSS, Kenswitch)
Integration
- Stable C ABI (versioned)
- C / C++ / Python / Java / Swift
- PCSC-lite (Linux smart card stack)
- Hardware HSM via PKCS#11
Testing
- EMVCo Level 2 test vectors
- 100% line coverage target
- Mutation testing (cargo-mutants)
- Deterministic build artifacts
Integrate Hyperion-EMV into your terminal
Contact our team to discuss your requirements. We respond within 24 hours.