PG[Σ] Transfer Simulator

Submit a transfer attempt. Watch the four predicates evaluate. See the deterministic accept-or-reject and the verifiable trace.

Sender wallet

Recipient wallet

Recipient jurisdiction

Amount (USD)

Time since mint: 18 months

In production, this trace is signed under the PG[Σ] threshold scheme with the policy hash bound into Fiat–Shamir. See Cryptographic Spec §4.2.