Wallet actions and hidden orders
Guided add/withdraw actions use the selected deployed testnet contracts.
Selected testnet
Pravelle gives normal wallet users one guided flow: connect a wallet, add funds, use them privately, and withdraw when ready. Compliance checks run in zero knowledge in the background. You prove policy eligibility without exposing your activity.
Pravelle is running on the selected testnet.
Guided add/withdraw actions use the selected deployed testnet contracts.
Selected testnet
The private wallet demo uses sample balances and activity in the browser. It does not require a wallet, spend funds, or submit transactions.
Browser-only
The proof workspace's sample tabs run the real constraints in your browser but produce no on-chain proof. Live DarkPool deposit, note discovery, settlement readiness and on-chain order placement are the labeled exceptions, and do reach the chain.
Sample + testnet
The public chain sees commitments and proofs. The user-facing intent, balances, and policy evidence stay off the default public path.
Private receipts are decrypted in the browser. On-chain commitments do not publish the owner or amount in the default view.
Private balance
Hidden orders commit side, size, and price instead of displaying them in the public order book.
Private order
Compliance proofs show eligibility without publishing wallet history, counterparties, or activity details.
Private proof
Pravelle is designed around zero-knowledge checks: users can prove policy eligibility while keeping balances, notes, and trading activity private by default.
The proof workspace is still there for developers to inspect the circuits, but the default experience starts with the wallet and the next useful action.