FIG. 03 · PROTOCOL TERMINAL & INTERFACE
Interactive Terminal Console
Inspect on-chain invariant proofs, execute simulated agent trades, or generate cryptographic zero-knowledge notes directly in your browser.
CLI ENV: ROBINHOOD_MAINNET
$ piro7 --vault FirstLight --network robinhood-l2 --status
Connecting to Robinhood Chain Node (RPC: https://rpc.robinhood.chain)... Connected.
[OK] Vault Address: 0x1AB052E27a590959F206589f5A52D7f2780dFED1
[OK] Total Shielded Assets: 5,438.19 ETH ($18,490,200.00 USD)
[OK] Outstanding Shares: 130,098.56 FL-VAULT
[OK] Share NAV: 0.041800 ETH / share (+0.00034 ETH in last 24h)
[OK] Risk Invariants: CASH_FLOOR >= 20.00% (Current: 20.40% [OK])
[OK] Active Strategy Signal: ACCUMULATE_NVDA_MOMENTUM (Target Allocation: 45.00%)
>
12345678910111213141516
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;
contract Piro7VaultInvariants {
uint256 public constant MIN_CASH_FLOOR_BPS = 2000; // 20.00%
uint256 public constant MAX_SINGLE_EQUITY_BPS = 6000; // 60.00%
function verifyTradeInvariant(
address stockToken,
uint256 amountIn,
uint256 remainingCash
) external view returns (bool) {
require(isWhitelistedEquity[stockToken], "INVALID_UNIVERSE");
require(remainingCash >= (totalVaultNav() * MIN_CASH_FLOOR_BPS) / 10000, "CASH_FLOOR_VIOLATION");
return true;
}
}
Client-Side ZK Note Creation
Generates a cryptographically secure Poseidon Hash commitment note. Your deposit is pooled with thousands of anonymous participants on Robinhood Chain.
SECRET BACKUP
piro7-v2-0x9f4a8b72c1d3e5f6004b2a8c9e1f3d5b7a9c2e4f601a3c5e7b9d1f3e5a7b9c1d-robinhood-l2
Store this secret safely! Anyone with this key can claim the underlying shares & tokenized equities.
Interactive In-Kind Redemption Math
Piro's signature feature: You don't get trapped in illiquid shares. Redeem your vault shares for the underlying physical tokenized stocks + cash floor directly into your wallet.
Tokenized Assets Dispatched to Your Wallet:
Cash Floor (ETH)
0.836 ETH
Tokenized NVDA
5.82 NVDA Shares
Tokenized AAPL
2.68 AAPL Shares
Tokenized PLTR
12.40 PLTR Shares
Operator Signature Required: NONE (Trustless)