Top stocks
The same engine that prices the ETF tokens estimates where each of these stocks would trade right now, from index futures and each stock's own measured sensitivity to them.
Product
The Oracle produces a fair value every minute. The Vault lends against it, the Guardian monitors loans with it, the Cloak proves solvency at it, and the Ledger records it before every open. Earn shows where idle USDG could earn yield.
Tokens trade 24/7, but traditional feeds stop at Friday's close.
Public positions show exactly where a liquidation would trigger.
Weekend news reaches prices all at once at the open.
Prices SPY, QQQ, gold and Bitcoin ETF tokens around the clock from overnight futures, world markets and sentiment, with a confidence score.
Deposit ETF tokens and borrow USDG against them. Limits come from the Oracle's price, not a frozen close.
Re-checks every loan on each price update. Alerts you in the app, or rebalances the loan automatically, before the health factor reaches liquidation.
Proves a loan is safely backed at the Oracle price with a zero-knowledge proof, without revealing its size or liquidation level.
Stamps each pre-open prediction on Algorand so the track record can't be edited after the bell.
Idle USDG earns the Sentora protected RWA rate. Live yield today; deposits stay on Sentora.
Logos show a technical relationship only (built on, planned, or shared technology) and do not imply endorsement or partnership.
Built with
Nightshift prices tokenized ETFs overnight. These protocols make that price provable, usable for lending, private, on the record, and productive.
How Nightshift uses it
Harmonic's Aristotle checked 24 Lean 4 proofs of Nightshift's core rules: when a loan can be liquidated, how much the Guardian sells, and how far the Oracle's price and confidence can move.
Why it matters
Lending code fails at the edges. Proofs cover every input, not just the cases a test happened to try, so “a healthy loan can't be liquidated” is a theorem rather than a promise.
See the 24 proofs →How Nightshift uses it
The Vault follows Morpho Blue's rules (health factor, LLTV, liquidation incentive), and Nightshift publishes Morpho-compatible price oracles on Base that refuse prices more than a day old.
Why it matters
Any Morpho market can price tokenized ETFs with Nightshift's overnight fair value instead of a frozen close, so loans stay fairly priced while Wall Street is shut.
dSPY Morpho oracle on Base ↗How Nightshift uses it
Every weekday before the open, Nightshift's predicted prices are hashed and written to Algorand. After the bell they're graded against the real open. Leaderboard joins are recorded there too.
Why it matters
A track record you can edit afterwards is worthless. Locking each call on-chain before the market opens makes the accuracy record tamper-proof, losing days included.
See the locked predictions →How Nightshift uses it
The Earn panel shows a Sentora PYUSD vault live: current yield, size and history, with a link to deposit on Sentora's own site.
Why it matters
Borrowed or idle stablecoins shouldn't sit still. Sentora gives a curated, protected RWA rate, while Nightshift never touches the funds.
See the live vault →
How Nightshift uses it
Cloak proves a loan is solvent at the Oracle price with a Groth16 proof, a proof system covered by the ZKProof community's open standards work. It is checked by the server and by a contract on Base.
Why it matters
Public loans show exactly where a liquidation would trigger. Cloak proves a loan is safe without revealing its size or liquidation level, so large borrowers aren't a target.
Generate a proof →These are technical integrations Nightshift built on public protocols and tools. Logos belong to their owners and do not imply endorsement or partnership.
Earn · Sentora
A live, read-only view of a Sentora PYUSD vault: current yield, size and history, with a link to deposit on Sentora. Nightshift never touches your funds.
Roadmap
Off-hours fair values for SPY, QQQ, gold and Bitcoin ETF tokens, a public API, and a graded track record.
Smart contracts with Morpho Blue's rules and a Morpho-compatible oracle adapter, on Base. Next: markets on Morpho itself.
Borrowers opt in on-chain; a keeper protects loans around the clock. Next: alerts by email and Telegram.
Solvency proofs verified by the server and by a smart contract. Next: shielded positions and an auditor view key.
Borrow against ETF tokens priced overnight, protected by the Guardian, proven by math.