Peer-to-peer settlement for autonomous machines

[ahuman-exfer]

A settlement protocol where transaction outcomes are determined at construction time. Agents express contracts in a total functional language — all programs terminate, costs are computable before execution. A well-typed transaction cannot fail at runtime.

Extended UTXO model, no shared mutable state. Deterministic 8-component fee function. Argon2id proof-of-work. Any agent with a keypair can transact.

130,000+ blocks, 100+ nodes.

https://exfer.org/