Project FAQ
Frequently Asked Questions
Every answer describes the target architecture. PayMoney is not deployed, no rail template has passed the complete production gate, and no page is an availability promise.
What is PayMoney?
A privacy-preserving, non-custodial crypto-to-fiat settlement design implemented as one asset-neutral FiatOfferV1 kind inside an Ethereum-settled resource vault. Its job is to release self-owned fungible escrow when a taker proves the required bank payment.
Is PayMoney an exchange or a bank?
No. It provides no order book, rate oracle, bank account, fiat custody, invoice, chargeback process, arbitration desk, or manual release. The maker fixes one offer and the proof evaluates its payment predicate.
Is FiatOfferV1 asset- and fiat-neutral?
Yes. Each offer commits an escrow_kind_id naming an admitted FungibleV1 instance and an ISO-4217 fiat_currency. That schema capability is broader than any one deployment's admitted assets and rail templates. USDC/PLN is the concrete Polish profile and worked example, not a hardcoded application boundary.
How is an offer priced?
The maker commits an asset kind and quantity plus an expected fiat amount in that currency's integer minor unit before posting. The protocol contains no market price, slippage, repricing rule, or rate feed.
What happens if the taker sends too little or too much?
The observed amount must satisfy expected <= observed <= expected + Delta. Delta is one global deployment policy, not a per-offer tolerance. Underpayment or excess overpayment is unprovable, and the protocol cannot refund fiat already sent.
How does a taker claim an offer?
Claim consumes the Open offer and creates Claimed with the taker's account and an absolute claim-anchor epoch. Consuming Open gives claim exclusivity: a second claim has no witness. There is no claim bond.
What if the taker claims and never pays?
Once the epoch budget has elapsed, the maker authorizes Expire. It consumes the Claimed offer and returns the escrowed asset to the maker. The offer does not reopen; expiry is the only protocol griefing control.
How is the bank payment verified?
The payer runs MPC-TLS with one self-hosted launch notary. The notary signs a blinded, range-bound payment commitment with ECDSA-secp256k1, and FiatOfferV1 verifies that signature and the opened payment fact inside the Stwo M31 AIR.
Can the launch notary forge a payment?
Yes, if it colludes with a taker. That pair can drain a claimed offer. The notary cannot move ordinary wallet resources, and a per-offer cap bounds exposure, but there is no protocol detection or slashing path. A later quorum requires a new deployment.
Which payment rails does the Polish profile specify?
BLIK P2P, Express Elixir, and same-bank internal transfers. Each admitted bank flow needs an immutable, reviewed rail template that binds the exact request and response ranges. Other currencies and rails require their own admitted templates; neutrality is not an availability promise.
What are the offer states?
Exactly Open and Claimed. Solve, Cancel, and Expire consume the offer and are terminal transitions, not stored states. Post, Claim, Solve, Cancel, and Expire are the five Action shapes.
What does privacy cover?
Deposits, withdrawals, and the fiat transfer remain public to their normal observers. Inside the vault, commitments, nullifiers, and global-max-padded proofs hide the trade graph and terminal branch. This is private settlement, not anonymous banking.
Is PayMoney post-quantum?
The vault settlement core uses hashes, Shamir sharing, and Stwo STARKs. PayMoney's launch notary uses secp256k1 ECDSA, the mailbox uses X25519, and the bank TLS stack is classical. Therefore the honest claim is a post-quantum-plausible settlement core with a classical fiat-evidence leg.
Does PayMoney deploy its own Ethereum contract?
No. It uses the vault's immutable deposit, settleEpoch, and withdraw boundary. Offer semantics live in FiatOfferV1 proofs, and there is no PayMoney admin, pause, or upgrade key.
Is the protocol live?
No. This site publishes a pre-production architecture. Formal verification, circuits, in-circuit ECDSA, bank compatibility, legal review, proving economics, privacy testing, and L1 measurements remain launch gates.