Proof-Carrying Inference
ICSM completion transactions export cryptographic proof — binding each result digest to its authorized execution context.
Nelix Chip Design Ltd. is a fabless semiconductor company headquartered in Accra, Ghana. We engineer InferEdge JBIA accelerators, TrustCore-secured processors, and SecureGrid infrastructure silicon that deliver Proof-Carrying Inference — completion transactions with cryptographic proof — for power-constrained, connectivity-limited, and mission-critical deployment.
Mission: Nelix engineers Attested Infrastructure Inference (AII) — silicon that exports Proof-Carrying Inference with cryptographic proof of execution context, not generic security claims. InferEdge JBIA, SecureGrid, and TrustCore share one trust plane for field deployment reality.
Vision: Systems that cannot depend on the cloud deserve inference hardware designed for intermittent power, constrained bandwidth, and sustained high ambient temperatures — with attestation from manufacture through Proof-Carrying Fleet Operations.
Why It Matters: Most edge AI still runs on imported accelerators built for datacenter assumptions. Operators need deterministic INT8/INT4 inference in sub-15 W envelopes, ICSM completion transactions under Energy Contract, and proof they can verify independently — not marketing assertions.
ICSM completion transactions export cryptographic proof — binding each result digest to its authorized execution context.
PUF identity, measured boot, and proof signing from manufacture to retirement on every Nelix die.
Specified for unstable power, high ambient heat, physical tamper exposure, and offline workflows.
Joule-Bounded Inference Architecture with Energy Contract scheduling and checkpoint-capable recovery.
Nelix began with a field observation: critical infrastructure AI is moving to the edge, but most inference still runs on general-purpose compute or imported accelerators never designed for unstable power, high ambient heat, or networks that spend part of their life offline.
Our founding team set out to build Attested Infrastructure Inference in Accra — a shared TrustCore trust plane, InferEdge JBIA completion transactions, SecureGrid measurement integrity, and Proof-Carrying Inference export before any model executes.
Today our platform runs on FPGA validation platforms while we work with foundry and ecosystem partners toward first tape-out. We publish progress honestly — we are pre-silicon, and we intend to earn trust the way attestation does: by being verified.
Current stage · FPGA validation
Explore Our TechnologyNelix Chip Design Ltd. is founded and GIPC-registered in Accra as a fabless semiconductor company with a mandate to engineer Attested Infrastructure Inference.
01InferEdge JBIA, SecureGrid, TrustCore Trust Continuum, ICSM completion transactions, and Proof-Carrying Fleet Operations specified around one shared attestation boundary.
02Core architectures run on FPGA validation platforms today — exercising secure boot, attestation, JBIA completion, and Proof-Carrying Inference export ahead of tape-out. This is our current stage.
03Working with foundry and packaging partners toward first silicon, followed by pilot deployments and Proof-Carrying Fleet Operations with infrastructure partners.
04Engineers and operators building Attested Infrastructure Inference — InferEdge JBIA, TrustCore Trust Continuum, SecureGrid, and Proof-Carrying Fleet Operations — with the discipline of a design house and honest pre-silicon transparency.
Leading Nelix's company strategy, silicon roadmap, and mission to build sovereign semiconductor capability for the Global South.
Leading Nelix's technical direction, security architecture, and the TrustCore hardware root-of-trust across every product line.
Driving strategic partnerships and market engagement for Nelix trusted infrastructure silicon across utilities, governments, and industrial operators.
Leading engineering programs across secure silicon design, verification, and the path from FPGA validation to production-ready architectures.
Design, architecture, and FPGA validation are led from Accra, where Nelix Chip Design Ltd. is incorporated and GIPC-registered. JBIA specification, TrustCore integration, and attestation testing are led from here.
Utilities, grid operators, and infrastructure teams deploying Attested Infrastructure Inference in power-constrained, connectivity-limited, and mission-critical environments worldwide.
PCI export, fleet admit, and offline result queues — attested inference operations designed for field reality, not datacenter assumptions.
We are a pre-silicon company in an industry where claims are cheap and Proof-Carrying Inference is everything. These are the commitments we hold ourselves to at every stage.
ICSM completion transactions export cryptographic proof — attested boot, per-die identity, and result digests bound to execution context, not marketing assertions.
Continuous hardware trust from manufacture to retirement — PUF identity, measured boot, signed model delivery, and proof signing on every Nelix die.
The trust boundary is designed before the feature list. Every product inherits the same TrustCore anchor and secure lifecycle.
Specified for unstable power, high ambient heat, physical tamper exposure, and offline workflows — because that is where attested inference must run.
We're assembling engineers, partners, and institutions who believe critical infrastructure deserves Proof-Carrying Inference — not cloud-dependent accelerators. Join the team, or build with us.