{"repo":"Mattdgn/pm-amm","free":true,"listed":false,"github":"https://github.com/Mattdgn/pm-amm","clone":"git clone https://github.com/Mattdgn/pm-amm.git","description":"Implementation of the Paradigm pm-AMM on Solana.","language":"Rust","stars":46,"topics":["amm","blockchain","paradigm","pm","prediction-market","solana","pm-amm"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"pm-AMM — Paradigm Dynamic AMM for Prediction Markets on Solana First production implementation of the Paradigm pm-AMM on Solana. 100% fidelity to the paper. Uniform LVR in price and time. Based on pm-AMM: A Prediction Market AMM by Ciamac Moallemi & Dan Robinson (Paradigm, Nov 2024). Program ID : 8V872cTKfH1gC5zBvQhrQN2DXSmRNokPPjPsBE46MZNj (Devnet Explorer) --- The Math The dynamic pm-AMM invariant (paper section 8): Where L eff = L 0 sqrt(T - t) decreases over time, and phi / Phi are the standard normal PDF/CDF. Three properties proven by the paper, verified on-chain: Property Formula Our test result --- --- --- Uniform LVR (price-independent) LVR t = V t / (2 (T-t)) Std across 7 prices: 0.000% Constant E[LVR] (time-independent) E[LVR t] = V 0 / (2T) Linearity ratio: 0.994 (500 MC runs) LP wealth at expiry E[W T] = W 0 / 2 Measured: 0.518 (500 MC runs, 5% tolerance) --- The dC t Mechanism — Why This is Different Traditional AMMs leave LPs fully exposed until they withdraw. The pm-AMM actively redistributes liquidity to LPs over time: As time passes, L eff = L 0 sqrt(T-t) shrinks. The reserves scale proportionally, releasing YES+NO tokens to LPs via per-share accumulators. LPs can: 1. Claim YES+NO tokens at any time 2. Redeem 1 YES + 1 NO = 1 USDC (pair redemption) 3. Sell on the pool via swap 4. Hold until resolution for the winning side Conservation verified: At fixed price (no arbitrage), 100% of pool value returns to LPs. With random walks (Gaussian score dynamics), exac","default_branch":null,"files":null,"tree":[],"storefront":"/r/Mattdgn","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/Mattdgn/pm-amm/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}