FIRN

Docs

Everything you need to skip this website

The full external surface of the contract, the chain parameters, and the commands that reproduce every claim on this site.

The chain

Robinhood Chain

chain id
4,663 (0x1237)
rpc
https://rpc.mainnet.chain.robinhood.com — public, and it answers a browser preflight with access-control-allow-origin: *, which is why this site has no proxy
explorer
robinhoodchain.blockscout.com
assets
94 tokenised equities, listed here, each confirmed against its own contract

Contract reference

The 26 functions a Core has

This is the whole external surface. The build fails if it changes without somebody writing down what was added — which is the only reason a sabotage that bolted an owner-only rescue() onto the contract got caught at all.

SignatureAccess
FEE_CAP_BPS()
ablate(uint256,address)
accrued()
accumulate(uint256)
allowance(address,address)
approve(address,uint256)
asset()
balanceOf(address)
claimFees(address)owner only
convertToAssets(uint256)
convertToShares(uint256)
decimals()
deposit(uint256,address)
feeBps()
name()
owner()
previewAblate(uint256)
setFee(uint256)owner only
stagnant()
stagnate()owner only
symbol()
totalAssets()
totalSupply()
transfer(address,uint256)
transferFrom(address,address,uint256)
transferOwnership(address)owner only
Read from the compiled ABI, not from a list somebody maintains. Property P15 fails the build if this set changes.

Reproduce it

Every claim here is a command

Nothing on this site is asserted that the repository cannot re-derive.

node tools/scan-assets.mjs      # read every asset off Robinhood Chain
node tools/verify-contract.mjs  # compile Core.sol, execute its properties, break it five ways
node tools/verify-app.mjs       # execute the app's own calldata against a real Core
node tools/build.mjs            # render every document from those results
node tools/validate.mjs         # the checks the build refuses to ship without
node tools/audit-live.mjs       # contrast, overflow and page errors, in a real browser