Karibu AFRICOIN

Mustakabali wa biashara ya Afrika. Imejengwa kwa ajili ya Nairobi na Afrika nzima.

Inabadilika kwa Kiingereza baada ya sekunde 5

AFRICOINThe Future of African Trade

AFRICOIN — Africa's trade settlement & treasury infrastructure (Trade Connect Africa)

Trade Settlement LayerReal-time value movement across African borders.
Digital TreasuryLiquidity & working-capital management.
AfCFTA Financial OSRails for continental trade.
African-ownedAn alternative to foreign settlement networks.
Africoin · backend dashboard

The Africoin backend, represented live.

Reserve-backed agent-banking e-money on a formally-verified settlement core. Below: the real subsystem self-test, an interactive settlement simulator that mirrors the deterministic verifier, and the pipeline that air-gaps the AI from the money.

8/8subsystems passing
7/7formal proofs
30tests green
0ways AI moves money

Subsystem self-test

Captured from the real backend harness — every tile is a check that ran against actual code, not a mock.

Live settlement simulator

This runs a faithful in-browser port of the deterministic verifier + reserve invariant. Click an action; watch it settle or get rejected with the real machine-readable codes. Circulation stays ≤ reserve at all times.

Actions

Happy path
Guard demos — each should be REJECTED

Reserve backing & balances

Circulation (float + users)0
Custodian reserve (KES)0
backed 1:1 ✓
Accounts

Decision log

Audit chain

Demo wallet — simulated money

A playground with fake balances so you can move money around instantly. Demo mode — none of this is real money. Real funds require KYC + sanctions screening (enforced by the backend); anonymous transfer of real money is exactly what the compliance core prevents.

DEMO · simulated USD

Phone sensors — entropy & radiation

Real device sensors, feature-detected. On a phone these come alive; on desktop they degrade gracefully. Honest scope: sensor noise makes good keys, not "unbreakable encryption."

Sensor entropy → key

Move the phone (or mouse) to harvest entropy.

samples harvested0
seed / ciphertext / decrypted will appear here

Camera radiation detector experimental

Tap start, grant the camera, then cover the rear lens (finger or black tape).

counts / min (est.)
0
hot pixels / frame

The pipeline

Stochastic intelligence proposes; the deterministic core disposes. The model never touches the ledger.

1 · Emit

NL → typed DSL program. A micrograd fraud model scores risk — advisory only.

2 · Verify

Deterministic gate. Reject → machine-readable codes back to Tier-1.

3 · Watch

Risk gate: low → settle · medium → step-up · high → block.

4 · Settle

The only thing that moves money. Then a signed token receipt is minted.

What we deliberately don't claim. Not “unhackable,” not “AES-2048,” not “fixes all CVEs,” not “cannot be shut down.” The defensible claim: a token receipt cannot be cheaply forged or altered without detection (Ed25519 + AES-256-GCM), and money only moves for a settlement the verifier and the OverCaml prover both approved.
africoin · live test transactions▾ collapse