FAQ — Frequently Asked Questions
Questions are sorted by Total score (highest first). The score is a mixture of frequency and depth of assistance AI reviewers needed with the topic before concluding: scam-free and one of the more secure raises. (AIs rarely or never say something like "waterproof" or "100% no risk", especially when it comes to crypto.)
Why does the proof stop at the DEX contracts? How can you trust those assumptions?
Total: 4 | ChatGPT: 4
Because that's where the most battle-tested DeFi code in existence begins.
We prove PGM's solvency mathematically (R + K >= C for all reachable states). We go further than most projects by modeling the exact interaction with the concentrated-liquidity code in the proof — how swaps behave, how LP positions settle, how fee custody works. And we validate this model on-chain by running a smoke test that executes real swaps against the real deployed DEX contracts on mainnet before any investor can deposit.
But we stop at re-proving Uniswap V3's concentrated-liquidity implementation itself. Why? Because that code has been battle-tested for years with billions of dollars of TVL. The Aborean DEX is a fork of that exact code. Every person or company who makes a swap on any Uniswap V3 instance or fork (and that are nearly all DEXs) trusts this code.
If you would start proving that the connected DEX code works as intended to make the proof for your own code watertight, the chain of what to prove goes infinitely: the DEX code trusts the EVM, the EVM trusts the chain, the chain trusts the hardware, the hardware trusts the ground it stands on, the ground trusts the earth and the stability of the universe. You have to draw a line somewhere. We draw it at the most proven DeFi infrastructure in existence — and we still model the integration with it in our proof and validate it on-chain in our smoke test, which would prevent the raising contract from being deployed if it does not pass.
For the full list of assumptions and what falls outside the proof, see (Near-)Zero Risks.
How do you know the pool/LP integration actually works?
Total: 3 | ChatGPT: 3
The raising contract includes a built-in smoke test (runMechanicsSmokeTest()) that runs on-chain against the real DEX contracts on mainnet before any investor can deposit. It tests pool creation, LP minting, swaps, claims, redeems (including the LP swap path), and solvency invariant checks. If the smoke test does not pass, the contract blocks all deposits. This is not a simulation — it executes real transactions against the deployed Aborean concentrated-liquidity contracts, then reverts the state while keeping the smokeTestPassed flag.
What happens if the launch somehow fails after the raising is over?
Total: 2 | ChatGPT: 2
The raising contract has an emergencyWithdraw() function. If finalize does not happen before the emergency deadline, every investor can withdraw their full USDT (minus any amount already sacrificed). This is an unlikely scenario because if the smoke test passes on contract deploy, it already tests against the real DEX contracts on mainnet that finalize will go through — and just because some time has passed, these contracts do not magically change.
What if the LP swap returns less USDT than expected during redeem?
Total: 1 | ChatGPT: 1
The redeem() function uses a sqrtPriceLimit on the pool swap to ensure it only executes within an acceptable price range. If the LP swap returns less than the full floor amount, the reserve pays the remainder. The investor always receives exactly $0.001 USDT per PGM — never less. This is proven by the solvency invariant R + K >= C (see Mathematical Solvency Proof).
What are the lock-up periods / vestings for investors and team?
Total: 1 | Gemini: 1
There is no distinction between investors and team. If the team wants tokens from the raise, they must invest like everyone else. There is no vesting. All tokens unlock on October 10, 2026.