> For the complete documentation index, see [llms.txt](https://docs.basednut.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.basednut.com/ecosystem/attestations/market-attestations.md). # Market Attestations ## :sunflower: Market Challenge-Response A **Market-Bound Economic Nonce** is a specialized Economic Path Nonce in which a live market provides one or more of the state transitions. NUT and wNUT provide a useful construction because they combine: ``` fixed wrapper parity + independently priced market + possible arbitrage response ``` The broader Economic Path Nonce primitive is documented separately. This page focuses only on the **market behavior**. *** ### 🎁 Fixed Parity, Floating Market The wrapper defines: ``` 1 NUT ⇄ 1 wNUT ``` Wrapping `x` NUT directly gives: ``` x NUT β†’ x wNUT ``` A NUT/wNUT market instead executes against live reserves: ``` x NUT β†’ y wNUT ``` `y` can depend on: ``` reserves liquidity fee configuration trade size previous trades transaction ordering block state ``` {% code expandable="true" %} ```mermaid flowchart LR NUT["🌰 x NUT"] WRAP["🎁 1:1 Wrapper"] EXACT["x wNUT"] MARKET["πŸ’§ NUT / wNUT Market"] RESULT["y wNUT"] NUT --> WRAP --> EXACT NUT --> MARKET --> RESULT classDef root fill:#f6c453,stroke:#6b4b16,stroke-width:4px,color:#111; classDef fixed fill:#e7f6e7,stroke:#4d7c4d,stroke-width:2px,color:#111; classDef market fill:#ffe3f1,stroke:#c24d91,stroke-width:2px,color:#111; class NUT root; class WRAP,EXACT fixed; class MARKET,RESULT market; ``` {% endcode %} > **The wrapper provides the reference. The market provides the state-dependent output.** *** ### 🎯 Market Challenge-Response A trade can move the market away from redemption parity: ``` AMM price β‰  1:1 redemption relationship ``` This creates an economic challenge. {% code expandable="true" %} ```mermaid flowchart TD PARITY["🎁 1:1 Redemption"] TRADE["⚑ Challenge Trade"] DEV["↕️ Price Divergence"] PROFIT{"Arbitrage Economically Viable?"} ARB["🐝 Market Response"] STATE["βš–οΈ New Market State"] PARITY --> TRADE TRADE --> DEV DEV --> PROFIT PROFIT -->|"Yes"| ARB PROFIT -->|"No"| STATE ARB --> STATE classDef fixed fill:#e7f6e7,stroke:#4d7c4d,stroke-width:2px,color:#111; classDef market fill:#ffe3f1,stroke:#c24d91,stroke-width:2px,color:#111; classDef action fill:#f6c453,stroke:#6b4b16,stroke-width:3px,color:#111; class PARITY fixed; class DEV,PROFIT,STATE market; class TRADE,ARB action; ``` {% endcode %} β€œForced arbitrage” is useful shorthand, but arbitrage is not literally forced. The better description is: > **Market challenge-response** *** ### 🐝 When Does the Market Respond? Arbitrage only becomes rational when the expected discrepancy exceeds the costs and risks of execution. ``` Gross Arbitrage Value > Trading Fees + Slippage / Price Impact + Gas + Other Execution Costs + Risk ``` A price difference can therefore persist inside a **no-arbitrage band**. The 1:1 wrapper relationship does not mean the AMM must display exact 1:1 pricing at every moment. *** ### ⚑ Challenge State The challenge itself is already a valid market transition: ``` Sβ‚€ ↓ challenge trade ↓ S₁ ``` For a market-bound nonce, `S₁` can be sufficient. The attestation does not require an arbitrageur to appear. *** ### 🐝 Optional Response State A richer construction can observe a later response: ``` Sβ‚€ ↓ challenge ↓ S₁ ↓ market response ↓ Sβ‚‚ ``` This can capture not just the state disturbance, but how the market subsequently reacted. The response is **optional**. *** ### ⏱️ Defining Resolution If `Sβ‚‚` participates in the nonce, the protocol needs a deterministic rule for deciding what counts as the response. Examples: ``` resolutionWindow = 20 blocks ``` or: ``` first qualifying arbitrage transaction after challenge ``` or: ``` first state where deviation < threshold ``` The exact policy can vary. The important property is: > **Independent verifiers must derive the same resolution state.** *** ### #️⃣ Market-Specific State A market-bound transition can contribute fields such as: ``` chainId pool preState challengeTx amountIn amountOut challengeState challengeBlock transactionIndex optional responseTx optional resolvedState optional resolutionBlock ``` The broader Economic Path Nonce can then incorporate this market transition as one ordered component of the complete path. For example: ``` MarketTransition { pool, preState, challengeTx, input, output, postState } ``` or, with a defined response: ``` MarketTransition { pool, stateβ‚€, challengeTx, state₁, responseTx, stateβ‚‚ } ``` *** ### 🌰 Why NUT/wNUT Is Interesting The wrapper provides a canonical 1:1 reference. The market provides an independent state-dependent exchange result. NUT adds another unusual property: > **The total NUT supply is 1 NUT.** Therefore any NUT quantity is directly expressible as a fraction of the entire asset. ``` 0.0001 NUT = 0.01% of supply 0.0010 NUT = 0.10% of supply 0.0100 NUT = 1.00% of supply ``` This does **not** make a decimal amount unique. It makes the economic magnitude of the NUT component unusually legible. For example: ``` $10 at reference state Sβ‚€ ↓ x NUT ↓ NUT / wNUT market ↓ y wNUT ``` The useful object is not merely `x` or `y`. It is the market transition connecting them. *** ### πŸ’§ Liquidity as Market Capacity Liquidity controls how the market reacts to a transaction. ``` deeper liquidity β†’ less price impact for the same trade shallower liquidity β†’ more price impact for the same trade ``` So for this particular state machine: ``` LP depth β†’ market capacity swap β†’ challenge arbitrage β†’ possible response transition β†’ market fingerprint ``` Adding liquidity does **not** itself create an attestation. It changes the state in which future market transitions occur. Likewise, adding liquidity does not automatically create arbitrage. *** ### 🧬 Market Transition Inside the Larger Path The market-bound nonce is not a separate competing theory. It is one component that can be inserted into a broader path. {% code expandable="true" %} ```mermaid flowchart LR X0["xβ‚€"] BEFORE["Other Economic
Transitions"] MARKET["🐝 Market-Bound
Transition"] AFTER["Other Economic
Transitions"] NONCE["⚑ Economic Path Nonce"] X0 --> BEFORE BEFORE --> MARKET MARKET --> AFTER AFTER --> NONCE classDef normal fill:#f7f1e6,stroke:#8b6b46,stroke-width:2px,color:#111; classDef market fill:#fff3d6,stroke:#7a5228,stroke-width:3px,color:#111; classDef nonce fill:#e7f6e7,stroke:#4d7c4d,stroke-width:4px,color:#111; class X0,BEFORE,AFTER normal; class MARKET market; class NONCE nonce; ``` {% endcode %} For example: ``` reference value ↓ x NUT ↓ 🐝 NUT/wNUT market transition ↓ y wNUT ↓ πŸ”₯ burn-related transition ↓ πŸ’§ LP transition ↓ Economic Path Nonce ``` This is the relationship between the two pages. *** ### 🧬 Design Principle wNUT itself should remain simple. ``` 🌰 NUT β”‚ β”‚ 1:1 β–Ό 🎁 wNUT β”‚ └── πŸ’§ NUT/wNUT market β”‚ β”œβ”€β”€ challenge state β”œβ”€β”€ optional response state └── market transition β”‚ β–Ό Economic Path Nonce ``` The wrapper does not need attestation logic embedded inside it. > **The wrapper provides the invariant. The market provides the transition. The Economic Path Nonce composes the result.** *** ### πŸ“– Terminology For this page: **Market-Bound Economic Nonce**\ A nonce containing a market state transition. **Market Challenge-Response**\ A market disturbance followed by an optional economically motivated response. **Market-Execution Attestation**\ An attestation whose evidence includes real market execution. The parent primitive is: > **Economic Path Nonce** Avoid using: ``` decimal scarcity forced arbitrage LP creation as the attestation ``` as definitions of the market-bound primitive. *** ### 🌰 Summary The specialized construction is: ``` fixed NUT/wNUT reference + independent NUT/wNUT market + challenge trade + state Sβ‚€ β†’ S₁ + optional market response Sβ‚‚ ──────────────────────────── Market-Bound Economic Transition ``` That transition can then become one component of: ``` Economic Path Nonce ``` > ### **The market is one state machine. The nonce can cross many. 🐝⚑** {% hint style="warning" %} ### ⚠️ Experimental Memefi This is experimental infrastructure and research. Market execution carries transaction costs, liquidity risk, smart-contract risk, and execution risk. Nothing here implies financial value, expected profit, or guaranteed arbitrage. {% endhint %}