Desktop and mobile appsverify proofs locally
Desktop verifies financeable receivable proofs locally — Touch ID on Mac, the Verify workspace for financiers, and the full ledger in a native shell. iOS TestFlight brings the same app to iPhone and iPad.
macOS 13+ (Apple Silicon & Intel) · Windows 10+ · iPhone & iPad via TestFlight
Built for financeable AR
Share per-invoice attestations financiers can verify on their own. Desktop generates and verifies receivable proof packages on your machine — the same bundles sellers export from Financeable AR.
Prove and verify on your machine
Generate receivable attestations and run the verifier locally — cryptographic checks stay on your laptop.
Built for financiers and operators
Open Axiomatic Verify in Desktop to review seller attestations, download packages, and confirm proofs with one workflow.
Sign in with Touch ID
Passkeys feel native on Mac. Sign in with Touch ID using the same identity as the browser.
Same ledger, native shell
Full Axiomatic web app in a focused window — Cortex, invoicing, and financeable AR exports in one place.
macOS 13+ (Apple Silicon and Intel) and Windows 10+ recommended for local proof verification.
iPhone & iPad in the field
TestFlight delivers the full Axiomatic web app in a native shell on iPhone and iPad. Same login, same entity, same Cortex — optimized for quick approvals and customer conversations away from your desk.
Your full org in your pocket
Approvals, AR, CRM, and Cortex on iPhone or iPad — the same web app you use at your desk, in a native shell.
Face ID and Touch ID sign-in
Passkeys through the native shell — the same identity you use in the browser and on Desktop.
TestFlight beta
Early access builds while we polish performance and offline touches. Install through Apple TestFlight in a few taps.
Built for field finance
Review exceptions, chase signatures, and answer customer questions between meetings from iPhone or iPad.
Requires iOS 16 or later on iPhone and iPad. Export attestations and open verify links in-app; use Desktop for full local proof verification.
How verification fits together
Sellers share a verify link for attestation summary. Desktop and the open-source CLI perform the full cryptographic check on exported JSON.
Open verification keys
Desktop ships pinned verification keys for receivable circuits so financiers can validate proofs against open-source keys.
Verify links + packages
Sellers share a verify URL for attestation summary. Download the JSON package for the full check — in Desktop or via the open-source CLI.
Auditor-friendly CLI
Developers and credit teams can run axiomatic-receivable verify against exported JSON in CI or terminal workflows.
$ axiomatic-receivable verify ./exports/proof.json
circuit·receivable-attestation
vk·pinned · open source
bundle_hash·matched
status·VALID
Proof verified locally
Same verifier engine bundled in Axiomatic Desktop — scriptable for CI, credit ops, and auditor workflows.
Choose your surface
Most teams live in the browser. Desktop is for proof-heavy finance workflows. iOS keeps you connected between desk sessions.
| Capability | Browser | Desktop | iOS |
|---|---|---|---|
| Day-to-day ERP workflows | Full | Full | Full (web shell) |
| Receivable proof export | Witness bundle + verify link | Witness + local ZK prove | Witness bundle + verify link |
| Cryptographic proof verification | Summary only | Full local verify | Summary only |
| Axiomatic Verify workspace | Yes | Yes + file picker | Yes |
| Passkey / biometric sign-in | Yes | Touch ID on Mac (signed build) | Face ID / Touch ID |
Ready to verify on your machine?
Download Desktop for macOS or Windows, or join the iOS TestFlight beta. Sign in with the same account you use in the browser.