aimbx-protocol
PythonReference protocol models and a public conformance suite.
This page separates published code, public network facts, and first-party statements. It does not turn one kind of evidence into another.
The current AIMB-X technical proposal names Avalanche Fuji as a reference environment; it does not present a traceable AIMB-X deployment.
A public testnet can only be used as deployment evidence when readers can follow a specific onchain identifier. The publication currently provides no AIMB-X contract address, deployment transaction, verified source record, or block number.
These repositories are the current public engineering record. Their maturity labels are kept distinct so a preview or example is not presented as a release.
Reference protocol models and a public conformance suite.
Canonical transaction construction and a minimal JSON-RPC client.
Runnable local examples for ordered .sync payloads and deterministic replay.
Draft protocol decisions, including the AI advisory boundary.
These are Fuji C-Chain connection details from Avalanche documentation. They describe the public network; they do not identify an AIMB-X contract on it.
Check the Avalanche documentation (opens in a new tab)https://api.avax-test.network/ext/bc/C/rpcThese references appeared on the company LinkedIn page before the current GitHub organization opened. They are recorded here for continuity, not presented as active products or part of the current repository count.
Matching 7,240-byte runtime code is present at the addresses named in the linked paper on Ethereum Sepolia and Scroll Sepolia. Both contracts were created by the same deployer within two minutes.
This is a historical company-linked reference, not a current AIMB-X product record. No source repository, ABI, verified source, zkVerify job ID, IPFS CID, or proof artifact is published with the paper, so the claimed functionality is not reproducible from public materials.The company post links to a four-commit prototype in a personal GitLab namespace. Its Coq and Iris integrations explicitly use placeholders and simulated success paths; no tag, release, or public CI run is available.
The repository is useful as historical prototype evidence, but it does not support a production-ready or formally verified claim.A company post describes a ZK verification project and links to github.com/aimb-x/zkv. That repository and owner now return 404 and the project is absent from the current AIMB-X Labs organization.
The post is retained as a historical first-party statement; its test, integration, and deployment claims cannot currently be reviewed.Last reviewed . Repository and network state can change after this date.